modelPreventHeatExchangerClogging

Requirement: Cold heat exchanger clogging shall not occur

Extends from Modelica.Icons.Example (Icon for runnable examples).

Information

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

Parameters

TypeNameDefaultDescription
Modelica.Units.SI.MassMmax8e-4

Components

TypeNameDefaultDescription
Modelica_Requirements.Verify.PrintViolationsprintViolations
Modelica_Requirements.Verify.BooleanRequirementR_Clogging
Sources.RealConstantmassAirFlow
Sources.RealConstantairHumidity
Modelica_Requirements.SignalAnalysis.TriggeredIntegratorintegrator1
Modelica_Requirements.LogicalBlocks.LessThresholdless
Modelica_Requirements.Sources.BooleanConstantconst1
Modelica.Blocks.Math.MultiProductproduct