Skip to Content

This is archived information!

Search current Handbook for current unit information.

Software Engineering for Critical Systems - ITEC825

Designing, building and maintaining critical systems is more complex than any other type of software engineering. The aim of this unit is to equip students with standards-based skills in analytical tools, architectural design, and the organisational and human-factors context of safety-critical systems. Students will investigate non-functional requirements, including reliability and maintainability, as well as engineering tools and processes for high-integrity programming. The unit will involve a practical component of case study work based on formal methods.

Credit Points: 4
When Offered:

TBD - To be determined

Staff Contact(s): Computing staff
Prerequisites:

COMP332 or COMP333 Prerequisite Information

Corequisites:

NCCW(s):
Unit Designation(s):
Assessed As: Graded
Offered By:

Department of Computing

Faculty of Science

Timetable Information

For unit timetable information please visit the Timetables@Macquarie Website