Do I need to fix a failed component now, or can I wait until tomorrow?

Calder, M. and Sevegnani, M. (2014) Do I need to fix a failed component now, or can I wait until tomorrow? In: Tenth European Dependable Computing Conference (EDCC 2014), Newcastle Upon Tyne, UK, 13-16 May 2014, pp. 66-77. (doi: 10.1109/EDCC.2014.15)

91335.pdf - Accepted Version




We investigate how predictive event-based modelling can inform operational decision making in complex systems with component failures. By relating the status of components to service availability, and using stochastic temporal logic reasoning, we quantify the risk of service failure now, and in the future, after a given elapsed time. Decisions can then be taken according to those risks. We demonstrate the approach through application to an industrial case study system in which component failures are sensed and monitored. The system has been deployed for some time. A novel aspect is we calibrate the model(s) according to inferences over historical field data, thus the results of our reasoning can inform decision making in the actual deployed system.

Item Type:Conference Proceedings
Glasgow Author(s) Enlighten ID:Sevegnani, Dr Michele and Calder, Professor Muffy
Authors: Calder, M., and Sevegnani, M.
College/School:College of Science and Engineering > School of Computing Science
Copyright Holders:Copyright © 2014 IEEE
Publisher Policy:Reproduced in accordance with the copyright policy of the publisher.
Related URLs:

University Staff: Request a correction | Enlighten Editors: Update this record

Project CodeAward NoProject NamePrincipal InvestigatorFunder's NameFunder RefLead Dept
443471Verifying interoperability requirements in Pervasive Systems (VPS)Muffy CalderEngineering & Physical Sciences Research Council (EPSRC)EP/F033206/1COM - COMPUTING SCIENCE