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 RajkomarAuthors Info & Claims
Pages 109 - 110
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.
References
[1]
A. Blandford, G. Buchanan, P. Curzon, D. Furniss, and H. Thimbleby. Who's looking? Invisible problems with interactive medical devices. In Workshop on Interactive Systems in Healthcare, 2010. http://www.chi-med.ac.uk/.
[2]
A. Blandford and D. Furniss. DiCoT: A Methodology for Applying Distributed Cognition to the Design of Teamworking Systems. Interactive Systems, pages 26--38, 2006.
[3]
N. V. Flor and E. L. Hutchins. Analyzing distributed cognition in software teams: a case study of team programming during perfective software maintenance. In Empirical Studies of Programmers: Fourth Workshop, pages 36--64, 1991.
[4]
J. M. Henderson, P. A. Weeks, and A. Hollingworth. The effects of semantic consistency on eye movements during complex scene viewing. Journal of Experimental Psychology, 25(1):210--228, 1999.
[5]
P. Masci, M. Martinucci, and F. Di Giandomenico. Towards automated dependability analysis of dynamically connected systems. In ISADS2011. To appear.
[6]
R. Rukšėnas, J. Back, P. Curzon, and A. Blandford. Verification-guided modelling of salience and cognitive load. Formal Aspects of Computing, 21:541--569, 2009. 10.1007/s00165-008-0102-7.
[7]
M. Tivoli and P. Inverardi. Failure-free coordinators synthesis for component-based architectures. Science of Computer Programming, 71:181--212, May 2008.
Index Terms
- Towards a formal framework for reasoning about the resilience of dynamic interactive systems
Recommendations
Resilience in computer systems and networks
ICCAD '09: Proceedings of the 2009 International Conference on Computer-Aided DesignThe term resilience is used differently by different communities. In general engineering systems, fast recovery from a degraded system state is often termed as resilience. Computer networking community defines it as the combination of trustworthiness (...
Multi-Level Resilience: Reconciling Robustness, Recovery and Adaptability from a Network Science Perspective
From a multi-disciplinary point of view, research on resilience focuses on robustness, recovery, and adaptive capacity. Robustness quantifies how much damage a system can take before it breaks, whereas recovery refers to the ability of a system to ...
Communal Resilience Framework
Computational Science and Its Applications – ICCSA 2024 WorkshopsAbstractThe study investigates communal resilience, the key evolving phenomenon of the last decade. Resilience helps cities and municipalities handle the growing rate of natural and man-made crises, risks, disasters, and emergencies. The study uses a ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
Copyright © 2011 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 11 May 2011
Check for updates
Author Tags
Qualifiers
- Short-paper
Funding Sources
Conference
EWDC '11
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 62Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 17 Jan 2025
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in