First Tool Qualification Symposium: April 9th–10th, 2013 in Munich
Functional safety of embedded systems depends on the tools being used for development. Therefore the functional safety standards (ISO 26262, DO-178, IEC 61508) require tool qualification.
The qualification effort can be reduced by analyzing and eventually enhancing the development processes. Tool providers can sell qualification kits to create confidence in their tools, thereby improving the development process of embedded systems by eliminating the checks introduced to mitigate potential tool errors.
This symposium brings together both tool users and providers from different industrial sectors to share their knowledge and experience in tool qualification.
For further details and a list of talks see the flyer or write to tqs@validas.de
Registration is via eventbrite, or per e-mail under tqs-registration@validas.de.
The slides are available here.
Agenda
Tuesday, April 9th, 2013
Opening
- 09:30 Registration
- 10:00 Welcome: Dr. Oscar Slotosch (Validas)
Qualification & Support Providers
- 10:15 – 10:45 Jürgen Belz: Experiences with ISO-26262 Tool Chain Classification from IT-Perspective
- 10:45 – 11:15 Bonifaz Maag: Tool Classification From a Tool Chain Perspective – Experiences
- 11:15 – 11:30 Coffee break
- 11:30 – 12:00 Nicole Pappler: ISO 26262 Certificates for Tools: Approach and Examples
- 12:00 – 12:30 Sander De Smalen: SuperTest: qualification and certification of compilers
- 12:30 – 12:45 Discussion with the speakers
- 12:45 – 14:00 Lunch break
Tool Vendors
- 14:00 – 14:30 Karla Ducharme: Qualification Kits for Rational Tools
- 14:30 – 15:00 Bernard Dion: The SCADE Qualification Kit
- 15:00 – 15:30 Thomas Suchyta: Structure of the TI Compiler Qualification Kit
- 15:30 – 15:45 Coffee break
- 15:45 – 16:15 Dr. Daniel Kästner: Automatic Qualification of Abstract Interpretation-based Static Analysis Tools
- 16:15 – 16:30 Discussion with the speakers
Standards
- 16:30 – 17:30 Keynote Speech: Frédéric Pothon: Tool Qualification Considerations and Certification Credits of Qualified Code Generators in DO-Standards
- 17:30 – 18:00 Panel Discussion: „Why Do Standards Require Tool Qualification and Testing?“
Social Event
- 19:30 Dinner in the Hofbräuhaus
Wednesday, April 10th, 2013
Opening
- 08:30 Registration
Tool User Experiences
- 09:00 – 09:30 Simon Fürst: Background and Motivation for Tool Qualification in ISO 26262
- 09:30 – 10:00 Thorsten Daniel, Dr. Jörg Barrho: Qualification of a Tool Chain within Nuclear Application and Tool Validation Management
- 10:00 – 10:30 Dr. Rafael Zalman: Analysis of the Infineon SW Development Tool Chain
- 10:30 – 10:45 Discussion with the speakers
- 10:45 – 11:00 Coffee break
Visionary Talks
- 11:00 – 11:30 Matteo Bordin: Project P: Towards the qualification of open-source code generators
- 11:30 – 12:00 Mario Driussi, Dr. Oscar Slotosch: Tool Development According to a Safety Standard
- 12:15 – 13:15 Lunch break
- 13:15 – 13:45 Dr. Jürgen Klarmann: Optimizing Tool Qualification Efforts
- 13:45 – 14:00 Discussion with the speakers
- 14:00 – 14:15 Coffee break
Tutorials
- 14:15 – 15:45 Andrea Osterloh: Tool Chain Analysis Method
- 15:45 – 17:15 Dr. Martin Wildmoser: Tool Qualification by Validation
Closing
- 17:15 Farewell: Dr. Oscar Slotosch (Validas)