Abstract
My experience in the application of formal methods covers process algebra, higher-order logic and temporal logic. I have had some success in applying these methods in the analysis of certain aspects of a computer controlled railway signalling system. In seeking to improve confidence in the design and overall safety of these systems, the challenge was to implement a means to mechanically verify the correctness of the data driving the generic control program. The main difficulty is perhaps unsurprising: it is very hard to bridge the divide between theoretical computer science (the needs of formal methods) and engineering practice (in this case, the needs of signal engineers).
National Research Centre for Computer Science, System Design Technology Institute, Schloss Birlinghoven
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 Springer-Verlag/Wien
About this paper
Cite this paper
Morley, M.J. (1995). Formal Methods for Safety in Critical Systems. In: Cristian, F., Le Lann, G., Lunt, T. (eds) Dependable Computing for Critical Applications 4. Dependable Computing and Fault-Tolerant Systems, vol 9. Springer, Vienna. https://doi.org/10.1007/978-3-7091-9396-9_5
Download citation
DOI: https://doi.org/10.1007/978-3-7091-9396-9_5
Publisher Name: Springer, Vienna
Print ISBN: 978-3-7091-9398-3
Online ISBN: 978-3-7091-9396-9
eBook Packages: Springer Book Archive