modelVerif
Components
| Type | Name | Default | Description |
|---|---|---|---|
| Spec | spec | ||
| Modelica.Blocks.Sources.RealExpression | greenObserver | ||
| Modelica.Blocks.Logical.GreaterEqualThreshold | oGreen | ||
| Modelica.Blocks.Sources.RealExpression | yellowObservor | ||
| Modelica.Blocks.Logical.GreaterEqualThreshold | oYellow | ||
| Modelica.Blocks.Sources.RealExpression | redObserver | ||
| Log2 | log | ||
| Modelica.Blocks.Logical.GreaterEqualThreshold | oRed | ||
| Phys1 | phys | ||
| Modelica.Blocks.Sources.BooleanExpression | green_active | ||
| Modelica.Blocks.Sources.BooleanExpression | yellow_active | ||
| Modelica.Blocks.Sources.BooleanExpression | red_active |