NASA Logo

NTRS

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
19930046979
Document Type
Conference Paper
Authors
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
AIAA, AHS, and ASEE, Aerospace Design Conference(Irvine, CA)
Distribution Limits
Public
Copyright
Other
No Preview Available