Conference article

Automated Safety Analysis by Minimal Path Set Detection for Multi-Domain Object-Oriented Models

Christian Schallert
Institute of System Dynamics and Control, German Aerospace Centre (DLR), Germany

Download articlehttp://dx.doi.org/10.3384/ecp15118565

Published in: Proceedings of the 11th International Modelica Conference, Versailles, France, September 21-23, 2015

Linköping Electronic Conference Proceedings 118:61, p. 565-575

Show more +

Published: 2015-09-18

ISBN: 978-91-7685-955-1

ISSN: 1650-3686 (print), 1650-3740 (online)

Abstract

This paper describes, exemplifies and substantiates a method for detection of the minimal path set of any fault-tolerant technical system that is represented as a multi-domain object-oriented model. Thus, the method automatically performs a safety or reliability analysis of the system.

Keywords

safety analysis; reliability analysis; minimal path set; graph algorithms; modelling of failures; failure probability

References

A. Birolini. Reliability Engineering – Theory and Practice (Fifth Edition). Springer-Verlag Berlin Heidelberg, 2007.

P. Bunus, K. Lunde. Supporting Model-Based Diagnostics with Equation-Based Object-Oriented Languages. Proceedings of the 2nd International Workshop on Equation-Based Object-Oriented Languages and Tools (EOOLT), pp. 121-130, Paphos, Cyprus, 2008.

R. Diestel. Graph Theory (Graduate Texts in Mathematics), Springer-Verlag, 2010.

H. Elmqvist, S. E. Mattsson, M. Otter. Modelica extensions for Multi-Mode DAE-Systems. Proceedings of the 10th International Modelica Conference, pp. 183-193, Lund, Sweden, 2014. doi: 10.3384/ECP14096183

A. Meyna, B. Pauli. Taschenbuch der Zuverlässigkeits- und Sicherheitstechnik. Carl Hanser Verlag München Wien, 2003. In German.

C. Schallert. Incorporation of Reliability Analysis Methods with Modelica. Proceedings of the 6th International Modelica Conference, pp. 103-112, Bielefeld, Germany, 2008.

C. Schallert. Inclusion of Reliability and Safety Analysis Methods in Modelica. Proceedings of the 8th International Modelica Conference, pp. 616-627, Dresden, Germany, 2011. doi: 10.3384/ECP11063616

C. Schallert. A Safety Analysis via Minimal Path Sets Detection for Object-Oriented Models. Safety and Reliability: Methodology and Applications (editors: Nowakowski et al.), CRC Press/Balkema, ISBN: 978-1-315-73697-6, 2014.

C. Schallert. Integrated Safety and Reliability Analysis Methods for Aircraft System Development using Multi-Domain Object-Oriented Models, 2015 (to appear).

R. Tarjan. Depth-First Search and Linear Graph Algorithms. SIAM Journal on Computing, 1(2), pp. 146-160, 1972.

F. van der Linden. General fault triggering architecture to trigger model faults in Modelica using a standardized blockset. Proceedings of the 10th International Modelica Conference, pp. 427-436, Lund, Sweden, 2014. doi: 10.3384/ECP14096427

Y. Papadopoulos, J. McDermid, R. Sasse, G. Heiner. Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure. Reliability Engineering and System Safety, Vol. 71, pp. 229 - 247, 2001.

D. Zimmer, M. Otter, H. Elmqvist, G. Kurzbach. Custom Annotations: Handling Meta-Information in Modelica. Proceedings of the 10th International Modelica Conference, pp. 173-182, Lund, Sweden, 2014. doi: 10.3384/ECP14096173

Citations in Crossref