This paper proposes a methodology to evaluate the dependability of safety-critical systems that use on-line tests. The methodology is structured as a two-steps process, accounting for error generation and propagation dynamics. First, the unconstrained flow of error propagation within the system is modeled by using templates of its internal hardware components and composing them based on the error propagation dynamics. This compound model of the system is then augmented to include internal error detection mechanisms and diagnostic tests, which constrain the error propagation flow. Each mechanism is modeled as a plug-in template that can be separately added and/or removed to/from the global model of the system to evaluate different designs. The proposed methodology is applied to analyze the effectiveness of the set of mechanisms employed in an interlocking system, and some considerations about the methodology computational cost and the acceptability of the introduced approximations are discussed.

Modeling On-line tests in Safety-Critical Systems / M. Serafini;P. Lollini;A. Bondavalli. - STAMPA. - 1:(2006), pp. 231-238. ((Intervento presentato al convegno Int. Conf. on Safety and Reliability for Managing Risk (ESREL 2006) tenutosi a Estoril (Portogallo) nel 2006.

Modeling On-line tests in Safety-Critical Systems

LOLLINI, PAOLO;BONDAVALLI, ANDREA
2006

Abstract

This paper proposes a methodology to evaluate the dependability of safety-critical systems that use on-line tests. The methodology is structured as a two-steps process, accounting for error generation and propagation dynamics. First, the unconstrained flow of error propagation within the system is modeled by using templates of its internal hardware components and composing them based on the error propagation dynamics. This compound model of the system is then augmented to include internal error detection mechanisms and diagnostic tests, which constrain the error propagation flow. Each mechanism is modeled as a plug-in template that can be separately added and/or removed to/from the global model of the system to evaluate different designs. The proposed methodology is applied to analyze the effectiveness of the set of mechanisms employed in an interlocking system, and some considerations about the methodology computational cost and the acceptability of the introduced approximations are discussed.
Safety and Reliability for Managing Risk
Int. Conf. on Safety and Reliability for Managing Risk (ESREL 2006)
Estoril (Portogallo)
2006
M. Serafini;P. Lollini;A. Bondavalli
File in questo prodotto:
File Dimensione Formato  
S-030.pdf

Accesso chiuso

Tipologia: Altro
Licenza: DRM non definito
Dimensione 1.05 MB
Formato Adobe PDF
1.05 MB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in FLORE 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: http://hdl.handle.net/2158/393539
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? 0
social impact