Publicerad: 2015-09-18
ISBN: 978-91-7685-955-1
ISSN: 1650-3686 (tryckt), 1650-3740 (online)
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.
safety analysis; reliability analysis; minimal path set; graph algorithms; modelling of failures; failure probability
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
