|Year of offer||2017|
|Subject level||Graduate coursework|
|Fees||Subject 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 (ILO)
On completion of this subject the student is expected to:
- Classify the characteristics of a dependable system and identify these characteristics in domains
- Apply advanced verification methods to the validation and measurement of system properties
- Apply a range of techniques to the analysis, design and validation of high integrity systems.
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.