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

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

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

ES_PASS Workshop Dipl.-Ing. Jürgen Busse, February 5th, 2009 Folie 4 von 7 The EN 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

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

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

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, Berlin Deutschland Tel.: 0049 / 30 / – 56 Fax: 0049 / 30 / – 90