modelLimitedFreshECSFlow
Requirement: The fresh airflow entering the pressurized areas shall be within the given domain
Extends from Modelica.Icons.Example (Icon for runnable examples).
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 |
Components
| Type | Name | Default | Description |
|---|---|---|---|
| Modelica_Requirements.Verify.PrintViolations | printViolations | ||
| Modelica_Requirements.Verify.Requirement | R_FreshECSFlow | ||
| Modelica.Blocks.Sources.CombiTimeTable | signal | ||
| Modelica_Requirements.Sources.BooleanConstant | const1 | ||
| Modelica_Requirements.ChecksInFixedWindow.WithinDomain | withinDomain1 |