NTRS - NASA Technical Reports Server

Back to Results
Development of a methodology for assessing the safety of embedded software systemsA Dynamic Flowgraph Methodology (DFM) based on an integrated approach to modeling and analyzing the behavior of software-driven embedded systems for assessing and verifying reliability and safety is discussed. DFM is based on an extension of the Logic Flowgraph Methodology to incorporate state transition models. System models which express the logic of the system in terms of causal relationships between physical variables and temporal characteristics of software modules are analyzed to determine how a certain state can be reached. This is done by developing timed fault trees which take the form of logical combinations of static trees relating the system parameters at different point in time. The resulting information concerning the hardware and software states can be used to eliminate unsafe execution paths and identify testing criteria for safety critical software functions.
Document ID
Document Type
Conference Paper
Garrett, C. J.
(NASA Hugh L. Dryden Flight Research Facility Edwards, CA, United States)
Guarro, S. B.
(NASA Hugh L. Dryden Flight Research Facility Edwards, CA, United States)
Apostolakis, G. E.
(California Univ. Los Angeles, United States)
Date Acquired
August 16, 2013
Publication Date
February 1, 1993
Subject Category
Computer Systems
Report/Patent Number
AIAA PAPER 93-1087
Meeting Information
Meeting: AIAA, AHS, and ASEE, Aerospace Design Conference
Location: Irvine, CA
Country: United States
Start Date: February 16, 1993
End Date: February 19, 1993
Sponsors: AHS, ASEE, AIAA
Accession Number
Distribution Limits

Available Downloads

There are no available downloads for this record.
No Preview Available