Petri Net and Fault Tree analysis : combining two techniques for a software safety analysis on an embedded military application
McGraw, Richard J. Jr.
Shimeall, Timothy J.
Nelson, Michael L.
MetadataShow full item record
Software safety ensures that software programs, which control complex systems, perform within certain limits without resulting in an unacceptable risk of an accident occurring. Petri Nets are used to model concurrent computer systems by helping to understand complex interactions and paths of execution. Fault Tree analysis is used to determine safety requirements by detecting software logic errors. They also identify multiple failure sequences in a system that can lead to safety hazards. Petri Nets and Fault Tree analysis can be combined and used in conjunction with each other. They can take advantage of each others inherent strengths. This combined methodology can provide an efficient and effective safety analysis technique. This thesis surveys software safety research and focuses on Petri Nets and Fault Tree analysis. We discuss an extended example combining Petri Nets and Fault Tree analysis. The example is a real-time, military embedded software application. We then indicate directions for further research.
Approved for public release; distribution is unlimited
Showing items related by title, author, creator and subject.
Warren, Bradley R. (Monterey, California. Naval Postgraduate School, 2008-03);This thesis concerns the effective and safe software reuse in safety-critical system-of-systems. Software reuse offers many unutilized benefits such as achieving rapid system development, saving resources and time, and ...
Gill, Janet A. (Monterey, California: Naval Postgraduate School, 1990-12);Fault trees and Petri nets are two widely accepted graphical tools used in the safety analysis of software. Because some software is life and property critical, thorough analysis techniques are essential. Independently ...
Cruickshank, Kristian John. (Monterey, California. Naval Postgraduate School, 2009-03);Validation of safety-critical software requirements is a difficult and frequently misunderstood task. It answers the question of "are we building the right product?" and is essential to Software Engineering. However, ...