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:

  1. Model the requirements using a textual format close to the natural language.
  2. Debug requirements by displaying the behaviour of the specified system, enabling you to validate the requirements before moving to the design.
  3. Generate numerous test vectors, as well as test oracles, used to automatically verify the Simulink® model or actual system meet specified requirements.

The Beckhoff Automation product range covers industrial PCs, I/O and fieldbus components, drive technology, and automation software that can be used as separate components or integrated into a complete and seamless control system.

As the world leader in PC-based control systems, Beckhoff Automation enables companies to take advantage of the step change in universal, open control, and automation solutions.

The Beckhoff® TwinCAT® software system turns almost any compatible PC into a real-time controller with a multi-PLC system, NC axis control, programming environment, and operating station. TwinCAT replaces conventional PLC and NC/CNC controllers as well as operating devices with open, compatible PC hardware, programming and run-time systems, and connection to all common fieldbuses.

The integration of MATLAB® and Simulink® enables execution of TwinCAT modules that were generated as models in the Simulink simulation environment. The chosen interfacing type displays the parameters and variables in the graphic interface of TwinCAT 3 and enables viewing and modification in the real-time environment at runtime.

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.

At the beginning of 2017, Vector Software was acquired by its long standing customer Vector Informatik. The company and product will continue as a product line within the Vector group of companies, with VectorCAST embedded software testing platform providing the most complete and cost-effective approach to unit testing, integration testing, and code coverage. Software development organizations that need to solve complex quality problems use VectorCAST to perform dynamic software analysis. Unlike manual or semi-automated processes, VectorCAST products consistently deliver manageable and repeatable testing outcomes, enabling organizations to improve productivity, reduce risk, and maximize ROI. Founded by embedded software engineers in 1989, VectorCAST is supported by offices worldwide with a world-class team of support and technology partners.