Modeling on-line tests in safety-critical systems

Marco Serafini, P. Lollini, A. Bondavalli

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

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.

Original languageEnglish
Title of host publicationProceedings of the European Safety and Reliability Conference 2006, ESREL 2006 - Safety and Reliability for Managing Risk
Pages231-238
Number of pages8
Volume1
Publication statusPublished - 1 Dec 2006
Externally publishedYes
EventEuropean Safety and Reliability Conference 2006, ESREL 2006 - Safety and Reliability for Managing Risk - Estoril, Portugal
Duration: 18 Sep 200622 Sep 2006

Other

OtherEuropean Safety and Reliability Conference 2006, ESREL 2006 - Safety and Reliability for Managing Risk
CountryPortugal
CityEstoril
Period18/9/0622/9/06

Fingerprint

methodology
Error detection
hardware
Hardware
diagnostic
Costs
costs

ASJC Scopus subject areas

  • Safety, Risk, Reliability and Quality
  • Safety Research

Cite this

Serafini, M., Lollini, P., & Bondavalli, A. (2006). Modeling on-line tests in safety-critical systems. In Proceedings of the European Safety and Reliability Conference 2006, ESREL 2006 - Safety and Reliability for Managing Risk (Vol. 1, pp. 231-238)

Modeling on-line tests in safety-critical systems. / Serafini, Marco; Lollini, P.; Bondavalli, A.

Proceedings of the European Safety and Reliability Conference 2006, ESREL 2006 - Safety and Reliability for Managing Risk. Vol. 1 2006. p. 231-238.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Serafini, M, Lollini, P & Bondavalli, A 2006, Modeling on-line tests in safety-critical systems. in Proceedings of the European Safety and Reliability Conference 2006, ESREL 2006 - Safety and Reliability for Managing Risk. vol. 1, pp. 231-238, European Safety and Reliability Conference 2006, ESREL 2006 - Safety and Reliability for Managing Risk, Estoril, Portugal, 18/9/06.
Serafini M, Lollini P, Bondavalli A. Modeling on-line tests in safety-critical systems. In Proceedings of the European Safety and Reliability Conference 2006, ESREL 2006 - Safety and Reliability for Managing Risk. Vol. 1. 2006. p. 231-238
Serafini, Marco ; Lollini, P. ; Bondavalli, A. / Modeling on-line tests in safety-critical systems. Proceedings of the European Safety and Reliability Conference 2006, ESREL 2006 - Safety and Reliability for Managing Risk. Vol. 1 2006. pp. 231-238
@inproceedings{ce9335f30ed5408eb0f00b70456637d0,
title = "Modeling on-line tests in safety-critical systems",
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.",
author = "Marco Serafini and P. Lollini and A. Bondavalli",
year = "2006",
month = "12",
day = "1",
language = "English",
isbn = "0415416205",
volume = "1",
pages = "231--238",
booktitle = "Proceedings of the European Safety and Reliability Conference 2006, ESREL 2006 - Safety and Reliability for Managing Risk",

}

TY - GEN

T1 - Modeling on-line tests in safety-critical systems

AU - Serafini, Marco

AU - Lollini, P.

AU - Bondavalli, A.

PY - 2006/12/1

Y1 - 2006/12/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=56249127172&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=56249127172&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:56249127172

SN - 0415416205

SN - 9780415416207

VL - 1

SP - 231

EP - 238

BT - Proceedings of the European Safety and Reliability Conference 2006, ESREL 2006 - Safety and Reliability for Managing Risk

ER -