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