This example demonstrates the modeling and verification of the following aircraft requirement:
Requirement:
To prevent cold heat exchanger clogging, the time integral of the product of AirHumidity and MassAirFlow is limited.
This requirement can be modelled with the SignalAnalysis.TriggeredIntegrator and LogicalBlocks.LessThreshold blocks.
Setup of this example:
results in
simulation result |