BTC provides products and services for formal verification, validation, and automated testing of embedded systems.
A leading producer of engineering tools for developing and testing mechatronic control systems.
A leading provider of critical systems and software development solutions for the aerospace, defense, rail transportation, nuclear, and industrial domains.
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.
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.
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.
Green Hills is the largest independent vendor of embedded development solutions and is the only company with an operating system certified and deployed to EAL6+ High Robustness (security), DO-178B Level A (avionics), IEC 61508 SIL3 (industrial) and FDA Class III (medical). Green Hills’ open architecture integrated development solutions address deeply embedded, absolute security and high-reliability applications for the military/avionics, medical, industrial, automotive, networking, consumer and other markets that demand industry-certified solutions.