Preliminary Programme of SafeCert09 at ETAPS 2009

(Certification of Safety-Critical Software Controlled Systems)

Sunday, 29 March 2009

09:00 - 10:30 SESSION 1

Welcome and Opening Address
Michaela Huhn, Hardi Hungar
Java for Safety-Critical Applications
James J. Hunt, Doug Locke, Kelvin Nilsen, Martin Schoeberl, Jan Vitek
Safe-UML - Restricting UML for the Development of Safety-Critical Systems
Hardi Hungar, Oliver Robbe, Boris Wirtz

10:30 - 11:00 Tea Break

11:00 - 12:30 SESSION 2

Towards an OO Approach to OO System Safety
Richard Hawkin, Tim Kelly
Transformation Heuristics for Formal Requirements Validation by Animation
Atif Mashkoor, Jeanine Souquières, Jean-Pierre Jacquot

12:30 - 14:00 Lunch Break

14:00 - 15:30 SESSION 3

Issues in Tool Qualification for Safety-Critical Hardware: What Formal Approaches Can and Cannot Do
Brian Butka, Andrew Kornecki, Janusz Zalewski
Tool Qualification - A View from Industry
Ralf Pinger

15:30 - 16:00 Tea Break

16:00 - 18:30 SESSION 4

< Title to be announced >
Michaela Huhn
A Tool-Supported Process for Developing Safety-Critical Rail Systems
Oliver Plan, A. Kalkbrenner, Ralf Sanders, Oliver Lemke, Hardi Hungar
Position Statements and Discussion on Issues of Certification of Safety-Critical Software Controlled Systems
Workshop Participants
Workshop Summary
Michaela Huhn, Hardi Hungar

18:30 Workshop End

Download the programme in pdf