12.9 Review
Having completed this chapter, you should now:
- Understand the key features and requirements of mission-critical and safety-critical systems
- Be able to estimate appropriate severity levels, failure probabilities, and failure rates for your own designs
- Understand why and how formal methods are used in the specification of critical systems
- Appreciate the many and varied errors that can arise when carrying out numerical (especially floating-point) computations
- Be able to produce a set of basic guidelines for the production of high-quality application software
- Appreciate why, in critical systems, special attention needs to be paid to the handling of real-world signals
- Know how to apply fault detection and handling methods to such input-output signals
- Realize that ordinary commercial RTOSs are unsuitable for use in safety-critical applications
- Know what features are needed in RTOSs to provide secure operation
- Understand how software...
