Safety-Critical Systems Development (M) COMPSCI5068
- Academic Session: 2019-20
- School: School of Computing Science
- Credits: 10
- Level: Level 5 (SCQF level 11)
- Typically Offered: Semester 2
- Available to Visiting Students: No
- Available to Erasmus Students: No
This course encourages students to apply engineering techniques to support the development of safety-critical applications. It also encourages students to consider the particular methodological and professional issues that surround the development of safety-critical systems. It provides an overview of recent research into software certification, into national critical infrastructure protection and to the interactions between safety and cyber-security.
Three hours per week.
Requirements of Entry
Safety Critical Systems (H)
Examination 80%, Practical Exercises 20%.
Main Assessment In: April/May
Are reassessment opportunities available for all summative assessments? No
Reassessments are normally available for all courses, except those which contribute to the Honours classification. For non Honours courses, students are offered reassessment in all or any of the components of assessment if the satisfactory (threshold) grade for the overall course is not achieved at the first attempt. This is normally grade D3 for undergraduate students and grade C3 for postgraduate students. Exceptionally it may not be possible to offer reassessment of some coursework items, in which case the mark achieved at the first attempt will be counted towards the final course grade. Any such exceptions for this course are described below.
Resit examinations are not permitted for Honours students
Resit examinations are permitted for Masters students
This course encourages students to apply engineering techniques to support the development of safety-critical applications. It also encourages students to consider the particular methodological and professional issues that surround the development of safety-critical systems. A key objective is to illustrate the problems created by non-functional requirements - where it is impossible to ever be entirely safe no matter how much resources are used in the development of complex software. From this we aim to motivate the use of analysis and development techniques to convince other engineers (regulators, customers) that systems are acceptably safe to operate. We aim to provide an understanding both of the techniques already used in industry and also of research methods being developed across many different industries including aviation, space, rail, healthcare and the military
Intended Learning Outcomes of Course
By the end of this course students will be able to:
1. Discuss the professional and social issues involved in the design and testing of safety-critical systems;
2. Discuss the importance of standards and show a clear understanding of recent initiatives in this area;
3. Apply a number of risk analysis techniques such as Failure Modes, Effects and Criticality Analysis and Fault Tree Analysis;
4. Apply a number of safety critical design techniques such as redundancy;
5. Apply a number of safety critical evaluation techniques such as Black Box testing;
6. Identify the main characteristics of an appropriate safety culture within large organisations;
7. Identify key trends in recent research into safety critical systems development;
8. Relate research in 7. To wider concerns both in the development of critical national infrastructures and also cyber-security.
Minimum Requirement for Award of Credits
Students must submit at least 75% by weight of the components (including examinations) of the course's summative assessment.