Programme Details

Day 1

09:30 Registration/Coffee
10:00 Welcome and opening remarks (Tom Maibaum)
10:15 Overview of Safety Critical Systems and Standards (Kevin Lano)
11:00 Coffee
11:15 Hazard Identification: HAZOPS (Kevin Lano)
12:15 Practical: HAZOPS
13:00 Lunch
14:15 Hazard Analysis: FMECA (David Clark)
15:15 Tea
15:30 Safety and Hazard Analysis Process (David Clark)
16:30 Hazard Analysis: Fault Tree Analysis (Kevin Lano)
17:30 Close

Day 2

09:00 Risk Analysis (Kevin Lano)
10:00 Coffee
10:30 Practical: FTA and Risk Analysis
11:30 Design of Safety-Critical Systems (David Clark)
12:30 Lunch
13:30 Reliability Modelling (David Clark)
14:30 Usability and Human Factors (Kevin Lano)
15:30 Tea
16:00 Close

Day 3

09:00 Implementing IEC 61508 (Simon Brown, Health and Safety Executive)
10:30 Coffee
11:00 Programming Languages and Suitability for SCS (Kevin Lano)
12:00 Lunch
13:00 Static Analysis and Program Verification (Kevin Lano)
14:00 Safety Critical Hardware (David Clark)
15:00 Tea
15:30 Introduction to RSDS and the B Method (Kevin Lano)
16:30 Close

Day 4

09:00 Security issues in Critical Systems (Dr. David Brewer, Director, Gamma Secure Systems Ltd)
10:00 Adapting hazard analysis for security analysis (Kevin Lano)
11:00 Coffee
11:30 Security issues for critical medical systems (Susan Fenley, GKT Medical School)
12:30 Lunch
13:30 Using B and RSDS for Reactive System Design (Kevin Lano)
14:30 Practical: Specification in B
15:30 Tea
16:00 Close

Day 5

9:00 Structuring of RSDS and B specifications (Kevin Lano)
10:00 Coffee
10:30 Formalising Design/Verification (Juan Bicarregui, Rutherford Appleton Laboratory)
11:30 Project 1: Automated manufacturing system
12:30 Lunch
13:30 Project 2: e-medicine system
15:00 Feedback
15:30 Tea
16:00 Close

Course Modules and Dependencies