Programme of SafeCert at ETAPS 2008

(Certification of Safety-Critical Software Controlled Systems)

Saturday, March 29, room: Room IV.

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

Detailed Programme Information:

• Main Conferences: Complete Programme, CC, ESOP, FASE, FOSSACS, TACAS
• Workshops: ACCAT, ByteCode, COCV, CMCS, DCC, FESCA, FIT, FORMED, GALOP, GT-VMT, LDTA, MBT, MOMPES, PDMC, QAPL, RV, SafeCert, SC, SLA++P, WGT, WRLA