563
Views
0
CrossRef citations to date
0
Altmetric
Articles

Automated safety analysis by minimal path set detection for multi-domain object-oriented models

Pages 341-360 | Received 25 Jan 2016, Accepted 20 Feb 2017, Published online: 27 Mar 2017

References

  • The Modelica Association, Modelica - A Unified Object-Oriented Language for Physical Systems Modeling - Tutorial, Version 1.4, December 2000. Available at https://www.modelica.org/documents/ModelicaTutorial14.pdf. ​​
  • The Modelica Association, Modelica standard library. Available at https://www.modelica.org/libraries.
  • C. Schallert, Integrated Safety and Reliability Analysis Methods for Aircraft System Development using Multi-Domain Object-Oriented Models, Verlag Dr. Hut, München, Germany, 2015. ISBN: 978-3-8439-2408-5
  • P. Bunus and 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), Paphos, Cyprus, 2008, pp. 121–130.
  • Y. Papadopoulos, J. McDermid, R. Sasse, and G. Heiner, Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure, Reliability Eng. Syst. Saf. 71 (2001), pp. 229–247. doi:10.1016/S0951-8320(00)00076-4
  • C. Schallert, An integrated tool for aircraft electric power systems pre-design, Proceedings of the 2nd International Workshop on Aircraft System Technologies (AST), Hamburg, Germany, March 2009, pp. 39–48.
  • D. Schlabe and D. Zimmer, Model-based energy management functions for aircraft electrical systems, SAE 2012 Power Systems Conference, paper no. 2012-01-2175, Phoenix, Arizona, October 2012.
  • C. Schallert, Incorporation of reliability analysis methods with modelica, Proceedings of the 6th International Modelica Conference, Bielefeld, Germany, pp. 103–112, 2008.
  • C. Schallert, Inclusion of reliability and safety analysis methods in modelica, Proceedings of the 8th International Modelica Conference, Dresden, Germany, 2011, pp. 616–627. doi: 10.3384/ECP11063616
  • C. Schallert, A safety analysis via minimal path sets detection for object-oriented models, in Safety and Reliability: Methodology and Applications, T. Nowakowski, M. Mlynczak, A. Jodejko-Pietruczuk, S. Werbinska-Wojciechowska, eds., Taylor & Francis Group, London, UK, 2014. ISBN: 978-1-315-73697-6 ​​ ​​
  • 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, Lund, Sweden, 2014, pp. 427–436. doi: 10.3384/ECP14096427
  • H. Elmqvist, S.E. Mattsson, and M. Otter, Modelica extensions for multi-mode DAE-Systems, Proceedings of the 10th International Modelica Conference, Lund, Sweden, 2014, pp. 183–193. doi: 10.3384/ECP14096183
  • D. Zimmer, M. Otter, H. Elmqvist, and G. Kurzbach, Custom annotations: Handling meta-information in modelica, Proceedings of the 10th International Modelica Conference, Lund, Sweden, 2014, pp. 173–182. doi: 10.3384/ECP14096173
  • A. Birolini, Reliability Engineering †Theory and Practice (Fifth Edition), Springer-Verlag, Berlin, 2007. ISBN: 978-3-540-49388-4 ​​
  • R. Diestel, Graph Theory (Graduate Texts in Mathematics), Springer-Verlag, Berlin, 2010. ISBN: 978-3-642-14278-9 ​​
  • A. Meyna and B. Pauli, Taschenbuch der Zuverlässigkeits- und Sicherheitstechnik, Carl Hanser Verlag, München Wien, 2003. In German. ISBN: 3-446-21594-8 ​​
  • R. Tarjan, Depth-First Search and Linear Graph Algorithms, SIAM J. Comput. 1 (2) (1972), pp. 146–160. doi:10.1137/0201010