.Modelica_Requirements.Examples

Library of examples to demonstrate requirement definitions with package Modelica_Requirements

Information

This package contains example models to demonstrate the usage of the Modelica_Requirements package.

In sub-library Elementary every component of the library is demonstrated with simple examples. Typically, an example in this sub-library contains one component and demonstrates the fine details of this component.
In sub-library AircraftRequirements it is shown how typical requirements appearing in aircraft design can be formulated with the Modelica_Requirements library. These examples have been provided by the aircraft manufacturer Dassault Aviation.
The other sub-libraries of package Examples contain more complete scenarios how to utilize the Modelica_Requirements library in actual (small) applications.

Name	Description
Elementary	Library of examples to demonstrate the features of single property functions/blocks using a graphical description
AircraftRequirements	Library of examples to demonstrate requirement definitions for aircrafts
AirCircuitSystem	Simple air circuit example system to demonstrate requirements definition, binding and checking
BackupPowerSupply	Example package to evaluate the requirements of the EDF Backup Power Supply benchmark (using a graphical definition)
MotorsWithLosses	Demonstrate requirements definition and checking at hand of a electrical motors
SimplePumpingSystem	Simple example system to demonstrate requirements definition and checking

Generated at 2025-12-08T19:14:02Z by OpenModelicaOpenModelica 1.25.7 using GenerateDoc.mos