Model-Based Dependability Analysis of Physical Systems with Modelica

Figure 4

Red, blue, and green lines show the evaluation of requirements that are not violated throughout the execution.