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(opens in new window)
Contact information
Semester 1
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
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.
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: 3 November 2022
Eligibility and requirements
Prerequisites
Code | Name | Teaching period | Credit Points |
---|---|---|---|
SWEN90006 | Security & Software Testing | Semester 2 (On Campus - Parkville) |
12.5 |
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: 3 November 2022
Assessment
Additional details
- 500 words each and requiring approximately 65 - 70 hours of work each (50%). These assignments will be executed in pairs, and are due in weeks 4, 8, and 12 respectively. intended Learning Outcomes (ILOs) 2 and 3 are addressed by the assignments
- A two-hour end-of-semester examination (50%). ILOS 1-3 are addressed by the end-of-semester written exam.
Hurdle requirement: To pass the subject, students must obtain:
- At least 50% overall;
- At least 50% (25/50) in project work; and
- At least 50% (25/50) in the written examination.
Intended Learning Outcomes (ILOs) 2 and 3 are addressed by the three assignments and the pair project.
ILOs 1-3 are addressed by the end-of-semester written exam.
Last updated: 3 November 2022
Dates & times
- Semester 1
Principal coordinator Toby Murray Mode of delivery On Campus (Parkville) Contact hours 36 hours, comprising of two one-hour lectures and one 1-hour workshop per week Total time commitment 200 hours Teaching period 4 March 2019 to 2 June 2019 Last self-enrol date 15 March 2019 Census date 31 March 2019 Last date to withdraw without fail 10 May 2019 Assessment period ends 28 June 2019 Semester 1 contact information
Time commitment details
200 hours
Last updated: 3 November 2022
Further information
- Texts
Prescribed texts
None
- 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 Master of Philosophy - Engineering Course Ph.D.- 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.
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
Last updated: 3 November 2022