Toggle Main Menu Toggle Search

Open Access padlockePrints

A formal basis for some dependability notions

Lookup NU author(s): Professor Cliff Jones


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


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

Editor(s): Aichernig, B.K., Maibaum, T.

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST

Year of Conference: 2003

Pages: 191-206

ISSN: 0302-9743 (print) 1611-3349 (online)

Publisher: Springer


DOI: 10.1007/978-3-540-40007-3_13

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783540205272