Tool Qualification Symposium 2014 - Program
Munich, 9-10 April 2014
Wednesday, April 9th, 2014
Opening
- 09:30 Registration
- 10:00 Welcome: Dr. O. Slotosch
Tutorials & Exhibition
- 10:15 – 11:00 Dr. D. Seider: Model-based Tool Classification
- 11:00 – 11:30 Coffee break & Exhibition
- 11:30 – 12:15 Dr. M. Wildmoser: Model-based Tool Qualification
- 12:15 – 12:45 Exhibitors Presentations
- 12:45 – 14:15 Lunch break & Exhibition
Case Studies & Experiences
- 14:15 – 14:45 F. Pothon: Development and Qualification of a Tool Chain for Helicopter Configuration
- 14:45 – 15:15 T. Wengler, N. Köhler: Qualification of the BMW Code Generator
- 15:15 – 15:45 Dr. G. Corradi, S. Waldhausen: Qualification of a Tool Chain for FPGA Development
- 15:45 – 16:15 Coffee break & Exhibition
- 16:15 – 16:45 T. Heimer, A. Osterloh : Variant Handling in Tool Chain Analysis
- 16:45 – 17:00 Discussion with the speakers
- 17:00 – 18:00 Keynote Speech: M. Bordin: The Economics of Tool Qualification
Social Event
- 19:30 Dinner in the Hofbräuhaus
Thursday, April 10th, 2014
Opening
- 08:00 Registration
- 08:30 – 09:00 Panel Discussion: „Why Do Standards Require Tool Qualification and Software Testing?“
Qualified Tools
- 09:00 - 09:30 Invited Talk: R. Grönberg: TPT – Qualification Kit
- 09:30 – 10:00 K. Ducharme: IBM Rational Tool Qualification Kits
- 10:00 – 10:30 G. Miller: SafeTI™ Compiler Qualification Kit latest Developments and Application Results
- 10:30 – 11:00 Coffee break & Exhibition
- 11:00 – 11:30 D. Owens: Toolchain Qualification - A pragmatic Approach
- 11:30 – 11:45 Discussion with the speakers
Method & Process
- 11:45 – 12:15 Dr. U. Brockmeyer: Leveraging Tool Pre-Qualification in the Context of DO-178C and DO-330
- 12:15 – 12:45 Dr. J. Wolf: Automotive SPICE and TÜV SÜD „Fit-for-purpose” Certificate
- 12:45 – 14:15 Lunch break & Exhibition
- 14:15 – 14:45 J. Philipps : Unified Formalism for Tool Classification
- 14:45 - 15:15 A. Abbi: Tool Qualification of AUTOSAR Tools? - Methods for Qualifying Configurable Software
- 15:15 – 15:45 Coffee break & Exhibition
- 15:45 - 16:15 S. Kulkarni, R. Reitmeier: Tool Qualification Kit Development Process on the Example of Excel
- 16:15 - 16:45 Invited Talk: A. Dieumegard: Experiences of Using Formal Methods for Tool Qualification
- 16:45 – 17:00 Discussion with the speakers
Closing
- 17:00 - 17.15 Farewell: Dr. O. Slotosch
Program committee
- Frédéric Pothon (ACG Solutions)
- Dr. Jürgen Klarmann (ETAS)
- Dr. Oscar Slotosch (Validas AG)