Loading Events

FREE Comprehensive Seminar for Engineers

In-depth presentation on static runtime error detection and MISRA compliance checking using Astrée. Astrée is a static code analyzer that proves the absence of run¬time errors and invalid concurrent behaviour in safety-critical software written or generated in C.

Including Technical Discussion on:

  • aiT WCET Analyzers: statically compute tight bounds for the worst-case execution time (WCET) of tasks in real-time systems. They directly analyze binary executables and take the intrinsic cache and pipeline behavior into account.   (www.absint.com/ait/index.htm)
  • TimingProfiler: helps you identify application parts that cause unsatisfactory execution times. It delivers results as soon as there is compiled code, and thus can be used very early in the development process, when measure­ments on physical hardware are costly or plain impossible.  (www.absint.com/timingprofiler)
  • StackAnalyzer: automatically determines the worst-case stack usage of the tasks in your appli­cation. It lets you find any stack overflows, or formally prove the absence thereof.  (www.absint.com/stackanalyzer/index.htm)


Skills Gained from this Workshop

  • Deeper understanding of safety/security requirements for safety-critical 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



Morning Session

09:00 – 10:30  Static Analysis as a Verification Method for Safety-Critical Systems

10:30 – 11:00  Coffee break

11:00 – 12:00  In-depth Overview on State-of-the-art Tools Support the Validation, Verification, and Certification of Safety-critical Applications

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 – 14:30  Coffee break

14:30 – 15:30  Proving the Absence of Runtime Errors and Data Races *** hands-on session ***

15:30 – 15:45  Q&A and Wrap-up

Limited to 20 Engineers. Register now: registernow@joraltechnologies.com

Workshop will be held in Huntsville, Alabama.

Meeting Location:
Huntsville/Madison County Chamber
225 Church St NW, Huntsville, AL 35801
Toyota Training Room Calendar



Image of Dr. Jörg Herter

Dr. Jörg Herter

Jörg Herter 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. His current work is focused on functional safety and the formal validation and verification of safety-critical software.

Jörg Herter works as a Senior Technical Consultant for AbsInt. He teaches static program analysis, embedded systems technology, compiler construction, and mathematics at the Saarland University of Applied Sciences and Cooperative Education. Jörg is also a lecturer at the University of Luxembourg and has been teaching at Saarland University and the Technical University of Kaiserslautern.

Download PDF Invite

Huntsville Chamber Member icon