Abstract
Prevailing approaches to ensuring safety in critical systems are based on two complementary strategies: prevention of failures and deployment of defensive techniques against failures. The former addresses safety concerns by eliminating design errors and by adhering to proven rules of operational practice. The latter, on the other hand, consists of various means to contain failures in hazardous processes and to mitigate the consequences of any failures. Formal methods are important in both respects, but are better established in the area of the former, namely in the elimination of design errors. However, there is no reason why formal methods cannot be employed the design of safety mechanisms that deal with failures. This chapter illustrates how this can be achieved in the specification area, giving at the same time some idea as to the nature of safety requirements.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag London Limited
About this chapter
Cite this chapter
Nissanke, N. (1999). Specification of Safety. In: Formal Specification. Springer, London. https://doi.org/10.1007/978-1-4471-0791-0_9
Download citation
DOI: https://doi.org/10.1007/978-1-4471-0791-0_9
Publisher Name: Springer, London
Print ISBN: 978-1-85233-002-6
Online ISBN: 978-1-4471-0791-0
eBook Packages: Springer Book Archive