Citation
Stavros Tripakis. "A Combined On-Line/Off-Line Framework for Black-Box Fault Diagnosis". Runtime Verification (RV'09), LNCS, Springer, 152-167, September, 2009.

Abstract
We propose a framework for fault diagnosis that relies on a formal specification that links system behavior and faults. This specification is not intended to model system behavior, but only to capture relationships between properties of system behavior (defined separately) and the faults. In this paper we use a simple specification language: assertions written in propositional logic (possible extensions are also discussed). These assertions can be used together with a combined on-line/off-line diagnostic system to provide a symbolic diagnosis, as a propositional formula that represents which faults are known to be present or absent. Our framework guarantees monotonicity (more knowledge about properties implies more knowledge about faults) and allows to explicitly talk about diagnosability, implicit assumptions on behaviors or faults, and consistency of specifications. State-of-the-art diagnosis frameworks, in particular from the automotive domain, can be cast and generalized in our framework.

Electronic downloads

• http://www-verimag.imag.fr/~tripakis/papers/rv09.pdf. (Preprint)
• http://www.springerlink.com/content/b34151n906150p50/. (Springer online link)

• HTML

  Stavros Tripakis. <a
  href="http://chess.eecs.berkeley.edu/pubs/660.html"
  >A Combined On-Line/Off-Line Framework for Black-Box
  Fault Diagnosis</a>, Runtime Verification (RV'09),
  LNCS, Springer, 152-167, September, 2009.

• Plain text

  Stavros Tripakis. "A Combined On-Line/Off-Line
  Framework for Black-Box Fault Diagnosis". Runtime
  Verification (RV'09), LNCS, Springer, 152-167, September,
  2009.

• BibTeX

  @inproceedings{Tripakis09_CombinedOnLineOffLineFrameworkForBlackBoxFaultDiagnosis,
      author = {Stavros Tripakis},
      title = {A Combined On-Line/Off-Line Framework for
                Black-Box Fault Diagnosis},
      booktitle = {Runtime Verification (RV'09)},
      organization = {LNCS, Springer},
      pages = {152-167},
      month = {September},
      year = {2009},
      abstract = {We propose a framework for fault diagnosis that
                relies on a formal specification that links system
                behavior and faults. This specification is not
                intended to model system behavior, but only to
                capture relationships between properties of system
                behavior (defined separately) and the faults. In
                this paper we use a simple specification language:
                assertions written in propositional logic
                (possible extensions are also discussed). These
                assertions can be used together with a combined
                on-line/off-line diagnostic system to provide a
                symbolic diagnosis, as a propositional formula
                that represents which faults are known to be
                present or absent. Our framework guarantees
                monotonicity (more knowledge about properties
                implies more knowledge about faults) and allows to
                explicitly talk about diagnosability, implicit
                assumptions on behaviors or faults, and
                consistency of specifications. State-of-the-art
                diagnosis frameworks, in particular from the
                automotive domain, can be cast and generalized in
                our framework. },
      URL = {http://chess.eecs.berkeley.edu/pubs/660.html}
  }
  

Posted by Stavros Tripakis on 17 Feb 2010.
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.