modelLimitedCabinAltitudeRateOfChange

Requirement: The cabin altitude rate of change is limited by the pressure bump duration domain to ensure passenger comfort

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

Information

This example demonstrates the modeling and verification of the following aircraft requirement:

Requirement:
The cabin altitude rate of change should not be out of the cabin pressure domain, more than 5s:

This requirement can be modelled with the ChecksInFixedWindow.WithinDomain and ChecksInFixedWindow.MaxDuration blocks.

Setup of this example:

results in (the first figure shows the domain at the end of the simulation)

simulation result

Components

TypeNameDefaultDescription
Modelica_Requirements.Verify.PrintViolationsprintViolations
Modelica_Requirements.Verify.RequirementR_FreshECSFlow
Modelica_Requirements.SignalAnalysis.ExactDerivativederP
Modelica.Blocks.Sources.ContinuousClockclock
Modelica_Requirements.ChecksInFixedWindow.MaxDurationmaxDuration1
Modelica_Requirements.ChecksInFixedWindow.WithinDomainwithinDomain1
Modelica_Requirements.Sources.BooleanConstantconst1
Sources.RealExpressionPressureAltitude
Modelica.Blocks.Routing.Multiplex2multiplex
LogicalBlocks.PropertyToBooleantoBoolean
Modelica.Blocks.MathBoolean.Notnot1