March 2015
Intermediate to advanced
816 pages
36h 46m
English
The objective of this chapter is to explain techniques that are used to ensure safety when developing critical systems. When you have read this chapter, you will:
understand what is meant by a safety-critical system and why safety has to be considered separately from reliability in critical systems engineering;
understand how an analysis of hazards can be used to derive safety requirements;
know about processes and tools that are used for software safety assurance;
understand the notion of a safety case that is used to justify the safety of a system to regulators, and how formal arguments may be used in safety cases.
Read now
Unlock full access