For a better experience on, enable JavaScript in your browser. Thank you!



AbsInt provides tools for validation, verification, and certification of safety-critical software. Our key products are:

  • aiT WCET Analyzer provides guaranteed upper bounds for the worst-case execution time of tasks, precisely taking into account the processor architecture.
  • StackAnalyzer computes guaranteed upper bounds for the maximum stack usage of tasks and can prove the absence of stack overflow.
  • Astrée finds all potential runtime errors and data races in safety-critical C programs and can prove the absence of such code defects.
  • TimingProfiler gives continuous feedback about timing at early development stages.
  • CompCert is a formally verified optimizing C compiler: The code it produces is proved to behave exactly as specified by the semantics of the C source program.

Founded in 1998, AbsInt is a privately-held company in Saarbrücken, Germany.  For more information, visit


New Product from AbsInt: RuleChecker

Learn more about AbsInt’s RuleChecker -- a fast and easy-to-use static analyzer to check coding guidelines and to compute code metrics for C programs – at the dSPACE Technology Conference exhibit area. The tool can be automatically qualified according to DO-178B/DO-178C, ISO 26262, IEC 61508, EN-50128, and other safety standards. RuleChecker primarily targets safety-critical embedded applications, but can also be used to analyze any structured C programs, handwritten or generated, with complex memory usages, dynamic memory allocation, and recursion.

BTC Embedded Systems

BTC Embedded Systems provides intelligent, automated and ISO 26262 compliant test solutions that offer a unique integration with tools from dSPACE.

Supported test methods include:

  • Requirements-based Testing: Addressing topics like test authoring, requirements traceability, coverage measurement, reporting and debugging, BTC EmbeddedTester BASE is a one-stop solution for the test of models and production code.
  • Back-2-Back Testing with BTC EmbeddedTester allows to save up to 70% of testing effort, thanks to the automatic test case generation and test execution.
  • Formal Specification with BTC EmbeddedSpecifier does not only improve their quality. It also allows to automatically verify test cases or even the implementation against the requirements, from unit tests to HIL testing.


BTC Requirement Observer: Professional watchdogs for safety critical applications

The increasing size and complexity of embedded software combined with a growing number of safety critical applications is currently leading to some significant changes in the approach for system tests. Especially in areas like autonomous driving, a huge amount of (virtual) test kilometers needs to be evaluated in a reliable and automated way. BTC EmbeddedSpecifier allows you to intuitively transform safety requirements into a machine-readable representation and automatically generate so-called “requirement observers”. These watchdogs are perfectly integrated with dSPACE ControlDesk and AutomationDesk and can directly run in real-time on dSPACE platforms like HIL systems or VEOS.


EnSoft was founded in 2002 with the goal of tackling the growing complexity in software systems. We believe that human intelligence combined with powerful tools is the key to tackling complexity. Today our products and services are used by over 350 companies worldwide including every major automotive, aerospace, and defense company in North America, Europe, and Asia.

SimDiff 4 - Everything you need to collaborate on Simulink models.

SimDiff has become the leading diff and merge tool for Simulink models since its first release in 2005. SimDiff's accuracy, speed, and robustness has made it the preferred choice amongst the world's leading companies in the automotive, aerospace, and defense industries.

Supports all major blocks sets, including Stateflow, dSPACE blocksets, RTW, Xilinx. Runs on Windows or Linux and supports all MATLAB versions.

Modelify - Convert C code to Simulink models

Modelify is a new technology from EnSoft to convert large C-language embedded source codes into Simulink models. Modelify is flexible enough to handle any coding style and produce any desired modeling style or standard.

Atlas - Analysis and visualization platform for understanding software systems

Atlas is a new kind of tool for tackling hard software problems and making developers even more awesome. Atlas has many general applications, but the most popular is understanding code someone else wrote. Click here to find out how.

SimEngine - Build highly-scalable solutions to graph alignment problems

SimEngine provides the building blocks to build fast, highly-scalable solutions to graph alignment problems. SimEngine can scale to tens of millions of nodes on a commodity laptop and billions of nodes on HPC hardware, and is highly resistant to error in the source graphs.


