.Modelica_Requirements.Examples.AircraftRequirements.MinimumOperationalServiceLife

Information

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

Requirement:
The aircraft shall be designed for an operational service life of 150 flight cycles and 800 flight hours, whichever is more stringent.

This requirement can be modelled with the ChecksInFixedWindow.MinDuration and ChecksInFixedWindow.MinRising blocks and an and block for 3-valued logic.

Setup of this example:

InOperation.y: True if the aircraft is in operation (and not, e.g., in maintenance).
InFlight.y   : True if the aircraft is in flight.

results in

	simulation result