Model-Based Dependability Analysis of Physical Systems with Modelica
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...
Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Wiley
2017-01-01
|
| Series: | Modelling and Simulation in Engineering |
| Online Access: | http://dx.doi.org/10.1155/2017/1578043 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1832550744996184064 |
|---|---|
| author | Andrea Tundis Lena Buffoni Peter Fritzson Alfredo Garro |
| author_facet | Andrea Tundis Lena Buffoni Peter Fritzson Alfredo Garro |
| author_sort | Andrea Tundis |
| collection | DOAJ |
| description | 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. |
| format | Article |
| id | doaj-art-1abc79d20ba249f2ae5540e67c931a73 |
| institution | Kabale University |
| issn | 1687-5591 1687-5605 |
| language | English |
| publishDate | 2017-01-01 |
| publisher | Wiley |
| record_format | Article |
| series | Modelling and Simulation in Engineering |
| spelling | doaj-art-1abc79d20ba249f2ae5540e67c931a732025-02-03T06:05:53ZengWileyModelling and Simulation in Engineering1687-55911687-56052017-01-01201710.1155/2017/15780431578043Model-Based Dependability Analysis of Physical Systems with ModelicaAndrea Tundis0Lena Buffoni1Peter Fritzson2Alfredo Garro3Department of Informatics, Modeling, Electronics, and System Engineering (DIMES), University of Calabria, Via P. Bucci 41C, 87036 Rende, ItalyDepartment of Computer and Information Science (IDA), Linköping University, 581 83 Linköping, SwedenDepartment of Computer and Information Science (IDA), Linköping University, 581 83 Linköping, SwedenDepartment of Informatics, Modeling, Electronics, and System Engineering (DIMES), University of Calabria, Via P. Bucci 41C, 87036 Rende, ItalyModelica 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.http://dx.doi.org/10.1155/2017/1578043 |
| spellingShingle | Andrea Tundis Lena Buffoni Peter Fritzson Alfredo Garro Model-Based Dependability Analysis of Physical Systems with Modelica Modelling and Simulation in Engineering |
| title | Model-Based Dependability Analysis of Physical Systems with Modelica |
| title_full | Model-Based Dependability Analysis of Physical Systems with Modelica |
| title_fullStr | Model-Based Dependability Analysis of Physical Systems with Modelica |
| title_full_unstemmed | Model-Based Dependability Analysis of Physical Systems with Modelica |
| title_short | Model-Based Dependability Analysis of Physical Systems with Modelica |
| title_sort | model based dependability analysis of physical systems with modelica |
| url | http://dx.doi.org/10.1155/2017/1578043 |
| work_keys_str_mv | AT andreatundis modelbaseddependabilityanalysisofphysicalsystemswithmodelica AT lenabuffoni modelbaseddependabilityanalysisofphysicalsystemswithmodelica AT peterfritzson modelbaseddependabilityanalysisofphysicalsystemswithmodelica AT alfredogarro modelbaseddependabilityanalysisofphysicalsystemswithmodelica |