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:

  • static analysis of timing and stack usage behaviour
  • aiT/TimingProfiler/StackAnalyzer

 

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

 

Agenda

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: coralmay@joral.ca

Workshop will be held in Huntsville, Alabama.

 

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.