Slides - Åbo Akademi
Slides - Åbo Akademi
Slides - Åbo Akademi
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Safety-critical Systems<br />
• Pervasive use of computer-based systems in many critical<br />
infrastructures<br />
• flight/traffic control, driverless trains/cars operation, nuclear<br />
plant monitoring, robotic surgery, military applications, etc.<br />
• Extremely high reliability requirements for safety-critical<br />
systems<br />
• avionics domain example: failure rate ≤ 10 −9 failures per hour,<br />
i.e., more than a hundred years of operation without<br />
encountering a failure