Programme Overview

Tuesday, 25 September 2001

Room 1

Room2

9:00 – 12:30 Tutorial 1: Safety Cases and COTS/SOUP / Robin Bloomfield and Peter Bishop Tutorial 3: UML-based Dependability Evaluation / Andrαs Pataricza
12:30 – 14:00

Lunch

14:00 – 17:30 Tutorial 2: Explaining the International Standard IEC 61508/ Felix Redmill Tutorial 3 (continued)
19:30 – 22:00 Get-together Party

Wednesday, 26 September 2001

9:00 – 9:30

Welcome

9:30 – 10:30

Invited speaker: John Fox

11:00 – 12:30

Session 1: Reliability Assessment and Security
Lunch

14:00 – 15:30

Session 2: Safety Case and Safety Analysis

16:00 – 17:00

Session 3: Medical Systems

17:00 – 18:00

Panel: Risk and Medical Systems

Thursday, 27 September 2001

9:00 – 10:00

Invited speaker: John Rushby

10:30 – 11:30

Session 4: Human Machine Interface

11:30 – 12:30

Session 5: COTS
Lunch

14:00 – 15:30

Session 6: Testing

16:00 – 17:30

Session 7: Formal Methods

19:30 – 22:30

Conference Dinner

Friday, 28 September 2001

9:00 – 10:00

Invited speaker: Rainer Faller

10:30 – 12:00

Session 8: Control Systems

12:00 – 12:30

Closing Session
Lunch