Only 20 seats are available for this event.  Reserve your spot now!


JOIN us in Santa Clara, California for a FREE in-depth seminar covering:

In-depth presentation Static runtime error detection and MISRA compliance checking on TargetLink-generated code using Astrée.

In-depth  presentation on static analysis of timing and stack usage behaviour on TargetLink-generated code using aiT/TimingProfiler/StackAnalyzer.

Verification  demands set by ISO26262 for safety-critical automotive software available integrated tool solutions, including TargetLink and Astrée.

Skills gained:

  • Deeper understanding of safety/security requirements for safety-critical automotive code
    • Get to know state-of-the-art static program analysis tools supporting the development of safe applications
    • Use Astrée to prove the absence of RTEs and data races on sample code
    • Use RuleChecker to automatically check adherence to coding guidelines like MISRA that aim to prevent RTEs
    • Use StackAnalyzer to compute safe upper bounds on an application's worst-case stack usage
    • Use aiT to compute safe upper bounds on an application's WCET


Morning Session

09:00 - 10:30 Static Analysis as a Verification Method for Safe Autonomous Driving

10:30 - 11:00 Coffee break

11:00 - 12:00 Modeling of Safety-Critical Applications using dSPACE TargetLink

12:00 - 13:00 Lunch break

Afternoon Session

13:00 - 14:00 Proving the Absence of Runtime Errors and Data Races *** hands-on session ***

14:00 - 15:00 Verifying Real-Time and Stack Properties *** hands-on session ***

15:00 - 15:30 Q&A and Wrap-up


9:00 AM to 3:30 PM

Santa Clara Convention Center

5001 Great America Parkway

Santa Clara, CA  95054 

This is a free event with lunch included

Only 20 spots available.
Reserve your spot now!



Dr. Jörg Herter:

Jörg works as a Senior Technical Consultant for AbsInt GmbH. He studied Computer Science and received his Ph.D. on predictable dynamic memory allocation for hard real-time systems in 2014. He has been a research fellow at Saarland University and the University of Applied Sciences in Saarbrücken. Jörg teaches static program analysis, embedded systems technology, and mathematics at Saarland's Universities of Applied Sciences and Cooperative Education and has been a lecturer at Saarland University and the Technical University of Kaiserslautern. His current work is focused on functional safety and the formal validation and verification of safety-critical software.

Christian Hümbert:

Christian completed his master degree program in computer science and chemics at the Saarland University in 2006. In his master's thesis he investigated and developed parametric worst-case execution time analysis techniques. During his studies he was a member of the Honors Program at the Computer Science Department of the Saarland University. Since 2006, Christian is working as software engineer in the consulting department at AbsInt.

Thomas Wehmeier:

Thomas works as Director of Sales for AbsInt GmbH. He studied Business Studies and received his Bachelor Honours degree in 2000. Since then, Thomas worked in different sales positions at organizations like Mentor Graphics, Dassault Systèmes and other high-tech software companies. During his sales career, Thomas was involved in advising customers on embedded SW development tools, real-time operating systems, requirement engineering tools, and SW licensing solutions. In his current position at AbsInt, Thomas leads all global sales activities for AbsInt and is responsible for supporting global customers and channel partners.

Robert Campbell

Robert is the owner and president of JORAL Technologies. JORAL Technologies has been an AbsInt Distributor for 8 years and offers a wide range of embedded products including design tools, safety critical tools, production tools, and embedded hardware products.


Font Size

Robert Campbell

JORAL Technologies 

1-877-380-3366 ext 101


Thomas Wehmeier

AbsInt Angewandte Informatik GmbH

Tel: +49 (681) 38360-27


Font Family