Denaro-Adaptive-WOWMOM-2005 - Adaptive Runtime Verification...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: Adaptive Runtime Verification for Autonomic Communication Infrastructures Giovanni Denaro, Leonardo Mariani, Mauro Pezz`e, Davide Tosi UniversitĀ“a degli Studi di Milano Bicocca Dipartimento di Informatica, Sistemistica e Comunicazione Via Bicocca degli Arcimboldi 8 I-20126, Milano - Italy { denaro|mariani|pezze|tosi } Abstract Autonomic communication and autonomic computing can solve many problems in managing complex network and computer systems, as well as network applications, where computing and networking co-exist. Autonomic applica- tions must be able to automatically diagnose and repair their own faults. In particular they must be able to monitor the execution state, understand the behavior of the applica- tion and of the executing environment, and interpret moni- tored data to identify faults and select a repairing strategy. Assertions have been extensively studied in software en- gineering for identifying deviations from the expected be- haviors and thus signal anomalous outcomes. Unfortu- nately, classic assertions are defined statically at develop- ment time and cannot capture unpredictable changes and evolutions in the execution environment. Thus they do not easily adapt to autonomic applications. This paper proposes a method for the automatic synthe- sis and adaptation of assertions from the observed behavior of an application, aimed at achieving adaptive application monitoring. We believe that this represents an important basis to derive autonomic mechanisms that can deal with unpredictable situations. 1 Introduction The networking and the software engineering commu- nities are increasingly studying autonomic communication and autonomic computing as possible solutions to the prob- lems involved in managing networks and software that grow beyond the control of single development team. Auto- nomic networks and software systems will be able to au- tonomously adapt to unpredictable environmental changes, by exploiting embedded self-managing capabilities such as self-organization, self-configuration, self-regulation, self- adaptation, self-healing and self-protection [11]. Autonomic web applications merge autonomic network- ing and software features to overcome many limitations of current communication technology, and thus meet the in- creasingly demands of the Internet of the future. An important characteristic of autonomic applications is the ability to automatically diagnose and repair their own faults. Fault diagnosing requires (1) monitoring the execu- tion state, to understand the behavior of the application and of the executing environment, and (2) interpreting the mon- itored data, to identify faults and select a repairing strategy....
View Full Document

This note was uploaded on 02/24/2012 for the course CSE 503 taught by Professor Davidnotikin during the Spring '11 term at University of Washington.

Page1 / 5

Denaro-Adaptive-WOWMOM-2005 - Adaptive Runtime Verification...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online