MathWorks is the leading developer of mathematical computing software. Engineers and scientists worldwide rely on its products to accelerate the pace of discovery, innovation, and development. MATLAB and Simulink are used throughout the automotive, aerospace, communications, electronics, and industrial automation industries as fundamental tools for research and development. They are also used for modeling and simulation in increasingly technical fields, such as financial services and computational biology. MATLAB and Simulink enable the design and development of a wide range of advanced products, including automotive systems, aerospace flight control and avionics, telecommunications and other electronics equipment, industrial machinery, and medical devices. More than 5000 colleges and universities around the world use MATLAB and Simulink for teaching and research in a broad range of technical disciplines.

Model Engineering Solutions (MES)

Model Engineering Solutions (MES) specializes in integrated quality assurance of embedded software in vehicles. Our specialist software tools are designed to simplify model-based development, improving the quality and, vitally, the safety of your software. The MES Model Examiner® (MXAM) is the market-leading tool to check and ensure guideline compliance of Simulink®, Stateflow®, dSPACE TargetLink models, and other development artifacts using general and company-specific modeling guidelines and data rules.

Learn more at

Exhibit Showcase: MES Model Examiner (MXAM)

MES Model Examiner® DRIVE (MXAM) offers fast and reliable guideline compliance verification for Simulink®, Stateflow®, Embedded Coder®, TargetLink, ASCET®, and Enterprise Architect® models, as well as Excel® data, using general and company-specific modeling guidelines and data rules.

ISO 26262-compliant safeguarding of modeling guidelines
MXAM includes all guidelines of the current modeling standards for MATLAB®. The MXAM MISRA Compliance Solution and MXAM Functional Safety Solution editions enable fast, easy-to-follow safeguarding of models in compliance with MISRA® and ISO 26262. This optimally prepares you for automatic code generation with Embedded Coder® or TargetLink.

Company-specific solutions
Of course, MXAM can also be used to quickly and reliably check company-specific modeling guidelines. MXAM provides a comprehensive management framework to integrate these checks.

Your MES Model Examiner® benefits:

    • Highly efficient support for model review and optimization
    • Easy configuration of fully automated analysis
    • Manages even large systems of models with ease
    • From single workstation to company-wide solution
  • CONTROL       
    • Comprehensive guideline and check management
    • Support of multiple tool-chain integration technologies
    • Ensure compliance with modeling guidelines and safety standards (ISO 26262, IEC 61508, DO 178B/C, etc.


NXP Semiconductors

NXP Semiconductors N.V. (NASDAQ:NXPI) enables secure connections and infrastructure for a smarter world, advancing solutions that make lives easier, better and safer. As a world leader in secure connectivity solutions for embedded applications, NXP is driving innovation in the secure connected vehicle, end-to-end security & privacy and smart connected solutions markets. Built on more than 60 years of combined experience and expertise, the company has 31,000 employees in more than 33 countries and posted revenue of $9.5 billion in 2016.

Find out more at

Ohio State University: EcoCAR 3 Team

The Ohio State EcoCAR 3 team is a diverse team with students from all majors and backgrounds that work together to compete in the EcoCAR 3 competition. Ohio State builds on over 25 years of  excellence in Advanced Vehicle Technology Competitions and gives engineering students a hands-on automotive learning experience. The team takes an integrated approach to combine business and engineering skills, encouraging collaborative efforts to create a cohesive project that emulates real-world experiences. Students are encouraged to join early and continue with the team throughout their undergraduate and graduate careers. Ohio State EcoCAR is currently a three-time defending champion, winning EcoCAR 2 Year Three, EcoCAR 3 Year One and EcoCAR 3 Year Three.

EcoCAR 3 is the latest U.S. Department of Energy (DOE) Advanced Vehicle Technology Competition (AVTC) series. As North America’s premier collegiate automotive engineering competition, EcoCAR 3 is challenging 16 North American university teams to redesign a Chevrolet Camaro to reduce its environmental impact, while maintaining the muscle and performance expected from this iconic American car.

Reactive Systems

Reactive Systems, Inc. sells tools and services for embedded-software testing and validation. Embedded software runs on the microprocessors found in devices as diverse as automobiles, cardiac pacemakers, aircraft and cell phones. The company's Reactis® product line provides automated testing and validation support to builders of embedded software. By enhancing engineer productivity in a number of ways, Reactis enables companies to both cut testing costs and increase the quality of deployed applications.

Reactis comes in two versions, one that supports model-based design with Simulink® and Stateflow®, and one that supports a C code process. Reactive Systems' key technology is a capability to automatically generate tests from either a model or C code.

For more information, visit