A Formal Basis for some Dependability Notions (2003)

Author(s): Jones CB

    Abstract: This paper shows how formal methods ideas can be used to clarify basic notions used in the field of dependability. Central to this endeavour is fixing a notion of system. Relationships between systems are also considered: in particular, the importance of the situation where one system is generated by another (possibly human) system is explored. The formalisation is used as a basis for definitions of the notions of fault, error and failure. Some applications to examples from the dependability literature and extensions of the basic model of system are also sketched.

      • Date: 2003
      • Series Title: School of Computing Science Technical Report Series
      • Pages: 17
      • Institution: School of Computing Science, University of Newcastle upon Tyne
      • Publication type: Report
      • Bibliographic status: Published

      Keywords: Formal Methods, Dependability


      Professor Cliff Jones

      • Telephone: +44 191 208 8183