Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Q. Wang et al. (Eds.): SPW/ProSim 2006, LNCS 3966, pp. 150 158, 2006. Springer-Verlag Berlin Heidelberg 2006
 

Summary: Q. Wang et al. (Eds.): SPW/ProSim 2006, LNCS 3966, pp. 150 158, 2006.
Springer-Verlag Berlin Heidelberg 2006
Automatic Fault Tree Derivation from Little-JIL
Process Definitions
Bin Chen, George S. Avrunin, Lori A. Clarke, and Leon J. Osterweil
Department of Computer Science, University of Massachusetts,
Amherst, MA 01003, USA
{chenbin, avrunin, clarke, ljo}@cs.umass.edu
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.

  

Source: Avrunin, George S. - Department of Mathematics and Statistics, University of Massachusetts at Amherst

 

Collections: Mathematics