Automatic Fault Tree Derivation from Little-JIL Process Definitions

Chen, Bin; Avrunin, George S.; Clarke, Lori A.; Osterweil, Leon J.

doi:10.1007/11754305_17

Cited by 25 publications

(14 citation statements)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…There was one study that models a system using RIDL, and generates a fault tree based on this [3]. Research to generate a fault tree from system tasks seen as a pattern of faults using the Little-JIL language was conducted [4]. A study generating a fault tree using a system block diagram and a mini cause-and-effect tree was introduced [5].…”

Section: Related Workmentioning

confidence: 99%

Run-Time Fault Detection Using Automatically Generated Fault Tree Based on UML

Kim

Ghang

Lee

2012

Convergence and Hybrid Information Technology

View full text Add to dashboard Cite

Abstract. Systems become more complex and bigger, therefore management effort and costs for management are increasing rapidly. Especially enormous human and financial damages are caused if it fails to perform assigned duties, the ability to recover and to identify the cause is essential. In this paper, a method to identify faults in runtime is proposed. Fault tree is automatically generated from the system design documentation. These methods minimize human mistakes and missing information while generating fault tree. We show that generated fault tree could be used for fault localization in run-time, and monitoring overhead could be reduced by example.

show abstract

Section: Related Workmentioning

confidence: 99%

Run-Time Fault Detection Using Automatically Generated Fault Tree Based on UML

Kim

Ghang

Lee

2012

Convergence and Hybrid Information Technology

View full text Add to dashboard Cite

show abstract

“…In [10] fault trees are extracted from UML system models. In [11] an algorithm for generating fault trees from Little-JIL process definitions is presented. All of these, however, remain within a limited technical scope, not quite connecting systems to the business side.…”

Section: Related Workmentioning

confidence: 99%

Probabilistic availability analysis of control and automation systems for active distribution networks

2010

View full text Add to dashboard Cite

The future smart electricity grids will exhibit tight integration between control and automation systems and primary power system equipment. Optimal and safe operation of the power system will be completely dependent on well functioning information and communication (ICT) systems. Considering this, it is essential that the control and automation systems do not constitute the weak link in ensuring reliable power supply to society. At the same time, studies of reliability when considering complex interdependencies between integrated ICT systems becomes increasingly difficult to perform due to the large amount of integrated entities with varying characteristics involved. To manage this challenge there is a need for structured modeling and analysis methods that accommodate this characteristics and interdependencies. In other fields, the analysis of large interconnected systems is done using models that capture the systems and its context as well as its components and interactions. This paper addresses this issue by combining enterprise architecture methods that utilize these modeling concepts, with fault tree analysis and probabilistic relational models. This novel approach enables a holistic overview thanks to the use of formalized models. It also allows use of rigorous analysis thanks to the adaptation of the models to enable Fault Tree Analysis. The paper is concluded with an example of application of the analysis method on a proposed smart grid function in a distribution network.

show abstract

“…We will also demonstrate how Fault Trees can be generated from Little-JIL process definitions [10], and show how their analysis can be used to complement the finite-state verifications generated using FLAVERS. Finite-state verification can be used to identify defects in a process definition that result from the occurrence of undesired sequences of process events (e.g.…”

Section: Fault Tree Analysismentioning

confidence: 99%

An Integrated Collection of Tools for Continuously Improving the Processes by Which Health Care Is Delivered: A Tool Report

Osterweil

Clarke

Avrunin

2010

Business Process Management Workshops

Self Cite

View full text Add to dashboard Cite

Abstract:This report will present a collection of tools that supports the precise definition, careful analysis, and execution of processes that coordinate the actions of humans, automated devices, and software systems for the delivery of health care. The tools have been developed over the past several years and are currently being evaluated through their application to four health care processes, blood transfusion, chemotherapy, emergency department operations, and identity verification. The tools are integrated with each other using the Eclipse framework or through the sharing of artifacts so that the internal representations generated by one might be used to expedite the actions of others. This integrated collection of tools is intended to support the continuous improvement of health care delivery processes. The process definitions developed through this framework are executable and are intended for eventual use in helping to guide actual health care workers in the performance of their activities, including the utilization of medical devices and information systems.

show abstract

Automatic Fault Tree Derivation from Little-JIL Process Definitions

Cited by 25 publications

References 8 publications

Run-Time Fault Detection Using Automatically Generated Fault Tree Based on UML

Run-Time Fault Detection Using Automatically Generated Fault Tree Based on UML

Probabilistic availability analysis of control and automation systems for active distribution networks

An Integrated Collection of Tools for Continuously Improving the Processes by Which Health Care Is Delivered: A Tool Report

Contact Info

Product

Resources

About