Background - Using Event-B for Critical Device Software Systems - page 15

Fig. 2.1 Safety life-cycle
(adapted from [ 53 ])
2.4 The Safety Life-Cycle for Critical Systems
Safety is a most important system property, that should be methodically analysed
along the system life-cycle. A number of standards and recommended practices de-
fine the processes and the objectives of the safety life-cycle, such as IEC 61598 [ 53 ],
MODEF [ 30 ]. Figure 2.1 depicts a stepwise implementation of the system develop-
ment safety life-cycle. The main objective of this development cycle is to guide
system designers and developers in what they need to do in order to claim that their
systems are acceptably safe for their intended uses. The purpose of the overall safety
life-cycle is to force safety to be addressed independently of functional issues, thus
overcoming the assumption that functional reliability will automatically produce