This example demonstrates the modeling and verification of the following aircraft requirement:
Requirement:
In the cabin area, the temperature increase should not exceed 3°C per hour.
This requirement can be modelled with the ChecksInSlidingWindow.MaxIncrease block.
Setup of this example:
results in
simulation result |