Assessing digital control system dependability using the dynamic flowgraph methodology
Conference
·
· Transactions of the American Nuclear Society; (United States)
OSTI ID:6911992
- Univ. of California, Los Angeles, CA (United States)
Dynamic Flowgraph Methodology (DFM) is a 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: (a) to identify how certain postulated events may occur in a system and (b) 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 (multistate analog 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.
- OSTI ID:
- 6911992
- Report Number(s):
- CONF-931160--
- Conference Information:
- Journal Name: Transactions of the American Nuclear Society; (United States) Journal Volume: 69
- Country of Publication:
- United States
- Language:
- English
Similar Records
Logic flowgraph: a new approach to process failure modeling and diagnosis for disturbance analysis applications
Dynamic flowgraph methodology as a tool for process control software PRA
On-line diagnosis and recovery of adversary attack using logic flowgraph methodology simulation
Thesis/Dissertation
·
Fri Dec 31 23:00:00 EST 1982
·
OSTI ID:6308397
Dynamic flowgraph methodology as a tool for process control software PRA
Journal Article
·
Fri Dec 30 23:00:00 EST 1994
· Transactions of the American Nuclear Society
·
OSTI ID:75988
On-line diagnosis and recovery of adversary attack using logic flowgraph methodology simulation
Conference
·
Tue Dec 31 23:00:00 EST 1985
·
OSTI ID:6073307