TY - GEN
T1 - Seamless Integration of Component Fault Trees with MathWorks System Composer and Simulink
AU - Rhein, Julian
AU - De La Camara Cruz, Pedro Manuel
AU - Pouzolz, Francois
AU - Holzapfel, Florian
N1 - Publisher Copyright:
© 2021 IEEE.
PY - 2021
Y1 - 2021
N2 - A method and framework for the integration of component fault trees with MathWorks System Composer and Simulink is presented. The framework is built around three main ideas: Strict separation of design models and safety assessment models, traceability through a bi-directional linking mechanism and automatic synchronization between both models. This allows to develop the different models separately from each other, with the right level of detail for each problem, while traceability is always maintained and consistency is guaranteed by the synchronisation.
AB - A method and framework for the integration of component fault trees with MathWorks System Composer and Simulink is presented. The framework is built around three main ideas: Strict separation of design models and safety assessment models, traceability through a bi-directional linking mechanism and automatic synchronization between both models. This allows to develop the different models separately from each other, with the right level of detail for each problem, while traceability is always maintained and consistency is guaranteed by the synchronisation.
KW - Component Fault Tree
KW - MBSA
KW - Model-based Safety Assessment
KW - Simulink
KW - System Composer
UR - http://www.scopus.com/inward/record.url?scp=85122804644&partnerID=8YFLogxK
U2 - 10.1109/DASC52595.2021.9594473
DO - 10.1109/DASC52595.2021.9594473
M3 - Conference contribution
AN - SCOPUS:85122804644
T3 - AIAA/IEEE Digital Avionics Systems Conference - Proceedings
BT - 40th Digital Avionics Systems Conference, DASC 2021 - Proceedings
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 40th IEEE/AIAA Digital Avionics Systems Conference, DASC 2021
Y2 - 3 October 2021 through 7 October 2021
ER -