1. IFB Institut für Bahntechnik GmbH Dipl.-Ing. Jürgen Busse Static Analysis on Railway Vehicle On- board Software - Aims and Achievements ES_PASS Workshop Toulouse, France, February 5th, 2009

2. ES_PASS Workshop Dipl.-Ing. Jürgen Busse, February 5th, 2009 Folie 2 von 7 Situation Software controls train safety directly: Brakes Doors Traction...

3. ES_PASS Workshop Dipl.-Ing. Jürgen Busse, February 5th, 2009 Folie 3 von 7 Problems Functional testing requires huge efforts

4. ES_PASS Workshop Dipl.-Ing. Jürgen Busse, February 5th, 2009 Folie 4 von 7 The EN 50128 Approach Verification Safety Level Identification Requirements Architecture Design Code IF THEN ELSE Software Modules IF THEN ELSE Integrated Software IF THEN ELSE Verification Validation Integration Test Unit Test Hardware w/ Software Assessment Report

5. ES_PASS Workshop Dipl.-Ing. Jürgen Busse, February 5th, 2009 Folie 5 von 7 Expectation wrt Static Analysis Better investigation of Functional Properties Proof instead of assumption Safe instead of more or less safe

6. ES_PASS Workshop Dipl.-Ing. Jürgen Busse, February 5th, 2009 Folie 6 von 7 Aims for a better Software Verification To prove safe function of software To prove it automatically To get complete proof To simply re-prove software after alterations See FIRST Slides for Achievements

7. ES_PASS Workshop Dipl.-Ing. Jürgen Busse, February 5th, 2009 Folie 7 von 7 Vielen Dank für Ihre Aufmerksamkeit IFB Institut für Bahntechnik GmbH Dipl.-Ing. Jürgen Busse Carnotstraße 6, 10587 Berlin Deutschland E-Mail: jb@bahntechnik.de Tel.: 0049 / 30 / 399924 – 56 Fax: 0049 / 30 / 399924 – 90