The widespread adoption of embedded microprocessor-based systems for safety critical applications mandates the use of co-design tools able to evaluate system dependability at every step of the design cycle. In this paper, we describe how fault injection techniques have been integrated in an existing co-design tool and which advantages come from the availability of such an enhanced tool. The effectiveness of the proposed tool is assessed on a simple case study.

Evaluating system dependability in a co-design framework / M., Lajolo; Rebaudengo, Maurizio; SONZA REORDA, Matteo; Violante, Massimo; Lavagno, Luciano. - ELETTRONICO. - (2000), pp. 586-590. (Intervento presentato al convegno Date '00 tenutosi a Paris, France nel March 27 - 30, 2000) [10.1145/343647.343861].

Evaluating system dependability in a co-design framework.

REBAUDENGO, Maurizio;SONZA REORDA, Matteo;VIOLANTE, MASSIMO;LAVAGNO, Luciano
2000

Abstract

The widespread adoption of embedded microprocessor-based systems for safety critical applications mandates the use of co-design tools able to evaluate system dependability at every step of the design cycle. In this paper, we describe how fault injection techniques have been integrated in an existing co-design tool and which advantages come from the availability of such an enhanced tool. The effectiveness of the proposed tool is assessed on a simple case study.
File in questo prodotto:
File Dimensione Formato  
Rebaudengo-Evaluating.pdf

non disponibili

Tipologia: 2a Post-print versione editoriale / Version of Record
Licenza: Non Pubblico - Accesso privato/ristretto
Dimensione 105.85 kB
Formato Adobe PDF
105.85 kB Adobe PDF   Visualizza/Apri   Richiedi una copia
Pubblicazioni consigliate

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/11583/1667455
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo