Abstract
The paper presents a formal approach to development of safety related systems. The underlaying formalism refered to throughout the paper is temporal logic. It is discussed how the formalism can be used to support a direct expression of the requirements and to support analysis which demonstrates that safety is preserved by the subsequent development steps.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Gorski, J., Design for safety using temporal logic. Proc. SAFECOMP’86, Sarlat, France, 1986.
Guidelines to Design Computer Systems for Safety., Ed. G. Dahl, EWICS TC7, WP-448/6, 1986.
Leveson, N.G., Stolzy, E., Safety analysis using Petri nets. Proc. FTCS-15, Ann Abor, Michigan, 1985.
Manna, Z., Pnueli, A., Proving precedence properties: The temporal way. Rep. STAN-CS-83–964, Dep. Comp. Sei., Stanford Univ., 1983.
Manna, Z., Pnueli, A., Verification of Concurrent Programs: A Temporal Proof System. Department of Computer Science, Stanford University, Report No. STAN-CS-83–967, 1983.
Nguyen A., Demers A., Gries D., Owicki S., A model and temporal proof system for networks of processes. Distributed Computing, 1(1), 1986.
Gorski, J., Temporal logic approach to safety systems. EWICS TC7, WP 575, March 1987.
Laprie, J.-C, The dependability approach to critical systems. Proc. SAFECOMP’86, Sarlat, France, 1986.
Gorski, J., Using temporal logic for specification and analysis of safety related systems. Proc. RELCOMEX’87, Zamek Ksiaz., Poland, 1987.
Hoare, C. A. R., Communicating sequential processes. Commun. ACM, vol. 21, no. 8, 1978.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1987 Elsevier Applied Science Publishers Ltd
About this chapter
Cite this chapter
Gorski, J. (1987). Formal Support for Development of Safety Related Systems. In: Daniels, B.K. (eds) Achieving Safety and Reliability with Computer Systems. Springer, Dordrecht. https://doi.org/10.1007/978-94-009-3461-0_2
Download citation
DOI: https://doi.org/10.1007/978-94-009-3461-0_2
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-8050-7
Online ISBN: 978-94-009-3461-0
eBook Packages: Springer Book Archive