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.
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
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
THURSDAY MARCH 15th 2018
9:00 AM to 3:30 PM
Santa Clara Convention Center
5001 Great America Parkway
Santa Clara, CA 95054
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 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 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 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.