28.12.2013 Views

Slides - Åbo Akademi

Slides - Åbo Akademi

Slides - Åbo Akademi

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!