modelMinimumAirDistributionPerformance

Information

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

Requirement:
In flight, with only one engine running, the air distribution circuit shall provide nominal performance.

This requirement can be modelled with the logical blocks and the ChecksInFixedWindow.During block.

Setup of this example:

InFlight.y          : True if the aircraft is in flight.
EngineOff.y         : True if one of the two engines is off.
NominalPerformance.y: True if the system provides nominal performance.

results in

	simulation result

Components