The paper presents RAMSAS4Modelica, a method for supporting the Dependability Analysis of systems centered on the Modelica language and related tools. RAMSAS4Modelica is the result of a redefinition of the four main phases of the RAMSAS method as well as of their activities and related work-products. Moreover, new activities have been introduced so to benefit of some proposed extensions to the Modelica language. These enhancements allow not only the modeling of dependability requirements but also their traceability and verification by combing Simulation with classical analysis techniques. Indeed, starting from a Modelica-based system design, such extensions also enable the generation of Fault Tree Diagrams for performing Fault Tree Analysis. The paper exemplifies these distinctive features of RAMSAS4Modelica through a case study concerning a Tank System.
RAMSAS4Modelica: a Simulation-driven Method for System Dependability Analysis centered on the Modelica language and related tools
GARRO, Alfredo;TUNDIS A.
2014-01-01
Abstract
The paper presents RAMSAS4Modelica, a method for supporting the Dependability Analysis of systems centered on the Modelica language and related tools. RAMSAS4Modelica is the result of a redefinition of the four main phases of the RAMSAS method as well as of their activities and related work-products. Moreover, new activities have been introduced so to benefit of some proposed extensions to the Modelica language. These enhancements allow not only the modeling of dependability requirements but also their traceability and verification by combing Simulation with classical analysis techniques. Indeed, starting from a Modelica-based system design, such extensions also enable the generation of Fault Tree Diagrams for performing Fault Tree Analysis. The paper exemplifies these distinctive features of RAMSAS4Modelica through a case study concerning a Tank System.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.