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., Pezzè, 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.
|Citazione:||Denaro, G., Mariani, L., Pezzè, 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.|
|Carattere della pubblicazione:||Scientifica|
|Presenza di un coautore afferente ad Istituzioni straniere:||No|
|Titolo:||Adaptive Runtime Verification for Autonomic Communication Infrastructures|
|Autori:||Denaro, G; Mariani, L; Pezzè, M; Tosi, D|
|Data di pubblicazione:||2005|
|Nome del convegno:||Workshop on Autonomic Communications and Computing World of Wireless Mobile and Multimedia Networks|
|Appare nelle tipologie:||02 - Intervento a convegno|