THE DYNAMIC FLOWGRAPH METHODOLOGY FOR ASSESSING THE DEPENDABILITY OF EMBEDDED SOFTWARE SYSTEMS

被引:51
作者
GARRETT, CJ
GUARRO, SB
APOSTOLAKIS, GE
机构
[1] School of Engineering and Applied Science, University of California, Los Angeles
来源
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS | 1995年 / 25卷 / 05期
基金
美国国家航空航天局;
关键词
D O I
10.1109/21.376495
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
The Dynamic Flowgraph Methodology (DFM) is an integrated methodological approach to modeling and analyzing the behavior of software-driven embedded systems for the purpose of reliability/safety assessment and verification, The methodology has two fundamental goals: 1) to identify how certain postulated events may occur in a system; and 2) to identify an appropriate testing strategy based on an analysis of system functional behavior, To achieve these goals, the methodology employs a modeling framework in which system models are developed in terms of causal relationships between physical variables and temporal characteristics of the execution of software modules, These models are then analyzed to determine how a certain state (desirable or undesirable) can be reached, This is done by developing timed fault trees which take the form of logical combinations of static trees relating system parameters at different points in time. The prime implicants (multi-state analogue of minimal cut sets) of the fault trees can be used to identify and eliminate system faults resulting from unanticipated combinations of software logic errors, hardware failures and adverse environmental conditions, and to direct testing activity to more efficiently eliminate implementation errors by focusing on the neighborhood of potential failure modes arising from these combinations of system conditions.
引用
收藏
页码:824 / 840
页数:17
相关论文
共 40 条
[1]  
Caldarola L, 1980, SYNTHESIS ANAL METHO, P199
[2]  
Cha S. S., 1988, Proceedings of the 10th International Conference on Software Engineering (Cat. No.88CH2554-4), P377, DOI 10.1109/ICSE.1988.93718
[3]  
DEMILLO RA, 1987, SOFTWARE TESTING EVA
[4]   MULTIPLE-VALUED LOGIC TREES - MEANING AND PRIME IMPLICANTS [J].
GARRIBBA, S ;
GUAGNINI, E ;
MUSSIO, P .
IEEE TRANSACTIONS ON RELIABILITY, 1985, 34 (05) :463-472
[5]   SOFTWARE-RELIABILITY MODELS - ASSUMPTIONS, LIMITATIONS, AND APPLICABILITY [J].
GOEL, AL .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1985, 11 (12) :1411-1423
[6]  
GUARRO S, 1985, UCLAENG8507
[7]  
GUARRO SB, 1988, RELIABILITY ENG SYST, V22
[8]  
GUARRO SB, 1990, UCLAENG9025
[9]  
GUARRO SB, 1991, FEB P INT C PROB SAF
[10]  
GUARRO SB, 1987, SEP INT TOP M ART IN