Heterogeneity, mobility, complexity and new application domains raise new software reliability issues that cannot be met cost-effectively only with classic software engineering approaches. Self-healing systems can successfully address these problems, thus increasing software reliability while reducing maintenance costs. Self-healing systems must be able to automatically identify runtime failures, locate faults, and find a way to bring the system back to an acceptable behavior. This paper discusses the challenges underlying the construction of self-healing systems with particular focus on functional failures, and presents a set of techniques to build software systems that can automatically heal such failures. It introduces techniques to automatically derive assertions to effectively detect functional failures, locate the faults underlying the failures, and identify sequences of actions alternative to the failing sequence to bring the system back to an acceptable behavior.

Gorla, A., Mariani, L., Pastore, F., Pezze', M., Wuttke, J. (2010). Achieving Cost-Effective Software Reliability Through Self-Healing. COMPUTING AND INFORMATICS, 29(1), 93-115.

Achieving Cost-Effective Software Reliability Through Self-Healing

MARIANI, LEONARDO;PASTORE, FABRIZIO;PEZZE', MAURO;
2010

Abstract

Heterogeneity, mobility, complexity and new application domains raise new software reliability issues that cannot be met cost-effectively only with classic software engineering approaches. Self-healing systems can successfully address these problems, thus increasing software reliability while reducing maintenance costs. Self-healing systems must be able to automatically identify runtime failures, locate faults, and find a way to bring the system back to an acceptable behavior. This paper discusses the challenges underlying the construction of self-healing systems with particular focus on functional failures, and presents a set of techniques to build software systems that can automatically heal such failures. It introduces techniques to automatically derive assertions to effectively detect functional failures, locate the faults underlying the failures, and identify sequences of actions alternative to the failing sequence to bring the system back to an acceptable behavior.
Articolo in rivista - Articolo scientifico
Autonomic computing; Self-healing; Software reliability;
English
2010
29
1
93
115
none
Gorla, A., Mariani, L., Pastore, F., Pezze', M., Wuttke, J. (2010). Achieving Cost-Effective Software Reliability Through Self-Healing. COMPUTING AND INFORMATICS, 29(1), 93-115.
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/22384
Citazioni
  • Scopus 17
  • ???jsp.display-item.citation.isi??? 13
Social impact