Abstract
The application of Time Petri net modelling and analysis techniques to safety-critical real-time systems is explored and procedures described which allow analysis of safety, recoverability, and faulttolerance. These procedures can be used to help determine software requirements, to guide the use of fault detection and recovery procedures, to determine conditions which require immediate mitigating action to prevent accidents, etc. Thus it is possible to establish important properties during the synthesis of the system and software design instead of using guesswork and costly a posteriori analysis.
This work was partially supported by a MICRO grant co-funded by the State of California and Hughes Aircraft Co.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Azema, P., and Diaz, M. “Checking Experiments for Concurrent Systems,” FTCS-7, June 1977, p. 206.
Malasky, S.W. System Safety: Technology and Application, Garland STPM Press, New York, 1982.
Kopetz, H. “The Failure Fault (FF) Model,” FTCS-12, Santa Monica, Calif., June 1982, pp. 14–17.
Leveson, N.G. and Harvey, P.R. “Analyzing Software Safety,” IEEE Transactions on Software Engineering, vol. SE-9, no. 5, Sept. 1983.
Leveson, N.G. “Software Safety in Process-Control Systems,” IEEE Computer, February 1984.
Merlin, P.M. “A Study of the Recoverability of Computing Systems,” Ph.D. Thesis, Information and Computer Science Department, University of California, Irvine, 1974.
Merlin, P.M. and Farber, D.J. “Recoverability of Communication Protocols — Implications of a Theoretical Study,” IEEE Transactions on Communications, vol. COM-24, no. 9, September 1976, pp. 1036–1043.
MIL-STD-882b, System Safety Program Requirements, U.S. Department of Defense, April 1984.
Peterson, J.L. Petri Net Theory and the Modeling of Systems, Prentice Hall, 1981.
Vesely, W.E., Goldberg, F.F., Roberts, N.H., and Haasl, D.F. Fault Tree Handbook, NUREG-0492, U.S. Nuclear Regulatory Commission, January 1981.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1985 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Leveson, N.G., Stolzy, J.L. (1985). Analyzing safety and fault tolerance using Time Petri nets. In: Ehrig, H., Floyd, C., Nivat, M., Thatcher, J. (eds) Formal Methods and Software Development. TAPSOFT 1985. Lecture Notes in Computer Science, vol 186. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-15199-0_22
Download citation
DOI: https://doi.org/10.1007/3-540-15199-0_22
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-15199-9
Online ISBN: 978-3-540-39307-8
eBook Packages: Springer Book Archive