.Modelica_Requirements.Examples.AircraftRequirements.LimitedFreshECSFlow

Requirement: The fresh airflow entering the pressurized areas shall be within the given domain

Information

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

Requirement:
The fresh airflow entering the pressurized area (including air dedicated to equipment cooling) shall be within the domain described by the following figure:

This requirement can be modelled with the ChecksInFixedWindow.WithinDomain block.

Setup of this example:

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

simulation result

Generated at 2025-03-09T19:25:01Z by OpenModelicaOpenModelica 1.24.5 using GenerateDoc.mos