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 measurements 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 application. 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
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.
Huntsville/Madison County Chamber
225 Church St NW, Huntsville, AL 35801
Toyota Training Room Calendar
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.