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
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
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
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: email@example.com
Workshop will be held in Huntsville, Alabama.
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.