modelMinimumOperationalServiceLife
Requirement: The aircraft shall be designed for a minimum operational service life.
Extends from Modelica.Icons.Example (Icon for runnable examples).
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 |
Components
| Type | Name | Default | Description |
|---|---|---|---|
| Modelica_Requirements.Verify.PrintViolations | printViolations | ||
| Modelica_Requirements.Verify.Requirement | R_OpLife | ||
| Modelica.Blocks.Sources.BooleanPulse | InFlight | ||
| Modelica_Requirements.ChecksInFixedWindow.MinDuration | minDuration1 | ||
| Modelica_Requirements.ChecksInFixedWindow.MinRising | minRising1 | ||
| Modelica.Blocks.Sources.BooleanStep | InOperation | ||
| Modelica_Requirements.LogicalBlocks.PropertyAnd | and1 |