Publication Date
2006
Journal or Book Title
Software Process Change
Abstract
Defects in safety critical processes can lead to accidents that result in harm to people or damage to property. Therefore, it is important to find ways to detect and remove defects from such processes. Earlier work has shown that Fault Tree Analysis (FTA) [3] can be effective in detecting safety critical proc-ess defects. Unfortunately, it is difficult to build a comprehensive set of Fault Trees for a complex process, especially if this process is not completely well-defined. The Little-JIL process definition language has been shown to be effec-tive for defining complex processes clearly and precisely at whatever level of granularity is desired [1]. In this work, we present an algorithm for generating Fault Trees from Little-JIL process definitions. We demonstrate the value of this work by showing how FTA can identify safety defects in the process from which the Fault Trees were automatically derived.
Pages
150-158
Volume
3966
Book Series Title
Lecture Notes in Computer Science
Recommended Citation
Chen, Bin; Avrunin, George S.; Clarke, Lori A.; and Osterweil, Leon J., "Automatic fault tree derivation from Little-JIL process definitions" (2006). Software Process Change. 429.
Retrieved from https://scholarworks.umass.edu/cs_faculty_pubs/429