Software techniques can be efficiently used to increase the dependability of safety-critical applications. Many approaches are based on information redundancy to prevent data and code corruption during the software execution. This paper presents PROMON, a C++ library that exploits a new methodology based on the concept of “Programming by Contract” to detect system malfunctions. Resorting to assertions, pre- and post-conditions, and marginal programmer interventions, PROMON-based applications can reach high level of dependability.
PROMON: a profile monitor of software applications / Benso, Alfredo; DI CARLO, Stefano; DI NATALE, Giorgio; Prinetto, Paolo Ernesto; Tagliaferri, Luca; Tibaldi, Clara. - STAMPA. - (2005), pp. 81-86. (Intervento presentato al convegno IEEE 8th Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS) tenutosi a Sopron, HU nel 13-16 Apr. 2005).
PROMON: a profile monitor of software applications
BENSO, Alfredo;DI CARLO, STEFANO;DI NATALE, Giorgio;PRINETTO, Paolo Ernesto;TAGLIAFERRI, Luca;TIBALDI, CLARA
2005
Abstract
Software techniques can be efficiently used to increase the dependability of safety-critical applications. Many approaches are based on information redundancy to prevent data and code corruption during the software execution. This paper presents PROMON, a C++ library that exploits a new methodology based on the concept of “Programming by Contract” to detect system malfunctions. Resorting to assertions, pre- and post-conditions, and marginal programmer interventions, PROMON-based applications can reach high level of dependability.File | Dimensione | Formato | |
---|---|---|---|
2005-DDECS-Promon.pdf
accesso aperto
Tipologia:
2. Post-print / Author's Accepted Manuscript
Licenza:
Pubblico - Tutti i diritti riservati
Dimensione
203.38 kB
Formato
Adobe PDF
|
203.38 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
https://hdl.handle.net/11583/1499953
Attenzione
Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo