The annual Raptor Innovation Summit is coming up, and this year New Eagle has partnered with AbsInt as our Platinum Sponsor. Summit attendees will have the chance to learn directly from AbsInt experts in software verification, functional safety, and cybersecurity.
Before you arrive at the Summit, we’d like to introduce you to AbsInt—including how their technologies power Raptor-Safe tools. AbsInt’s CTO, Daniel Kästner, will participate in several sessions on cybersecurity and safety-critical applications, which you won’t want to miss.
Spotlight on AbsInt
AbsInt, founded in 1998 and based in Saarbrücken, Germany, provides state-of-the-art tools and services for the development, analysis, and certification of safety-critical software. Their portfolio includes tools for the static analysis of stack usage and time behavior, as well as runtime error analysis, and compilers—always focused on detecting critical defects and improving software quality.
Serving customers around the world and in such industries as aerospace, automotive, defense, medical, and energy, AbsInt is a global leader in software verification and cybersecurity. Their tools aid in satisfying rigorous safety and security requirements, such as:
- DO-178C
- DO-356A
- ISO 26262
- ISO 21434
- IEC 61508
- IEC 60880, and
- EN 50716.
Closer to home, AbsInt has enabled safer, faster, and more secure development of Raptor-based control applications, specifically their integrations with Raptor-Safe.
AbsInt’s Tools Powering Raptor Workflows
Raptor-Safe is a suite of advanced development tools for embedded systems, including tools for validation, verification, and certification of safety-critical or security relevant software. Fueled by AbsInt’s technologies, Raptor-Safe can help to:
- enhance software safety,
- speed up time-to-market,
- lower testing and validation costs, and
- improve software efficiency.
Overall, developers see reduced system costs for embedded, real-time, and safety-critical applications.
Thanks to seamless integrations within Raptor-Safe, users can take advantage of AbsInt’s state-of-the-art static analysis tools as part of their Raptor workflow—including Raptor-Safe Stack Check, Time Check, and Astrée.
Raptor-Safe Stack Check
Raptor-Safe Stack Check determines worst-case stack usage and finds any stack overflows, or formally proves their absence. Powered by AbsInt’s exceptionally fast and precise static analysis tool, StackAnalyzer, Stack Check provides clear and detailed information on user-stack and system-stack usage, as well as worst-case execution paths.
In addition, Stack Check identifies potential recursive calls, which are forbidden in safety-critical systems, and detects infinite loops. Users get an immediate analysis, free from BSW warnings and errors, ultimately reducing development time.
Raptor-Safe Time Check
Powered by AbsInt’s TimingProfiler, Raptor-Safe Time Check estimates worst-case execution times for reliable performance. Used early in the development process, Time Check can identify application components with unsatisfactory execution times, recursive calls, and potential infinite loops, as well as optimize application performance.
By automatically checking for timing issues and critical errors, Time Check ensures that the analysis reflects what is programmed and run on the hardware.
Introducing: Raptor-Safe Astrée
New in the Raptor 2025a update, Raptor-Safe Astrée delivers advanced static analysis, cybersecurity vulnerability detection, and compliance verification. If no errors are signaled, then the absence of an error has been formally proven. Because AbsInt’s Astrée works quickly and with precision, this tool provides immediate analysis free from Raptor code-generation warnings and errors.
Raptor Astrée provides analysis for:
- runtime error;
- data race;
- non-interference;
- advanced taint;
- signal flow, data flow, and control flow;
- control coupling and component interference;
- user-defined cybersecurity;
- functional program properties; and
- numerous code metrics.
In addition, Raptor Astrée detects Spectre vulnerabilities, eliminates dead code, and also provides rule checks for guidelines such as MISRA, CERT, JSF, CWE, and AUTOSAR. All these features help to ensure compliance with industry standards, including ISO 26262, DO-178C, and ISO 21434.
Attend AbsInt’s Summit Workshops
If you want to learn more about AbsInt and how its static analysis tools not only power Raptor but also support compliance with rigorous safety and security standards, don’t miss Daniel Kästner’s workshops at the Raptor Innovation Summit.
“We are thrilled to provide a seamless integration of our tools StackAnalyzer, TimingProfiler, and Astrée into New Eagle’s Raptor toolchain. The upcoming Raptor Innovation Summit 2025 will be a good opportunity to demonstrate how these tools support safe development and verification of Raptor-developed software and the ease-of-use of running them,” says Daniel.
On Day 1, September 23, Daniel will take part in a panel session on cybersecurity, sharing how static analysis tools ultimately offer a strategic advantage with evolving cybersecurity requirements. The second day of the summit, September 24, Daniel joins a breakout session expanding on panel themes and diving deeper into theory and market trends. He will also co-host a workshop with New Eagle introducing Stack Check, Time Check, and Astrée. Part of this workshop includes a live demonstration of Raptor-Safe.
Don’t miss this year’s Raptor Innovation Summit.
Join other engineering leaders, innovators, and technologists to explore the future of scalable embedded development at the Raptor Innovation Summit. Attend Daniel Kästner’s sessions on September 23 & 24 to learn more about AbsInt, Raptor-Safe, and how to leverage these tools for functional safety and cybersecurity.
Together at the Edsel & Eleanor Ford House in Grosse Pointe Shores, MI, we’ll focus on how teams can move faster, work smarter, and solve ever more complex challenges. Register for free today!
