Toggle Main Menu Toggle Search

ePrints

A Formal Basis for some Dependability Notions

Lookup NU author(s): Professor Cliff Jones

Downloads


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.


Publication metadata

Author(s): Jones CB

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2003

Pages: 17

Print publication date: 01/01/2003

Source Publication Date: 2003

Report Number: 805

Institution: School of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne

URL: http://www.cs.ncl.ac.uk/publications/trs/papers/805.pdf


Share