BTC Embedded Systems
BTC provides products and services for formal verification, validation, and automated testing of embedded systems.
dSPACE
A leading producer of engineering tools for developing and testing mechatronic control systems.
Esterel Technologies
A leading provider of critical systems and software development solutions for the aerospace, defense, rail transportation, nuclear, and industrial domains.
Gliwa
Our Real-Time Experts partner Gliwa provides the leading tracing and measurement solution T1 which is widely used in automotive mass production projects. T1 allows visualizing, measuring, supervising, verifying and thus securing timing of embedded systems. Customers may also choose to directly purchase Gliwa tools and services through AbsInt and AbsInt’s distributors.
Symtavision
Another member of the Real-Time Experts consortium, Symtavision creates state-of-the-art methods and tools, and provides leading timing analysis expertise for embedded controllers, networks and distributed real-time systems. Symtavision’s tools are integrated with AbsInt’s aiT WCET Analyzer through an XML-based interface. Customers may also choose to directly purchase Symtavision tools and services through AbsInt and AbsInt’s distributors.
Real-Time Experts
Together with Symtavision and Gliwa, we provide integrated and comprehensive solution chains for embedded real-time systems. With specific know-how and products, each partner covers an important real-time segment and provides state-of-the-art solutions.