High Integrity Systems Engineering (SWEN90010)
Graduate courseworkPoints: 12.5Dual-Delivery (Parkville)
From 2023 most subjects will be taught on campus only with flexible options limited to a select number of postgraduate programs and individual subjects.
To learn more, visit COVID-19 course and subject delivery.
About this subject
Contact information
Semester 1
Toby Murray
Overview
| Availability | Semester 1 - Dual-Delivery |
|---|---|
| Fees | Look up fees |
AIMS
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.
INDICATIVE CONTENT
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:
- 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
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: 31 January 2024
Eligibility and requirements
Prerequisites
| Code | Name | Teaching period | Credit Points |
|---|---|---|---|
| SWEN90006 | Security & Software Testing | Semester 2 (Dual-Delivery - Parkville) |
12.5 |
OR
Admission into the MC-CS Master of Computer Science
OR
Admission into the 100pt Program course entry point in the MC-IT Master of Information Technology
AND
Selection of the Cyber Security specialisation (formal) in the MC-IT Master of Information Technology
Corequisites
None
Non-allowed subjects
None
Recommended background knowledge
| Code | Name | Teaching period | Credit Points |
|---|---|---|---|
| No longer available |
SWEN40004
Inherent requirements (core participation requirements)
The University of Melbourne is committed to providing students with reasonable adjustments to assessment and participation under the Disability Standards for Education (2005), and the Assessment and Results Policy (MPF1326). Students are expected to meet the core participation requirements for their course. These can be viewed under Entry and Participation Requirements for the course outlines in the Handbook.
Further details on how to seek academic adjustments can be found on the Student Equity and Disability Support website: http://services.unimelb.edu.au/student-equity/home
Last updated: 31 January 2024
Assessment
| Description | Timing | Percentage |
|---|---|---|
500 words each and requiring approximately 65 - 70 hours of work each. These assignments will be executed in pairs, and are due in weeks 4, 8, and 12 respectively. Intended Learning Outcomes (ILO's) 2 and 3 are addressed by the assignments.
| From Week 4 to Week 12 | 50% |
An examination. ILO's 1 to 3 are addressed by the end of semester written exam.
| End of semester | 50% |
Last updated: 31 January 2024
Dates & times
- Semester 1
Principal coordinator Toby Murray Mode of delivery Dual-Delivery (Parkville) Contact hours 36 hours, comprising of two 1 hour lectures and one 1 hour workshop per week Total time commitment 200 hours Teaching period 28 February 2022 to 29 May 2022 Last self-enrol date 11 March 2022 Census date 31 March 2022 Last date to withdraw without fail 6 May 2022 Assessment period ends 24 June 2022 Semester 1 contact information
Toby Murray
Time commitment details
200 hours
Last updated: 31 January 2024
Further information
- Texts
- Subject notes
LEARNING AND TEACHING METHODS
The subject will be delivered through a combination of lectures and hands-on workshops. Students will also complete three individual assignments and a pair-based project, which will reinforce the material covered in lectures.
INDICATIVE KEY LEARNING RESOURCES
A book of notes will be made available at the University of Melbourne bookshop at the start of the semester. In addition, handouts of seminal research papers and book chapters about major topics will be distributed to students.
CAREERS / INDUSTRY LINKS
The methods and principles in this subject are central to many safety-, mission-, and life-critical systems deployed today, such as transport control systems, automated manufacturing, and healthcare devices. Topics covered were chosen to reflect those methods and principles currently used in high-integrity systems engineering, and were informed by several industry experts from domains such as railway signalling and air-traffic management. Case studies used as part of the learning are real examples of critical systems from industry in which failure to operate dependably has resulted in serious injury, death, or severe damage.
Two lectures will be presented from industry-based lecturers who will describe the methods and principles used for analysis of safety-critical systems.
- Related Handbook entries
This subject contributes to the following:
Type Name Course Ph.D.- Engineering Course Doctor of Philosophy - Engineering Course Master of Philosophy - Engineering Specialisation (formal) Software with Business Specialisation (formal) Software - Available through the Community Access Program
About the Community Access Program (CAP)
This subject is available through the Community Access Program (also called Single Subject Studies) which allows you to enrol in single subjects offered by the University of Melbourne, without the commitment required to complete a whole degree.
Please note Single Subject Studies via Community Access Program is not available to student visa holders or applicants
Entry requirements including prerequisites may apply. Please refer to the CAP applications page for further information.
Additional information for this subject
Subject coordinator approval required.
- Available to Study Abroad and/or Study Exchange Students
Last updated: 31 January 2024