.Modelica_Requirements.Examples.BackupPowerSupply.MainPowerSupplyRequirements .Modelica_Requirements.Examples.BackupPowerSupply.MainPowerSupplyRequirements
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