Only 20 seats are available for this event.  Reserve your spot now!

placeholder

JOIN us in Santa Clara, California for a FREE in-depth seminar covering:

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.

Skills gained:

  • Deeper understanding of safety/security requirements for safety-critical automotive 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
    • Use StackAnalyzer to compute safe upper bounds on an application's worst-case stack usage
    • Use aiT to compute safe upper bounds on an application's WCET

Agenda

Morning Session

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

Afternoon Session

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 

This is a free event with lunch included

Only 20 spots available.
Reserve your spot now!

placeholder

Presenters

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 Hümbert:

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 Wehmeier:

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 Campbell

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.

Contacts

Font Size

Robert Campbell

JORAL Technologies

Robert.Campbell@JORALTechnologies.com 

1-877-380-3366 ext 101

613-851-2152

Thomas Wehmeier

AbsInt Angewandte Informatik GmbH

wehmeier@absint.com

Tel: +49 (681) 38360-27

placeholder

Font Family