Run-time systems failure prediction via proactive monitoring

Authors:
Pengcheng Zhang;Henry Muccini;Andrea Polini; Xuandong Li
Affiliations:
State Key Laboratory of Novel Software Technology, Nanjing University, China 210093;Dipartimento di Informatica, University of L'Aquila, Italy;Computer Science Division, School of Science and Technologies, University of Camerino, Italy;State Key Laboratory of Novel Software Technology, Nanjing University, China 210093
Venue:
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Year:
2011

Citing 10
Cited 1

Interface automata

Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
A Taxonomy and Catalog of Runtime Software-Fault Monitoring Tools

IEEE Transactions on Software Engineering
Graphical scenarios for specifying temporal properties: an automated approach

Automated Software Engineering
Verification of evolving software via component substitutability analysis

Formal Methods in System Design
CHARMY: A Framework for Designing and Verifying Architectural Specifications

IEEE Transactions on Software Engineering
Monitoring architectural properties in dynamic component-based systems

CBSE'07 Proceedings of the 10th international conference on Component-based software engineering
Monitor optimization via stutter-equivalent loop transformation

Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Guided recovery for web service applications

Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
Clara: partially evaluating runtime monitors at compile time tutorial supplement

RV'10 Proceedings of the First international conference on Runtime verification
WS-PSC monitor: a tool chain for monitoring temporal and timing properties in composite service based on property sequence chart

RV'10 Proceedings of the First international conference on Runtime verification

Adequate monitoring of service compositions

Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

In run-time evolving systems, components may evolve while the system is being operated. Unsafe run-time changes may compromise the correct execution of the entire system. Traditional design-time verification techniques difficultly cope with run-time changes, and run-time monitoring may detect disfunctions only too late, when the failure arises. The desire would be to define advanced monitors with the ability to predict and prevent the potential errors happening in the future. In this direction, this paper proposes CASSANDRA, a new approach that by combining design-time and run-time analysis techniques, can "look ahead" in the near execution future, and predict potential failures. During run-time we on-the-fly construct a model of the future k-step global state space according to design-time specifications and the current execution state. Consequently, we can run-time check whether possible failures might happen in the future.