UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

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

Masci, P; Curzon, P; Huang, H; Rukšenas, R; Blandford, A; Furniss, D; Rajkomar, A; (2011) Towards a formal framework for reasoning about the resilience of dynamic interactive systems. In: ACM International Conference Proceeding Series. (pp. 109 - 110).

Full text not available from this repository.

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. Copyright © 2011 ACM.

Type:Proceedings paper
Title:Towards a formal framework for reasoning about the resilience of dynamic interactive systems
DOI:10.1145/1978582.1978606
UCL classification:UCL > School of Life and Medical Sciences > Faculty of Brain Sciences > Psychology and Language Sciences (Division of) > UCL Interaction Centre
UCL > School of BEAMS > Faculty of Engineering Science > Computer Science

Archive Staff Only: edit this record