Article | Proceedings of the 11th International Modelica Conference, Versailles, France, September 21-23, 2015 | Automated Safety Analysis by Minimal Path Set Detection for Multi-Domain Object-Oriented Models
Göm menyn

Title:
Automated Safety Analysis by Minimal Path Set Detection for Multi-Domain Object-Oriented Models
Author:
Christian Schallert: Institute of System Dynamics and Control, German Aerospace Centre (DLR), Germany
DOI:
10.3384/ecp15118565
Download:
Full text (pdf)
Year:
2015
Conference:
Proceedings of the 11th International Modelica Conference, Versailles, France, September 21-23, 2015
Issue:
118
Article no.:
061
Pages:
565-575
No. of pages:
11
Publication type:
Abstract and Fulltext
Published:
2015-09-18
ISBN:
978-91-7685-955-1
Series:
Linköping Electronic Conference Proceedings
ISSN (print):
1650-3686
ISSN (online):
1650-3740
Publisher:
Linköping University Electronic Press, Linköpings universitet


Export in BibTex, RIS or text

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

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

Author:
Christian Schallert
Title:
Automated Safety Analysis by Minimal Path Set Detection for Multi-Domain Object-Oriented Models
DOI:
http://dx.doi.org/10.3384/ecp15118565
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

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

Author:
Christian Schallert
Title:
Automated Safety Analysis by Minimal Path Set Detection for Multi-Domain Object-Oriented Models
DOI:
http://dx.doi.org/10.3384/ecp15118565
Note: the following are taken directly from CrossRef
Citations:
No citations available at the moment


Responsible for this page: Peter Berkesand
Last updated: 2017-02-21