Citation
Mark McKelvin, Claudio Pinello, Sri Kanajan, Alberto Sangiovanni-Vincentelli. "Model-Based Design of Heterogeneous Systems for Fault Tree Analysis". 24th International System Safety Conference, Rodney J. Simmons, Ph.D., Norman J. Gauthier (eds.), System Safety Society, 400-409, August, 2006.

Abstract
We introduce a model-based approach to heterogeneous system design that enables the automatic generation of fault trees for analyzing system reliability properties. This approach extends our previous work that addressed the generation of fault trees from a dataflow model. In this new context, heterogeneous systems are composed of interacting discrete-time components, such as an electronic feedback controller, and continuous-time components, such as a plant. More recent work in computer-aided fault-tree generation methods is based on functional models of the system to produce a system fault tree automatically. Yet, most of these approaches were not applied to heterogeneous systems. Furthermore, these approaches continued to rely on intuition to create fault trees. Since in this approach fault tree generation is disjoint from the system modeling, consistency problems may arise when the structure and behavior of the system model is not accurately reflected. Our approach is different since we use a model of the system specified as a set of mathematical equations to derive the system fault modes and ultimately produce fault trees for heterogeneous systems.

Electronic downloads

• mckelvin_Issc2006_final.pdf · application/pdf · 153 kbytes

• HTML

  Mark McKelvin, Claudio Pinello, Sri Kanajan, Alberto
  Sangiovanni-Vincentelli. <a
  href="http://chess.eecs.berkeley.edu/pubs/231.html"
  >Model-Based Design of Heterogeneous Systems for Fault
  Tree Analysis</a>, 24th International System Safety
  Conference, Rodney J. Simmons, Ph.D., Norman J. Gauthier
  (eds.), System Safety Society, 400-409, August, 2006.

• Plain text

  Mark McKelvin, Claudio Pinello, Sri Kanajan, Alberto
  Sangiovanni-Vincentelli. "Model-Based Design of
  Heterogeneous Systems for Fault Tree Analysis". 24th
  International System Safety Conference, Rodney J. Simmons,
  Ph.D., Norman J. Gauthier (eds.), System Safety Society,
  400-409, August, 2006.

• BibTeX

  @inproceedings{McKelvinPinelloKanajanSangiovanniVincentelli06_ModelBasedDesignOfHeterogeneousSystemsForFaultTreeAnalysis,
      author = {Mark McKelvin and Claudio Pinello and Sri Kanajan
                and Alberto Sangiovanni-Vincentelli},
      title = {Model-Based Design of Heterogeneous Systems for
                Fault Tree Analysis},
      booktitle = {24th International System Safety Conference},
      editor = {Rodney J. Simmons, Ph.D., Norman J. Gauthier},
      organization = {System Safety Society},
      pages = {400-409},
      month = {August},
      year = {2006},
      abstract = {We introduce a model-based approach to
                heterogeneous system design that enables the
                automatic generation of fault trees for analyzing
                system reliability properties. This approach
                extends our previous work that addressed the
                generation of fault trees from a dataflow model.
                In this new context, heterogeneous systems are
                composed of interacting discrete-time components,
                such as an electronic feedback controller, and
                continuous-time components, such as a plant. More
                recent work in computer-aided fault-tree
                generation methods is based on functional models
                of the system to produce a system fault tree
                automatically. Yet, most of these approaches were
                not applied to heterogeneous systems. Furthermore,
                these approaches continued to rely on intuition to
                create fault trees. Since in this approach fault
                tree generation is disjoint from the system
                modeling, consistency problems may arise when the
                structure and behavior of the system model is not
                accurately reflected. Our approach is different
                since we use a model of the system specified as a
                set of mathematical equations to derive the system
                fault modes and ultimately produce fault trees for
                heterogeneous systems.},
      URL = {http://chess.eecs.berkeley.edu/pubs/231.html}
  }
  

Posted by Mark McKelvin, Jr. on 12 May 2007.
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.