Review Questions for Semi-final Examination 1. What are the principal types of critical system?

Why is dependability particularly important for critical systems? What are the two most important high-level dependability requirements for the insulin pump? What are the principal dependability dimensions? What is the distinction between reliability and availability? Explain how an unreliable system can be a high-availability system. What is the definition of the safety property? What damage can result if a system is insecure? Explain why an insecure system cannot be shown to be dependable List five approaches to development that might be used in critical systems development Describe the three types of dependability requirement. What is risk-based specification? What activities are part of the process of risk analysis? What are the risk classes that are normally used in critical systems? What are the three possible strategies that can be used for risk reduction? What are safety integrity requirements? List four types of security requirement. Under what circumstances would Mean Time to Failure be an appropriate reliability metric? What measurements may be made when assessing the reliability of a system? What are the steps involved in establishing a reliability specification?

CASE STUDY: To be submitted during semifinal exam.

The Airbus 340 flight control system