packageExamples
Library of examples to demonstrate requirement definitions with package Modelica_Requirements
Extends from Modelica.Icons.ExamplesPackage (Icon for packages containing runnable examples).
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.
Contents
| 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 |