Title :
Safety Analysis Using Petri Nets
Author :
Leveson, Nancy G. ; Stolzy, Janice L.
Author_Institution :
Department of Information and Computer Science, University of California
fDate :
3/1/1987 12:00:00 AM
Abstract :
The application of Time Petri net modeling and analysis techniques to safety-critical real-time systems is explored and procedures described which allow analysis of safety, recoverability, and fault-tolerance.
Keywords :
Fault-tolerance; Petri-nets; requirements; software reliability; software safety; Aerospace safety; Air traffic control; Application software; Hardware; Hazards; Humans; Petri nets; Real time systems; Software safety; Timing; Fault-tolerance; Petri-nets; requirements; software reliability; software safety;
Journal_Title :
Software Engineering, IEEE Transactions on
DOI :
10.1109/TSE.1987.233170
