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 applications 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 application and of the executing environment, and interpret monitored data to identify faults and select a repairing strategy. Assertions have been extensively studied in software engineering for identifying deviations from the expected behaviors and thus signal anomalous outcomes. Unfortunately, classic assertions are defined statically at development 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 synthesis 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.

Denaro, G., Mariani, L., Pezze', M., Tosi, D. (2005). Adaptive Runtime Verification for Autonomic Communication Infrastructures. In Proceedings of the First International IEEE WoWMoM Workshop on Autonomic Communications and Computing (pp.553-557). Washington, DC : IEEE Computer Society [10.1109/WOWMOM.2005.18].

Adaptive Runtime Verification for Autonomic Communication Infrastructures

DENARO, GIOVANNI;MARIANI, LEONARDO;PEZZE', MAURO;
2005

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 applications 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 application and of the executing environment, and interpret monitored data to identify faults and select a repairing strategy. Assertions have been extensively studied in software engineering for identifying deviations from the expected behaviors and thus signal anomalous outcomes. Unfortunately, classic assertions are defined statically at development 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 synthesis 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.
No
paper
self-adapting, runtime verification
English
Workshop on Autonomic Communications and Computing World of Wireless Mobile and Multimedia Networks
0-7695-2342-0
Denaro, G., Mariani, L., Pezze', M., Tosi, D. (2005). Adaptive Runtime Verification for Autonomic Communication Infrastructures. In Proceedings of the First International IEEE WoWMoM Workshop on Autonomic Communications and Computing (pp.553-557). Washington, DC : IEEE Computer Society [10.1109/WOWMOM.2005.18].
Denaro, G; Mariani, L; Pezze', M; Tosi, D
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10281/3391
Citazioni
  • Scopus 5
  • ???jsp.display-item.citation.isi??? 3
Social impact