Browse by author
Lookup NU author(s): Professor Cliff JonesORCiD
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.
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
URL: http://dx.doi.org/10.1007/978-3-540-40007-3_13
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
