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 PDF PS