Handbook home
High Integrity Systems Engineering (SWEN90010)
Graduate courseworkPoints: 12.5On Campus (Parkville)
About this subject
- Overview
- Eligibility and requirements
- Assessment
- Dates and times
- Further information
- Timetable (login required)(opens in new window)
Contact information
Semester 1
Toby Murray
Overview
| Availability | Semester 1 |
|---|---|
| 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 (On Campus - 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 On Campus (Parkville) Contact hours 36 hours, comprising of two 1-hour lectures and one 1-hour tutorial per week Total time commitment 200 hours Teaching period 26 February 2024 to 26 May 2024 Last self-enrol date 8 March 2024 Census date 3 April 2024 Last date to withdraw without fail 3 May 2024 Assessment period ends 21 June 2024 Semester 1 contact information
Toby Murray
Time commitment details
200 hours
What do these dates mean
Visit this webpage to find out about these key dates, including how they impact on:
- Your tuition fees, academic transcript and statements.
- And for Commonwealth Supported students, your:
- Student Learning Entitlement. This applies to all students enrolled in a Commonwealth Supported Place (CSP).
Subjects withdrawn after the census date (including up to the ‘last day to withdraw without fail’) count toward the Student Learning Entitlement.
Last updated: 31 January 2024
Further information
- Texts
Prescribed texts
There are no specifically prescribed or recommended texts for this subject.
- 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 Doctor of Philosophy - Engineering Course Ph.D.- Engineering Course Master of Philosophy - Engineering Specialisation (formal) Software Specialisation (formal) Software with Business - 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.
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
This subject is available to students studying at the University from eligible overseas institutions on exchange and study abroad. Students are required to satisfy any listed requirements, such as pre- and co-requisites, for enrolment in the subject.
Last updated: 31 January 2024