Towards a formal framework for reasoning about the resilience of dynamic interactive systems

Authors:
Paolo Masci;Paul Curzon;Huayi Huang;Rimvydas Rukšėnas;Ann Blandford;Dominic Furniss;Atish Rajkomar
Affiliations:
Queen Mary University of London;Queen Mary University of London;Queen Mary University of London;Queen Mary University of London;University College, London;University College, London;University College, London
Venue:
EWDC '11 Proceedings of the 13th European Workshop on Dependable Computing
Year:
2011

Citing 4
Cited 0

Failure-free coordinators synthesis for component-based architectures

Science of Computer Programming
Verification-guided modelling of salience and cognitive load

Formal Aspects of Computing
Towards Automated Dependability Analysis of Dynamically Connected Systems

ISADS '11 Proceedings of the 2011 Tenth International Symposium on Autonomous Decentralized Systems
DiCoT: a methodology for applying distributed cognition to the design of teamworking systems

DSVIS'05 Proceedings of the 12th international conference on Interactive Systems: design, specification, and verification

Quantified Score

Hi-index	0.00

Visualization

Abstract

It is well known that systems built with resilient components are not necessarily resilient systems. Nevertheless, when studying the resilience of work systems characterised by continuous inter-operations among humans and devices, analysts generally concentrate only on localised interactions among humans and devices. Consequently they fail to capture the distributed nature of the mechanisms that guide interactions in dynamic interactive systems. In this paper, as a result of work on the resilience of medical systems with respect to human error, we propose a framework for reasoning about the resilience of complex dynamic interactive systems. To do this we exploit concepts from three different areas: the automated synthesis of resilient systems, formal methods for user-centred design, and distributed cognition.