Preliminary Programme of SafeCert08 at ETAPS 2008

(Certification of Safety-Critical Software Controlled Systems)

Saturday, 29 March 2008

09:00 - 10:30 SESSION 1

Openening and Invited Talk
Welcome and Opening Address
Michaela Huhn, Hardi Hungar
Invited Talk: Applying Formal Methods in Software Certification
Constance Heitmeyer, Naval Research Laboratory, USA

10:30 - 11:00 Coffee

11:00 - 12:30 SESSION 2

Software Certification and Safety Cases
A Software Certification Consortium and its Top 9 Hurdles
J. Hatcliff, M. Heimdahl, M. Lawford, T Maibaum, A. Wassyng, F. Wurden
Kansas State U., U. of Minnesota, McMaster U., Microsoft Corp.
Deriving Safety Cases for the Formal Safety Certification of Automatically Generated Code
N. Basir, E. Denney, B. Fischer; Southampton U., NASA Ames Res. Center
A Generic Goal-Based Certification Argument for the Justification of Formal Analysis
I. Habli, T. Kelly; Univ. of York

12:30 - 14:00 Lunch

14:00 - 16:00 SESSION 3

Formal Methods in Certification / Short Presentations
Convincing Proofs for Program Certification
M. Garnacho, M. Périn; Univ. de Grenoble
The Importance of Being Formal.
U. Frese, D. Hausmann, C. Lüth, H. Täubig, D. Walter; Univ. Bremen, DFKI Bremen
Model-Based Safety Cases for Software-Intensive Systems (Short Presentation)
P. Braun, J. Philipps, B. Schätz, S. Wagner; Validas AG, Tech. Univ. Munich
Poster Presentations
Budapest Univ., OFFIS

16:00 - 16:30 Coffee

16:30 - 18:00 SESSION 4

Poster Presentations, Position Statements and Discussion
Poster Presentations
Rail Automation Graduate School, Siemens AG (further presenters tba)
Position Statements
Workshop Participants
Discussion and Workshop Wrap-Up
Workshop Participants