1. Handbook
  2. Subjects
  3. High Integrity Systems Engineering

High Integrity Systems Engineering (SWEN90010)

Graduate courseworkPoints: 12.5On Campus (Parkville)

You’re viewing the 2017 Handbook:
Or view archived Handbooks
You’re currently viewing the 2017 version of this subject


Year of offer2017
Subject levelGraduate coursework
Subject codeSWEN90010
Semester 1
FeesSubject EFTSL, Level, Discipline & Census Date


High integrity systems are systems that must be engineered to a high level of dependability, that is, a high level of safety, security, reliability and performance. In this subject students will explore the aims, principles, techniques and tools that are used to analyse, design and implement dependable systems.


Topics include: an introduction to high-integrity systems; safety critical systems and safety engineering; mathematical modelling of systems; fault tolerant systems design; design by contract; static verification; and model-based testing.

Intended learning outcomes


On completion of this subject the student is expected to:

  1. Classify the characteristics of a dependable system and identify these characteristics in domains
  2. Apply advanced verification methods to the validation and measurement of system properties
  3. Apply a range of techniques to the analysis, design and validation of high integrity systems.

Generic skills

On completion of this subject students should have the following skills:

  • Ability to apply knowledge of science and engineering fundamentals
  • Ability to undertake problem identification, formulation, and solution
  • Ability to utilise a systems approach to complex problems and to design and operational performance Proficiency in engineering design
  • Ability to manage information and documentation
  • Capacity for creativity and innovation
  • Understanding of professional and ethical responsibilities, and a commitment to them.

Last updated: 13 April 2019