2009 Course Handbook
ITEC825: Software Engineering for Critical Systems
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 |
| Contact Hours: | -- |
| When Offered: | 2010 - offered in 2010 |
| Staff Contact: | Computing staff |
| Prerequisites: | |
| Corequisites: | |
| NCCWs: | |
| Unit Designations: | -- |
| Assessed As: | Graded |
| Offered By: |
Faculty of Science |