Argosim presents STIMULUS, the first tool enabling you to debug textual requirements in exactly the same way a developer would debug a piece of code.
Are your specification documents correct? Are there missing requirements? Are there conflicting ones? Will the specified system behave as you expect?
With STIMULUS, you can:
Cadence enables electronic systems and semiconductor companies to create the innovative end products that are transforming the way people live, work, and play. Cadence® software, hardware, and semiconductor IPs are used by customers to deliver products to market faster. The company's System Design Enablement strategy helps customers develop differentiated products—from chips to boards to systems—in mobile, consumer, cloud datacenter, automotive, aerospace, IoT, industrial, and other market segments. Cadence is listed as one of Fortune magazine's 100 Best Companies to Work For.
dSPACE is the world’s leading provider of hardware and software tools for developing and testing sophisticated electronic control systems. For over 25 years, dSPACE’s high-quality, off-the-shelf software and hardware tools have empowered engineers to design and innovate, while dramatically reducing development time and cost. dSPACE’s pioneering products, such as the MicroAutoBox rapid prototyping systems, hardware-in-the-loop (HIL) simulators, and the automatic production code generator TargetLink, have become de facto standards for developing automotive electronics.
dSPACE also has a great impact in aerospace, medical engineering, industrial automation, electric drives technology, and other industries. Academia uses dSPACE technology to nurture engineering talent. Through its headquarters in Paderborn, Germany, as well as its global network of project centres, subsidiaries, and distributors, the dSPACE staff of around 1100 supports innovations all over the world.
Lauterbach is the world’s leading developer and manufacturer of hardware-assisted debug tools. With support for thousands of device types from over 70 silicon vendors, Lauterbach can provide a solution for almost all embedded designs. For users who need to certify the operation of software in markets such as automotive, medical, and avionics, Lauterbach provides tools that assist by producing reports in the correct format to assist with the approval.
LDRA has developed and driven the market for software that automates code analysis and software testing for safety-, mission-, security-, and business-critical markets. Working with clients to achieve early error identification and full compliance with industry standards, LDRA traces requirements through static and dynamic analysis to unit testing and verification for a wide variety of hardware and software platforms. Boasting a worldwide presence, LDRA is headquartered in the United Kingdom with subsidiaries in the United States and India, coupled with an extensive distributor network.
Established in 1991, Pico Technology produces high-quality PC-based oscilloscopes that offer a modern alternative to traditional and costly bench-top test and measurement equipment. PicoScope PC oscilloscopes are used in a wide range of applications across many different industries due to their portability, USB connectivity, and outstanding value. Pico Technology also provides a software development kit, enabling users to create their own custom applications using a number of software languages and third-party applications, including MATLAB®. This approach allows users to control instruments directly from MATLAB, including instrument setup, data collection, and any other functionality available to the device. Pico Technology is a member of the MathWorks Connections Program.
Real-time target machines from Speedgoat are expressly designed to work with Simulink Real-Time™ to connect with physical hardware, run real-time applications created from Simulink using automatic code generation, and verify and validate designs.
Tessella, Altran’s World Class Center for Analytics, is part of the Altran Group, a global leader in engineering and R&D services. Tessella uses data science to accelerate evidence-based decision making, allowing businesses to improve profitability, reduce costs, streamline operations, avoid errors, and out-innovate the competition.
Their projects make the world a better place by increasing productivity in the development of new medicines; designing satellites to observe and understand our universe; harnessing fusion power to provide unlimited, clean energy; and minimizing risk for workers in harsh and dangerous conditions.
Vector GB Ltd. supports automotive OEMs, suppliers, and related industries worldwide with a professional and open platform of tools, software components, and services for developing embedded systems. Its portfolio ranges from tools from model-based systems engineering, network design, and component testing and calibration to diagnostic development and AUTOSAR ECU software. In its solutions, Vector supports key issues such as IP/Ethernet, functional safety, and electric mobility. Over 1700 people are employed at its 21 business sites in Germany, Great Britain, Sweden, United States, France, India, South Korea, China, Japan, Austria, Italy, and Brazil.
Vector products and services give engineers a key advantage in making a challenging and highly complex subject area as simple and understandable as possible.