| 1234567891011121314151617181920 |
- Root ContractSet "example" {
- contracts {
- Contract controller {
- description "Software Controller"
- statements {
- Property "ctrl" FMUProperty FMUInstance "DLoopController_FixedEuler_1Em6" exec_rate == 100000
- }
- scope Globally
- pattern Universality:always-the-case-that "ctrl" holds
- },
- Contract plant {
- description "Physical plant"
- statements {
- Property "plant" FMUSignal "EMAPlantNoLoad_FixedEuler_1Em6.F_OUT@expseu_" == PowerBondSuggestion with FMUSignal "LoadNSensor_FixedEuler_1Em6.V_OUTPUT@expseu_"
- }
- scope Globally
- pattern Universality:always-the-case-that "plant" holds
- }
- }
- }
|
