Module 15256 (2005)
Syllabus page 2005/2006
06-15256
Safety Critical Systems & Software Reliability
Level 4/M
Links | Outline | Aims | Outcomes | Prerequisites | Teaching | Assessment | Books | Detailed Syllabus
The Module Description is a strict subset of this Syllabus Page. (The University module description has not yet been checked against the School's.)
Relevant Links
Outline
This module introduces the main issues related to computer-based safety systems, including standards, legal framework, management procedures and verification/validation tools, that have been developed to avoid failure of systems where failure is life threatening.
Aims
The aims of this module are to:
- introduce main issues related to ensuring safety of computer systems and software, including human factors
- familiarise students with processes, procedures, methods and standards used to ensure safety
- introduce tools and techniques for validation and verification and use them in simple examples
- discuss real examples of failures of safety and how they could have been avoided
Learning Outcomes
| On successful completion of this module, the student should be able to: | Assessed by: | |
| 1 | explain the basic concepts of safety, risk and role of human factors in the design and operation of safety critical systems | Examination |
| 2 | demonstrate understanding of current professional, ethical and regulatory framework and practices for ensuring safety | Examination |
| 3 | show appreciation of the problems in both hardware and software which limit the reliability that can be claimed for safety related systems | Examination |
| 4 | give examples which justify and support developments in standards, methodologies, processes and procedures | Presentation/Project |
Restrictions, Prerequisites and Corequisites
Restrictions:
None
Prerequisites:
None
Co-requisites:
None
Teaching
Teaching Methods:
15 hrs conventional lectures, 8 hrs of student presentations on case studies
Contact Hours:
Assessment
- Supplementary (where allowed): As the sessional assessment
- The continuous assessment is based on an individual project and consists of a presentation and written report.
Recommended Books
| Title | Author(s) | Publisher, Date |
| Safety-Critical Computer Systems | N. Storey | Addison Wesley, Harlow, 1996 |
| High Integrity Software: The SPARK Approach to Safety and Security | John Barnes | Addison Wesley, 2003 |
| Safeware: System Safety and Computers | N. Leveson | Addison Wesley, Reading Massachusetts, 1995 |
| Software Failure: Management Failure | Stephen Flowers | Wiley, 1996 |
Detailed Syllabus
- Definitions of failure and safety. Computers and risk.
- Hazard analysis.
- Risk analysis.
- Dependability and Reliability.
- Validation and Verification
- Software safety
- Human factors
- Quality Management and Certification
- Examples: Ariane 5, transport, manufacturing and medical applications
Last updated: 5 Jan 2006
Source file: /internal/modules/COMSCI/2005/xml/15256.xml
Links | Outline | Aims | Outcomes | Prerequisites | Teaching | Assessment | Books | Detailed Syllabus