.Modelica_Requirements.Examples.AircraftRequirements.LimitedCabinAltitudeRateOfChange

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