Table of Contents Author Guidelines Submit a Manuscript
Modelling and Simulation in Engineering
Volume 2017 (2017), Article ID 1578043, 15 pages
Research Article

Model-Based Dependability Analysis of Physical Systems with Modelica

1Department of Informatics, Modeling, Electronics, and System Engineering (DIMES), University of Calabria, Via P. Bucci 41C, 87036 Rende, Italy
2Department of Computer and Information Science (IDA), Linköping University, 581 83 Linköping, Sweden

Correspondence should be addressed to Andrea Tundis; ti.lacinu.semid@sidnut.aerdna

Received 15 August 2016; Accepted 27 December 2016; Published 8 March 2017

Academic Editor: Franco Ramírez

Copyright © 2017 Andrea Tundis et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.


Modelica is an innovative, equation-based, and acausal language that allows modeling complex physical systems, which are made of mechanical, electrical, and electrotechnical components, and evaluates their design through simulation techniques. Unfortunately, the increasing complexity and accuracy of such physical systems require new, more powerful, and flexible tools and techniques for evaluating important system properties and, in particular, the dependability ones such as reliability, safety, and maintainability. In this context, the paper describes some extensions of the Modelica language to support the modeling of system requirements and their relationships. Such extensions enable the requirement verification analysis through native constructs in the Modelica language. Furthermore, they allow exporting a Modelica-based system design as a Bayesian Network in order to analyze its dependability by employing a probabilistic approach. The proposal is exemplified through a case study concerning the dependability analysis of a Tank System.