A safety critical system is a system whose incorrect function may have serious consequences such as loss of human life, severe injuries, environmental damage, or considerable economical penalties. Areas where safety-critical computer systems are applied include industry (robots and manufacturing control), transport (aircraft-, train control and computer systems at the road side), communication, medicine, military and nuclear and water power plant control. We are also seeing Web shops, Internet banking as new fields. These systems are for a human point of view critical in that sense that they need safeguards, security measure and trusted systems and functions to get safety in use. Safety critical systems also must deal with securing the data that is used in their operation. The course gives an approach (fix before fly) to the requirement process (risk driven specification, safety and security specification) to be designed for safety. The aim is to prevent an accident before using critical systems. How to analyze the situation after an accident/incident event has happened (a traditional approach, fly-fix-fly ) is also important. Contents: - Principals for critical systems - Requirement and safety aspects of design of critical systems - Safety analysis and management safety - Fault tolerant architecture and integration - Lifecycle models and standard

Duration: November-January