.Modelica_Requirements.Examples

Information

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

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

Generated at 2019-09-22T01:36:51Z by OpenModelicaOpenModelica 1.14.0~dev-26741-gf7ba6ee using GenerateDoc.mos