AADL-Based Stochastic Error Propagation Analysis for Reliable System Design of a Medical Patient Table
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Beitragende
Abstract
This paper introduces a new method for stochastic error propagation analysis of mechatronic systems designed with Architecture Analysis Design Language (AADL). The analysis is based on a formal Dual-graph Error Propagation Model (DEPM). This model captures control and data flow aspects and reliability properties of system components and allows the quantitative system reliability evaluation using underlying Markov chain models. This paper describes an automatic transformation algorithm from AADL to DEPM that identifies data and control flow transitions between devices, processes and threads of an AADL model and generates a DEPM for further error propagation analysis. An integrated third-party scheduling tool Cheddar helps to generate control flow sequences that are transformed into a stochastic control flow graph of the DEPM. The generated DEPM allows a user to specify fault activation probabilities for particular system components and numerically analyze error propagation to critical outputs. The introduced method is illustrated with a reliability analysis of a mobile medical patient table.
Details
| Originalsprache | Englisch |
|---|---|
| Titel | 2018 Annual Reliability and Maintainability Symposium, RAMS 2018 |
| Herausgeber (Verlag) | Institute of Electrical and Electronics Engineers (IEEE) |
| ISBN (Print) | 9781538628706 |
| Publikationsstatus | Veröffentlicht - 11 Sept. 2018 |
| Peer-Review-Status | Ja |
Publikationsreihe
| Reihe | Annual Symposium on Reliability and Maintainability (RAMS) |
|---|---|
| Band | 2018-January |
| ISSN | 2577-0993 |
Konferenz
| Titel | 2018 Annual Reliability and Maintainability Symposium, RAMS 2018 |
|---|---|
| Dauer | 22 - 25 Januar 2018 |
| Stadt | Reno |
| Land | USA/Vereinigte Staaten |
Externe IDs
| Scopus | 85054138194 |
|---|
Schlagworte
ASJC Scopus Sachgebiete
Schlagwörter
- AADL, Control flow, Data flow, Error Propagation Analysis, Healthcare, Model-to-model Transformation, Reliability Modeling