Assessing the Dependability of Embedded Software Systems Using the Dynamic Flowgraph Methodology

摘要: The Dynamic Flowgraph Methodology (DFM) is an integrated methodological approach to modeling and analyzing the behavior of software-driven embedded systems for purpose dependability assessment verification. methodology has two fundamental goals: 1) identify how events can occur in a system; 2) appropriate testing strategy based on analysis system functional behavior. To achieve these goals, employs framework which models expressing logic being analyzed are developed terms causal relationships between physical variables temporal characteristics execution software modules. These then determined certain state (desirable or undesirable) be reached. This done by developing timed fault trees take form logical combinations static relating parameters at different points time. resulting information concerning hardware states that lead interest used increase confidence system, eliminate unsafe paths, criteria safety critical functions.