Safety Critical System

1

CM50121/CM30072

Safety-Critical Systems

Course Slides

Dr Claire Willis Department of Computer Science

CM30072/CM50121 Safety Critical Systems

2

CM50121/CM30072

Safety-Critical Systems

Dr Claire Willis Department of Computer Science

1. 2. Accidents and Risk 1.1 Risks faced by technological societies How Accidents Happen 2.1 Causality 2.2 Root Causes of Accidents 2.3 Modelling Accidents Computers and Risk - An Introduction 3.1 The Role of Computers in Accidents 3.2 Myths about Computers and Software 3.3 Why is software engineering difficult? 3.4 Some case studies of software disasters System Safety Definitions 4.1 Terminology 4.2 Standards and Codes of Practice 4.3 The Safety Lifecycle Software Safety 5.1 Computer and Software Safety Issues 5.2 Correctness by Construction Hazard Identification and Analysis 6.1 6.2 6.3 6.4 6.5 7. Phases of hazard management Hazard identification Design criteria Hazard causality analysis Software hazard and requirements analysis

3.

4.

5.

6.

Designing for safety 7.1 Risk assessment 7.2 Risk reduction strategies 7.3 Design of the human-machine interface

8.

Verification of safety 8.1 8.2 8.3 8.4 Dynamic analysis Static analysis Modelling Summary of testing strategies

9.

Managing Safety 9.1 Difficulties with safety management 9.2 Concepts for safety management 9.3 Case study: Columbia space shuttle

Summary CM30072/CM50121 Safety Critical Systems

3

Course Aims:

• To give an appreciation of the current state of safe systems development. • To develop an understanding of risk in systems. • To give a foundation in hazard analysis models and techniques. • To show how safety principles may be built into all stages of the software development process.

Learning Outcomes:

A student will be able to: • understand the concepts of safety, risk and the role of human factors in the design and operation of safety critical systems; • understand the nature and role of the safety lifecycle...