Accessibility statement

High-Integrity Systems Engineering - COM00040H

« Back to module search

  • Department: Computer Science
  • Module co-ordinator: Prof. Iain Bate
  • Credit value: 20 credits
  • Credit level: H
  • Academic year of delivery: 2021-22

Module summary

This module teaches students to adapt their software development practice to take account of the general criticality and the specific risks of the software they are developing.

Related modules

Pre-requisite modules

Co-requisite modules

  • None

Prohibited combinations

  • None

Additional information

Students on the joint Mathematics and Computer Science programmes who are interested in this module should discuss the necessary prerequisite knowledge with the module leader.

Module will run

Occurrence Teaching period
A Autumn Term 2021-22

Module aims

This module teaches students to adapt their software development practice to take account of the general criticality and the specific risks of the software they are developing. Students will gain a broad understanding of the issues involved in designing and implementing critical systems, be aware of the methods used to construct critical systems, and understand the limitations of the various methods, analysis techniques and tools currently in use.

Module learning outcomes

  • Understand and articulate the issues involved in designing and implementing critical systems

  • Apply a range of techniques to the design, and validation of high integrity systems, such as fault-tree analysis and failure analysis.

  • Discuss issues of high integrity engineering, both technical and social.

  • Participate in significant discussion periods brainstorming scenarios and discussing previous well-documented examples of system failures

  • Introduce existing software engineering concepts for the development of critical systems

Assessment

Task Length % of module mark
Essay/coursework
High-Integrity Systems Engineering 1		 N/A 50
Online Exam - 24 hrs (Centrally scheduled)
High-Integrity Systems Engineering 2: (HINT-H)		 8 hours 50

Special assessment rules

None

Reassessment

Task Length % of module mark
Essay/coursework
High-Integrity Systems Engineering 1		 N/A 50
Online Exam - 24 hrs (Centrally scheduled)
High-Integrity Systems Engineering 2: (HINT-H)		 8 hours 50

Module feedback

Feedback is provided through work in practical sessions, through discussion sessions, and after the final assessment as per normal University guidelines.

Indicative reading

N.G. Leveson, Safeware: System Safety and Computers, Addison-Wesley, 1995


The information on this page is indicative of the module that is currently on offer. The University is constantly exploring ways to enhance and improve its degree programmes and therefore reserves the right to make variations to the content and method of delivery of modules, and to discontinue modules, if such action is reasonably considered to be necessary by the University. Where appropriate, the University will notify and consult with affected students in advance about any changes that are required in line with the University's policy on the Approval of Modifications to Existing Taught Programmes of Study.