Computers are increasingly used in systems where safety is paramount, such as transport, power systems and medical applications. An understanding of the techniques necessary to implement robust approaches has become vitally important.
- The principal objective of this course is to give students an opportunity to acquire knowledge in the development of safety critical systems, including the theory and practice of applying safety analysis and formal specification techniques.
- Students will also gain experience in the use of such specifications in software development and testing.
|Attachment Name||Attachment Type|
|CMP3206 Safety Critical System||DOC||PS|