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 coexist. Autonomic applications must be able to diagnose and repair their own faults automatically. 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. The 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 - 6th IEEE International Symposium on a World of Wireless Mobile and Multimedia Networks, WoWMoM 2005 (pp.553-557). 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 coexist. Autonomic applications must be able to diagnose and repair their own faults automatically. 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. The 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.
paper
Adaptive application; Automatic synthesis; Autonomic applications; Autonomic communications; Autonomic mechanisms; Execution environments; Network applications; Unpredictable changes
English
6th IEEE International Symposium on a World of Wireless Mobile and Multimedia Networks, WoWMoM 2005 - 13 June 2005 through 16 June 2005
2005
Proceedings - 6th IEEE International Symposium on a World of Wireless Mobile and Multimedia Networks, WoWMoM 2005
0-7695-2342-0
2005
2
553
557
1443563
none
Denaro, G., Mariani, L., Pezze', M., Tosi, D. (2005). Adaptive Runtime Verification for Autonomic Communication Infrastructures. In Proceedings - 6th IEEE International Symposium on a World of Wireless Mobile and Multimedia Networks, WoWMoM 2005 (pp.553-557). IEEE Computer Society [10.1109/WOWMOM.2005.18].
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