blockMPS

Requirements for Main Power Supply (MPS) defined in graphical form

Extends from Modelica_Requirements.Interfaces.PartialEnvironment (Block defining properties2 of the environment).

Connectors

TypeNameDefaultDescription
Modelica.Blocks.Interfaces.RealInputMPSVoltageVoltage of MPS
Modelica.Blocks.Interfaces.BooleanInputOn= true, if MPS is on
Modelica.Blocks.Interfaces.BooleanInputAvailable= true, if MPS is available
Modelica_Requirements.Interfaces.EventOutputeLossSignals that the MPS has transited from available to unavailable
Modelica_Requirements.Interfaces.EventOutputeRestoreSignals that the MPS has transited from unavailable to available

Components

TypeNameDefaultDescription
Modelica.Blocks.MathBoolean.NotOff
Verify.RequirementR1
Verify.RequirementR2
Verify.RequirementR3
Verify.RequirementR4
Modelica.Blocks.MathBoolean.NotUnavailable
LogicalBlocks.DelayedRisingduringAny1= true, when MPS has been Off for more than 4 consecutive seconds
ChecksInSlidingWindow.MinAccumulatedDuration2duringAcc1= true, when MPS has been Off for more than 4 accumulated seconds during any 10 seconds time window
Modelica.Blocks.Logical.Oror1
Verify.RequirementR5
LogicalBlocks.DelayedRisingduringAny2= true, when MPS has been Off for more than 6 consecutive seconds
ChecksInSlidingWindow.MinAccumulatedDuration2duringAcc2= true, when MPS has been Off for more than 6 accumulated seconds during any 10 seconds time window
Modelica.Blocks.Logical.Oror2
ChecksInFixedWindow.Duringduring3
Verify.RequirementR6
LogicalBlocks.DelayedRisingduringAny3= true, when MPS has been Off for more than 6 consecutive seconds
Verify.RequirementR7
LogicalBlocks.DelayedRisingduringAny4= true, when MPS has been Off for more than 6 consecutive seconds
ChecksInFixedWindow.Duringduring4
Verify.RequirementR8
Modelica.Blocks.Logical.Edgeedge1
Modelica.Blocks.Logical.Edgeedge2
ChecksInFixedWindow.WhenRisingwhenRising1
Sources.BooleanExpressionexpr1
ChecksInFixedWindow.Duringduring1
Sources.BooleanExpressionexpr2
ChecksInFixedWindow.WhenRisingwhenRising2
Sources.BooleanExpressionexpr3
ChecksInFixedWindow.Duringduring2
Sources.BooleanExpressionexpr4
ChecksInFixedWindow.WhenRisingwhenRising3
ChecksInFixedWindow.WhenRisingwhenRising4