modelMainPowerSupplyRequirements

Evaluating the requirement definitions for the Main Power Supply system

Extends from Modelica.Icons.Example (Icon for runnable examples).

Information

Using the given input signals MBSVoltage, On, and Available results in

Simulation results for requirements R1 and R2:
R1: MPS CAN be declared Off when the voltage gets below 170 V
R2: MPS MUST be declared Off when the voltage gets below 160 V

Simulation results for requirements R3 and R4:
R3: MPS CAN be declared On again when the voltage gets above 200 V
R4: MPS MUST be declared On again when the voltage gets above 210 V

At the end of the simulation, the following information is printed to the output window:

Requirements violated:
   MPS.R1 (at time = 10 s)
   MPS.R2 (at time = 25 s)
   MPS.R3 (at time = 15 s)
   MPS.R4 (at time = 10 s)
   MPS.R7 (at time = 0 s)

Requirements untested:
   MPS.R8

Components

Type	Name	Default	Description
Verify.PrintViolations	printViolations
Modelica.Blocks.Sources.CombiTimeTable	MPSVoltageTable
Modelica.Blocks.Sources.BooleanTable	onTable
Modelica.Blocks.Sources.BooleanTable	availableTable
Components.MPS	MPS