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.
RightsThis publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.
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 ...
Rivera, Joey; Luqi; Berzins, Valdis (Monterey, California. Naval Postgraduate School, 2009-09-01); NPS-AM-09-145This paper describes the research and progress made during FY09 at the Naval Postgraduate School on a Software Systems Safety Review Panel (SSSTRP) Requirements Framework. Accomplishments made in FY09 include the discovery ...
Luqi; Puett, J. (Monterey, California. Naval Postgraduate School, 2002-07); NPS-SW-02-006Objectives. The goal of this research is to develop a holistic framework for engineering dependable computing and communications software. The framework establishes collaborative mechanisms by which existing software ...