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 language | English |
|---|---|
| Title of host publication | Proceedings of the European Safety and Reliability Conference 2006, ESREL 2006 - Safety and Reliability for Managing Risk |
| Pages | 231-238 |
| Number of pages | 8 |
| Volume | 1 |
| Publication status | Published - 1 Dec 2006 |
| Externally published | Yes |
| Event | European Safety and Reliability Conference 2006, ESREL 2006 - Safety and Reliability for Managing Risk - Estoril, Portugal Duration: 18 Sep 2006 → 22 Sep 2006 |
Other
| Other | European Safety and Reliability Conference 2006, ESREL 2006 - Safety and Reliability for Managing Risk |
|---|---|
| Country | Portugal |
| City | Estoril |
| Period | 18/9/06 → 22/9/06 |
Fingerprint
ASJC Scopus subject areas
- Safety, Risk, Reliability and Quality
- Safety Research
Cite this
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 proceeding › Conference contribution
}
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
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 -