This package contains example models to demonstrate all components of library Modelica_Requirements. Every example demonstrates usually one component, in order to understand the fine details of this component. Every component of library Modelica_Requirements is used at least once in one of the examples of package Elementary. Using the Modelica_Requirements components in applications is performed in the other packages of the Examples package.
| Name | Description |
|---|---|
| Verify | Library of examples using Verify blocks |
| TimeLocators | Library of examples using TimeLocators blocks |
| ChecksInFixedWindow | Library of examples using ChecksInFixedWindow blocks |
| ChecksInFixedWindow_withFFT | Library of check blocks that inspect properties in a fixed time window using FFT (Fast Fourier Transform) |
| ChecksInSlidingWindow | Library of examples using ChecksInSlidingWindow blocks |
| SignalAnalysis | Library of examples using SignalAnalysis blocks |
| LogicalBlocks | Library of examples using LogicalBlocks blocks |
| Sources | Library of examples using Sources blocks |