Note: This is an archived Handbook entry from 2014.
|Dates & Locations:|| |
This subject is not offered in 2014.
|Time Commitment:||Contact Hours: 36 hours, comprising of two one-hour lectures and one 1-hour workshop per week |
Total Time Commitment:
Study Period Commencement:
|Recommended Background Knowledge:||
Study Period Commencement:
|Non Allowed Subjects:|| |
|Core Participation Requirements:||
For the purposes of considering request for Reasonable Adjustments under the Disability Standards for Education (Cwth 2005), and Student Support and Engagement Policy, academic requirements for this subject are articulated in the Subject Overview, Learning Outcomes, Assessment and Generic Skills sections of this entry.
It is University policy to take all reasonable steps to minimise the impact of disability upon academic study, and reasonable adjustments will be made to enhance a student's participation in the University's programs. Students who feel their disability may impact on meeting the requirements of this subject are encouraged to discuss this matter with a Faculty Student Adviser and Student Equity and Disability Support: http://services.unimelb.edu.au/disability
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:
Hurdle requirement: To pass the subject, students must obtain:
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.
|Prescribed Texts:|| |
|Breadth Options:|| |
This subject is not available as a breadth subject.
|Fees Information:||Subject EFTSL, Level, Discipline & Census Date|
On completion of this subject students should have the following skills:
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.
Master of Philosophy - Engineering |
B-ENG Software Engineering stream |
Master of Engineering (Software with Business)
Master of Engineering (Software)
Download PDF version.