diff --git a/Beispiele/CAN_BUS_tlc.json b/Beispiele/CAN_BUS_tlc.json
index 92a3994075ab0be435da653019b47413412e1d52..242e5e47495239aed7641c440202e744efed0a0c 100644
--- a/Beispiele/CAN_BUS_tlc.json
+++ b/Beispiele/CAN_BUS_tlc.json
@@ -155,5 +155,281 @@
"T3Read": "_tr_T3Read",
"T3Wait": "_tr_T3Wait",
"T2WriteBus": "_tr_T2WriteBus"
- }
+ },
+ "guardsRead": {
+ "_tr_T1Evaluate": [
+ "T1_state",
+ "T1_timer"
+ ],
+ "_tr_T2Complete": [
+ "T2_state",
+ "T2_readpriority",
+ "T2_mode"
+ ],
+ "_tr_T2Calculate": [
+ "T2_state",
+ "T2_readpriority"
+ ],
+ "_tr_T2Evaluate": [
+ "T2_state",
+ "T2_timer"
+ ],
+ "_tr_T3Poll": [
+ "T3_readpriority",
+ "T3_state"
+ ],
+ "_tr_T3ReEnableWait": [
+ "T3_state"
+ ],
+ "_tr_T2ReadBus": [
+ "T2_state",
+ "BUSpriority",
+ "BUSvalue"
+ ],
+ "_tr_T2WriteBus": [
+ "T2_state",
+ "T2_writevalue"
+ ],
+ "_tr_T2Wait": [
+ "T2_state"
+ ],
+ "_tr_T2Reset": [
+ "T2_state",
+ "T2_readpriority"
+ ],
+ "_tr_T2ReleaseBus": [
+ "T2_state",
+ "T2_readpriority",
+ "BUSwrite"
+ ],
+ "_tr_T3writebus": [
+ "T3_state"
+ ],
+ "_tr_T3Read": [
+ "BUSpriority",
+ "T3_state",
+ "BUSvalue"
+ ],
+ "_tr_T3ReleaseBus": [
+ "T3_readpriority",
+ "T3_state"
+ ],
+ "_tr_Update": [
+ "T3_evaluated",
+ "T1_timer",
+ "T3_enabled",
+ "BUSwrite",
+ "T2_timer"
+ ],
+ "_tr_T1SendResult": [
+ "T1_state",
+ "T1_writevalue"
+ ],
+ "_tr_T3Evaluate": [
+ "T3_evaluated",
+ "T3_state",
+ "T3_enabled"
+ ],
+ "_tr_T1Calculate": [
+ "T1_state"
+ ],
+ "_tr_T3Wait": [
+ "T3_state"
+ ],
+ "_tr_T1Wait": [
+ "T1_state"
+ ],
+ "_tr_T3Initiate": [
+ "T3_evaluated",
+ "T3_state",
+ "T3_enabled"
+ ]
+ },
+ "operationsRead": {
+ "T1Wait": [
+ "T1_state"
+ ],
+ "T1Calculate": [
+ "T1_state"
+ ],
+ "T1SendResult": [
+ "T1_state",
+ "T1_writevalue",
+ "BUSwrite"
+ ],
+ "T2ReadBus": [
+ "T2_state",
+ "BUSpriority",
+ "BUSvalue"
+ ],
+ "T2Reset": [
+ "T2_state",
+ "T2_readpriority",
+ "T2v"
+ ],
+ "T2Complete": [
+ "T2_state",
+ "T2_readpriority",
+ "T2_mode"
+ ],
+ "T2Evaluate": [
+ "T2_state",
+ "T2_timer"
+ ],
+ "T3Evaluate": [
+ "T3_evaluated",
+ "T3_state",
+ "T3_enabled"
+ ],
+ "T3ReleaseBus": [
+ "T3_readpriority",
+ "T3_state",
+ "BUSwrite"
+ ],
+ "T1Evaluate": [
+ "T1_state",
+ "T1_timer"
+ ],
+ "T3Initiate": [
+ "T3_evaluated",
+ "T3_state",
+ "T3_enabled"
+ ],
+ "T3ReEnableWait": [
+ "T3_state"
+ ],
+ "T3writebus": [
+ "T3_state",
+ "BUSwrite"
+ ],
+ "Update": [
+ "T3_evaluated",
+ "T1_timer",
+ "T3_enabled",
+ "BUSwrite",
+ "T2_timer"
+ ],
+ "T2ReleaseBus": [
+ "T2_state",
+ "T2_readpriority",
+ "BUSwrite"
+ ],
+ "T2Wait": [
+ "T2_state"
+ ],
+ "T3Poll": [
+ "T3_readpriority",
+ "T3_state"
+ ],
+ "T2Calculate": [
+ "T2_state",
+ "T2_readpriority",
+ "T2_readvalue"
+ ],
+ "T3Read": [
+ "BUSpriority",
+ "T3_state",
+ "BUSvalue"
+ ],
+ "T3Wait": [
+ "T3_state"
+ ],
+ "T2WriteBus": [
+ "T2_state",
+ "T2_writevalue",
+ "BUSwrite"
+ ]
+ },
+ "operationsWrite": {
+ "T1Wait": [
+ "T1_state",
+ "T1_timer"
+ ],
+ "T1Calculate": [
+ "T1_state",
+ "T1_writevalue"
+ ],
+ "T1SendResult": [
+ "T1_state",
+ "BUSwrite"
+ ],
+ "T2ReadBus": [
+ "T2_state",
+ "T2_readpriority",
+ "T2_readvalue"
+ ],
+ "T2Reset": [
+ "T2_state",
+ "T2_writevalue",
+ "T2v",
+ "T2_mode"
+ ],
+ "T2Complete": [
+ "T2_state",
+ "T2_mode"
+ ],
+ "T2Evaluate": [
+ "T2_state",
+ "T2_timer"
+ ],
+ "T3Evaluate": [
+ "T3_state"
+ ],
+ "T3ReleaseBus": [
+ "T3_state",
+ "BUSwrite"
+ ],
+ "T1Evaluate": [
+ "T1_state",
+ "T1_timer"
+ ],
+ "T3Initiate": [
+ "T3_state",
+ "T3_enabled"
+ ],
+ "T3ReEnableWait": [
+ "T3_evaluated",
+ "T3_state",
+ "T3_enabled"
+ ],
+ "T3writebus": [
+ "T3_state",
+ "BUSwrite"
+ ],
+ "Update": [
+ "T3_evaluated",
+ "BUSpriority",
+ "T1_timer",
+ "T2_timer",
+ "BUSvalue"
+ ],
+ "T2ReleaseBus": [
+ "T2_state",
+ "BUSwrite"
+ ],
+ "T2Wait": [
+ "T2_state",
+ "T2_timer"
+ ],
+ "T3Poll": [
+ "T3_state"
+ ],
+ "T2Calculate": [
+ "T2_state",
+ "T2v"
+ ],
+ "T3Read": [
+ "T3_readpriority",
+ "T3_readvalue",
+ "T3_state"
+ ],
+ "T3Wait": [
+ "T3_evaluated",
+ "T3_state"
+ ],
+ "T2WriteBus": [
+ "T2_state",
+ "BUSwrite"
+ ]
+ }
}
diff --git a/Beispiele/Cruise_finite1_deterministic_MC.json b/Beispiele/Cruise_finite1_deterministic_MC.json
index 9276b68b2e0c17b40b8a0c8d91ff0039c57bd3f3..6c5cb0f4f0cc13cea0315d361582b6a2b84472d5 100644
--- a/Beispiele/Cruise_finite1_deterministic_MC.json
+++ b/Beispiele/Cruise_finite1_deterministic_MC.json
@@ -167,5 +167,410 @@
"ExternalForcesBecomesNormal": "_tr_ExternalForcesBecomesNormal",
"ObstacleBecomesOld": "_tr_ObstacleBecomesOld",
"ObstacleDistanceBecomesBig": "_tr_ObstacleDistanceBecomesBig"
+ },
+ "guardsRead": {
+ "_tr_ObstacleStopsTravelSlower": [
+ "ObstacleRelativeSpeed"
+ ],
+ "_tr_ObstacleDistanceBecomesClose": [
+ "ObstacleRelativeSpeed",
+ "CruiseActive",
+ "ObstaclePresent",
+ "ObstacleDistance"
+ ],
+ "_tr_ExternalForcesBecomesExtreme": [
+ "VehicleCanKeepSpeed"
+ ],
+ "_tr_ObstacleStartsTravelSlower": [
+ "ObstacleRelativeSpeed"
+ ],
+ "_tr_VehicleReachesCruiseSpeed": [
+ "CruiseActive",
+ "VehicleAtCruiseSpeed",
+ "SpeedAboveMax"
+ ],
+ "_tr_CruiseOff": [
+ "CruiseActive"
+ ],
+ "_tr_VehicleFallsBelowMaxCruiseSpeed": [
+ "SpeedAboveMax"
+ ],
+ "_tr_ObstacleBecomesOld": [
+ "VehicleTryKeepSpeed",
+ "ObstacleRelativeSpeed",
+ "ObstacleStatusJustChanged",
+ "CCInitialisationInProgress",
+ "VehicleTryKeepTimeGap",
+ "CruiseSpeedChangeInProgress",
+ "ObstacleDistance"
+ ],
+ "_tr_ObstacleDistanceBecomesVeryClose": [
+ "ObstacleRelativeSpeed",
+ "ObstacleDistance"
+ ],
+ "_tr_ObstacleStopsTravelFaster": [
+ "ObstacleRelativeSpeed"
+ ],
+ "_tr_SetCruiseSpeed": [
+ "CruiseAllowed"
+ ],
+ "_tr_VehicleManageObstacle": [
+ "CCInitialisationInProgress",
+ "ObstacleStatusJustChanged",
+ "ObstacleDistance",
+ "ObstacleRelativeSpeed",
+ "ObstaclePresent",
+ "CruiseSpeedChangeInProgress"
+ ],
+ "_tr_CruiseBecomesAllowed": [
+ "CruiseAllowed"
+ ],
+ "_tr_ObstacleDistanceBecomesBig": [
+ "ObstacleRelativeSpeed",
+ "ObstacleDistance"
+ ],
+ "_tr_CruiseBecomesNotAllowed": [
+ "CruiseAllowed"
+ ],
+ "_tr_ExternalForcesBecomesNormal": [
+ "CruiseActive",
+ "VehicleCanKeepSpeed"
+ ],
+ "_tr_CruiseSpeedChangeFinished": [
+ "ObstacleStatusJustChanged",
+ "CCInitialisationInProgress",
+ "ObstacleDistance",
+ "ObstacleRelativeSpeed",
+ "ObstaclePresent",
+ "CruiseSpeedChangeInProgress"
+ ],
+ "_tr_ObstacleDisappears": [
+ "ObstaclePresent"
+ ],
+ "_tr_CCInitialisationFinished": [
+ "ObstacleStatusJustChanged",
+ "CCInitialisationInProgress",
+ "ObstacleDistance",
+ "ObstacleRelativeSpeed",
+ "ObstaclePresent",
+ "CruiseSpeedChangeInProgress"
+ ],
+ "_tr_CCInitialisationDelayFinished": [
+ "VehicleTryKeepSpeed",
+ "ObstacleRelativeSpeed",
+ "CCInitialisationInProgress",
+ "ObstacleStatusJustChanged",
+ "VehicleTryKeepTimeGap",
+ "CruiseSpeedChangeInProgress",
+ "ObstacleDistance"
+ ],
+ "_tr_CruiseSpeedChangeDelayFinished": [
+ "VehicleTryKeepSpeed",
+ "ObstacleRelativeSpeed",
+ "ObstacleStatusJustChanged",
+ "CCInitialisationInProgress",
+ "VehicleTryKeepTimeGap",
+ "CruiseSpeedChangeInProgress",
+ "ObstacleDistance"
+ ],
+ "_tr_VehicleLeavesCruiseSpeed": [
+ "VehicleTryKeepSpeed",
+ "VehicleAtCruiseSpeed",
+ "VehicleCanKeepSpeed"
+ ],
+ "_tr_ObstacleStartsTravelFaster": [
+ "ObstacleRelativeSpeed",
+ "ObstaclePresent"
+ ],
+ "_tr_ObstacleAppearsWhenCruiseActive": [
+ "CruiseActive",
+ "ObstaclePresent"
+ ],
+ "_tr_VehicleExceedsMaxCruiseSpeed": [
+ "CruiseActive",
+ "SpeedAboveMax",
+ "ObstacleStatusJustChanged",
+ "CCInitialisationInProgress",
+ "CruiseSpeedChangeInProgress",
+ "VehicleCanKeepSpeed"
+ ],
+ "_tr_ObstacleAppearsWhenCruiseInactive": [
+ "CruiseActive",
+ "ObstaclePresent"
+ ]
+ },
+ "operationsRead": {
+ "ObstacleStopsTravelSlower": [
+ "ObstacleRelativeSpeed",
+ "CruiseActive"
+ ],
+ "SetCruiseSpeed": [
+ "CruiseActive",
+ "CruiseAllowed",
+ "SpeedAboveMax",
+ "NumberOfSetCruise"
+ ],
+ "VehicleLeavesCruiseSpeed": [
+ "VehicleTryKeepSpeed",
+ "VehicleAtCruiseSpeed",
+ "VehicleCanKeepSpeed"
+ ],
+ "VehicleFallsBelowMaxCruiseSpeed": [
+ "CruiseSpeedAtMax",
+ "CruiseActive",
+ "SpeedAboveMax"
+ ],
+ "CCInitialisationFinished": [
+ "ObstacleStatusJustChanged",
+ "CCInitialisationInProgress",
+ "ObstacleDistance",
+ "ObstacleRelativeSpeed",
+ "ObstaclePresent",
+ "CruiseSpeedChangeInProgress"
+ ],
+ "VehicleReachesCruiseSpeed": [
+ "CruiseActive",
+ "VehicleAtCruiseSpeed",
+ "SpeedAboveMax"
+ ],
+ "ObstacleAppearsWhenCruiseActive": [
+ "CruiseActive",
+ "ObstaclePresent"
+ ],
+ "ObstacleStartsTravelSlower": [
+ "ObstacleRelativeSpeed",
+ "CruiseActive"
+ ],
+ "CruiseBecomesNotAllowed": [
+ "CruiseAllowed"
+ ],
+ "ObstacleAppearsWhenCruiseInactive": [
+ "CruiseActive",
+ "ObstaclePresent"
+ ],
+ "CCInitialisationDelayFinished": [
+ "VehicleTryKeepSpeed",
+ "ObstacleRelativeSpeed",
+ "CCInitialisationInProgress",
+ "ObstacleStatusJustChanged",
+ "VehicleTryKeepTimeGap",
+ "CruiseSpeedChangeInProgress",
+ "ObstacleDistance"
+ ],
+ "ObstacleDistanceBecomesClose": [
+ "ObstacleRelativeSpeed",
+ "CruiseActive",
+ "ObstaclePresent",
+ "ObstacleDistance"
+ ],
+ "ObstacleStartsTravelFaster": [
+ "ObstacleRelativeSpeed",
+ "CruiseActive",
+ "ObstaclePresent",
+ "ObstacleDistance"
+ ],
+ "ExternalForcesBecomesExtreme": [
+ "VehicleCanKeepSpeed"
+ ],
+ "CruiseOff": [
+ "CruiseActive"
+ ],
+ "CruiseSpeedChangeDelayFinished": [
+ "VehicleTryKeepSpeed",
+ "ObstacleRelativeSpeed",
+ "ObstacleStatusJustChanged",
+ "CCInitialisationInProgress",
+ "VehicleTryKeepTimeGap",
+ "CruiseSpeedChangeInProgress",
+ "ObstacleDistance"
+ ],
+ "ObstacleStopsTravelFaster": [
+ "ObstacleRelativeSpeed",
+ "CruiseActive"
+ ],
+ "ObstacleDistanceBecomesVeryClose": [
+ "ObstacleRelativeSpeed",
+ "ObstacleDistance"
+ ],
+ "VehicleManageObstacle": [
+ "CCInitialisationInProgress",
+ "ObstacleStatusJustChanged",
+ "ObstacleDistance",
+ "ObstacleRelativeSpeed",
+ "ObstaclePresent",
+ "CruiseSpeedChangeInProgress"
+ ],
+ "CruiseBecomesAllowed": [
+ "CruiseAllowed"
+ ],
+ "VehicleExceedsMaxCruiseSpeed": [
+ "CruiseActive",
+ "SpeedAboveMax",
+ "ObstacleStatusJustChanged",
+ "CCInitialisationInProgress",
+ "CruiseSpeedChangeInProgress",
+ "VehicleCanKeepSpeed"
+ ],
+ "CruiseSpeedChangeFinished": [
+ "ObstacleStatusJustChanged",
+ "CCInitialisationInProgress",
+ "ObstacleDistance",
+ "ObstacleRelativeSpeed",
+ "ObstaclePresent",
+ "CruiseSpeedChangeInProgress"
+ ],
+ "ObstacleDisappears": [
+ "CruiseActive",
+ "ObstaclePresent"
+ ],
+ "ExternalForcesBecomesNormal": [
+ "CruiseActive",
+ "VehicleCanKeepSpeed"
+ ],
+ "ObstacleBecomesOld": [
+ "VehicleTryKeepSpeed",
+ "ObstacleRelativeSpeed",
+ "ObstacleStatusJustChanged",
+ "CCInitialisationInProgress",
+ "VehicleTryKeepTimeGap",
+ "CruiseSpeedChangeInProgress",
+ "ObstacleDistance"
+ ],
+ "ObstacleDistanceBecomesBig": [
+ "ObstacleRelativeSpeed",
+ "ObstacleDistance"
+ ]
+ },
+ "operationsWrite": {
+ "ObstacleStopsTravelSlower": [
+ "ObstacleRelativeSpeed",
+ "ObstacleStatusJustChanged"
+ ],
+ "SetCruiseSpeed": [
+ "CruiseSpeedAtMax",
+ "CruiseActive",
+ "VehicleAtCruiseSpeed",
+ "ObstacleStatusJustChanged",
+ "CCInitialisationInProgress",
+ "NumberOfSetCruise",
+ "CruiseSpeedChangeInProgress",
+ "VehicleCanKeepSpeed"
+ ],
+ "VehicleLeavesCruiseSpeed": [
+ "VehicleAtCruiseSpeed"
+ ],
+ "VehicleFallsBelowMaxCruiseSpeed": [
+ "VehicleAtCruiseSpeed",
+ "SpeedAboveMax"
+ ],
+ "CCInitialisationFinished": [
+ "VehicleTryKeepSpeed",
+ "VehicleTryKeepTimeGap"
+ ],
+ "VehicleReachesCruiseSpeed": [
+ "VehicleAtCruiseSpeed"
+ ],
+ "ObstacleAppearsWhenCruiseActive": [
+ "ObstacleRelativeSpeed",
+ "ObstaclePresent",
+ "ObstacleStatusJustChanged",
+ "ObstacleDistance"
+ ],
+ "ObstacleStartsTravelSlower": [
+ "ObstacleRelativeSpeed",
+ "ObstacleStatusJustChanged"
+ ],
+ "CruiseBecomesNotAllowed": [
+ "VehicleTryKeepSpeed",
+ "CruiseSpeedAtMax",
+ "CruiseActive",
+ "VehicleAtCruiseSpeed",
+ "CruiseAllowed",
+ "ObstacleStatusJustChanged",
+ "CCInitialisationInProgress",
+ "NumberOfSetCruise",
+ "VehicleTryKeepTimeGap",
+ "CruiseSpeedChangeInProgress",
+ "VehicleCanKeepSpeed",
+ "ObstacleDistance"
+ ],
+ "ObstacleAppearsWhenCruiseInactive": [
+ "ObstacleRelativeSpeed",
+ "ObstaclePresent",
+ "ObstacleDistance"
+ ],
+ "CCInitialisationDelayFinished": [
+ "CCInitialisationInProgress"
+ ],
+ "ObstacleDistanceBecomesClose": [
+ "ObstacleStatusJustChanged",
+ "VehicleTryKeepTimeGap",
+ "ObstacleDistance"
+ ],
+ "ObstacleStartsTravelFaster": [
+ "ObstacleRelativeSpeed",
+ "ObstacleStatusJustChanged",
+ "VehicleTryKeepTimeGap"
+ ],
+ "ExternalForcesBecomesExtreme": [
+ "VehicleCanKeepSpeed"
+ ],
+ "CruiseOff": [
+ "VehicleTryKeepSpeed",
+ "CruiseSpeedAtMax",
+ "CruiseActive",
+ "VehicleAtCruiseSpeed",
+ "ObstacleStatusJustChanged",
+ "CCInitialisationInProgress",
+ "NumberOfSetCruise",
+ "VehicleTryKeepTimeGap",
+ "CruiseSpeedChangeInProgress",
+ "VehicleCanKeepSpeed",
+ "ObstacleDistance"
+ ],
+ "CruiseSpeedChangeDelayFinished": [
+ "CruiseSpeedChangeInProgress"
+ ],
+ "ObstacleStopsTravelFaster": [
+ "ObstacleRelativeSpeed",
+ "ObstacleStatusJustChanged"
+ ],
+ "ObstacleDistanceBecomesVeryClose": [
+ "ObstacleStatusJustChanged",
+ "ObstacleDistance"
+ ],
+ "VehicleManageObstacle": [
+ "VehicleTryKeepSpeed",
+ "VehicleTryKeepTimeGap"
+ ],
+ "CruiseBecomesAllowed": [
+ "CruiseAllowed"
+ ],
+ "VehicleExceedsMaxCruiseSpeed": [
+ "VehicleAtCruiseSpeed",
+ "SpeedAboveMax"
+ ],
+ "CruiseSpeedChangeFinished": [
+ "VehicleTryKeepSpeed",
+ "VehicleTryKeepTimeGap"
+ ],
+ "ObstacleDisappears": [
+ "ObstacleRelativeSpeed",
+ "ObstaclePresent",
+ "ObstacleStatusJustChanged",
+ "VehicleTryKeepTimeGap",
+ "ObstacleDistance"
+ ],
+ "ExternalForcesBecomesNormal": [
+ "VehicleCanKeepSpeed"
+ ],
+ "ObstacleBecomesOld": [
+ "ObstacleStatusJustChanged"
+ ],
+ "ObstacleDistanceBecomesBig": [
+ "ObstacleStatusJustChanged",
+ "VehicleTryKeepTimeGap",
+ "ObstacleDistance"
+ ]
}
}
diff --git a/Beispiele/LandingGear_R6.json b/Beispiele/LandingGear_R6.json
index 0f08a2819b821948825602f024e2308fbb6df292..899b420b5ad0c07f7db28ceccf9ad7546928cb03 100644
--- a/Beispiele/LandingGear_R6.json
+++ b/Beispiele/LandingGear_R6.json
@@ -237,5 +237,620 @@
"env_extend_gear_skip": "_tr_env_extend_gear_skip",
"env_open_door_skip": "_tr_env_open_door_skip",
"env_start_open_door": "_tr_env_start_open_door"
+ },
+ "guardsRead": {
+ "_tr_env_retract_gear_last": [
+ "door",
+ "handle",
+ "doors",
+ "general_valve",
+ "gears",
+ "gear"
+ ],
+ "_tr_open_valve_door_open": [
+ "valve_open_door",
+ "open_EV"
+ ],
+ "_tr_env_open_analogical_switch": [
+ "analogical_switch"
+ ],
+ "_tr_con_stimulate_extend_gear_valve": [
+ "extend_EV",
+ "doors",
+ "open_EV",
+ "handle",
+ "general_EV",
+ "retract_EV",
+ "gears"
+ ],
+ "_tr_env_close_door_skip": [
+ "valve_close_door",
+ "handle",
+ "doors",
+ "shock_absorber",
+ "general_valve",
+ "gears"
+ ],
+ "_tr_con_stop_stimulate_open_door_valve": [
+ "extend_EV",
+ "handle",
+ "doors",
+ "open_EV",
+ "shock_absorber",
+ "general_EV",
+ "retract_EV",
+ "gears"
+ ],
+ "_tr_con_stimulate_close_door_valve": [
+ "extend_EV",
+ "handle",
+ "doors",
+ "open_EV",
+ "shock_absorber",
+ "close_EV",
+ "general_EV",
+ "retract_EV",
+ "gears"
+ ],
+ "_tr_env_close_analogical_switch": [
+ "analogical_switch",
+ "handle_move"
+ ],
+ "_tr_evn_close_general_valve": [
+ "general_valve",
+ "analogical_switch",
+ "general_EV"
+ ],
+ "_tr_con_stop_stimulate_retract_gear_valve": [
+ "handle",
+ "general_EV",
+ "retract_EV",
+ "gears"
+ ],
+ "_tr_land_plane": [
+ "shock_absorber"
+ ],
+ "_tr_open_valve_door_close": [
+ "valve_close_door",
+ "close_EV"
+ ],
+ "_tr_con_stop_stimulate_general_valve": [
+ "extend_EV",
+ "handle",
+ "doors",
+ "open_EV",
+ "close_EV",
+ "general_EV",
+ "retract_EV",
+ "gears"
+ ],
+ "_tr_con_stimulate_open_door_valve": [
+ "handle",
+ "doors",
+ "open_EV",
+ "shock_absorber",
+ "close_EV",
+ "general_EV",
+ "gears"
+ ],
+ "_tr_env_start_extending": [
+ "door",
+ "handle",
+ "doors",
+ "general_valve",
+ "valve_extend_gear",
+ "gears",
+ "gear"
+ ],
+ "_tr_env_extend_gear_last": [
+ "door",
+ "handle",
+ "doors",
+ "general_valve",
+ "gears",
+ "gear"
+ ],
+ "_tr_env_open_door_skip": [
+ "valve_open_door",
+ "handle",
+ "doors",
+ "general_valve",
+ "gears"
+ ],
+ "_tr_close_valve_retract_gear": [
+ "valve_retract_gear",
+ "retract_EV"
+ ],
+ "_tr_close_valve_extend_gear": [
+ "extend_EV",
+ "valve_extend_gear"
+ ],
+ "_tr_con_stimulate_general_valve": [
+ "handle_move",
+ "general_EV"
+ ],
+ "_tr_open_valve_extend_gear": [
+ "extend_EV",
+ "valve_extend_gear"
+ ],
+ "_tr_con_stimulate_retract_gear_valve": [
+ "extend_EV",
+ "doors",
+ "open_EV",
+ "shock_absorber",
+ "handle",
+ "general_EV",
+ "retract_EV",
+ "gears"
+ ],
+ "_tr_evn_open_general_valve": [
+ "general_valve",
+ "analogical_switch",
+ "general_EV"
+ ],
+ "_tr_env_retract_gear_skip": [
+ "doors",
+ "general_valve",
+ "handle",
+ "gears"
+ ],
+ "_tr_env_start_open_door": [
+ "valve_open_door",
+ "door",
+ "handle",
+ "doors",
+ "general_valve",
+ "gears",
+ "gear"
+ ],
+ "_tr_env_close_door": [
+ "door",
+ "valve_close_door",
+ "handle",
+ "doors",
+ "shock_absorber",
+ "general_valve",
+ "gears",
+ "gear"
+ ],
+ "_tr_con_stop_stimulate_extend_gear_valve": [
+ "extend_EV",
+ "handle",
+ "general_EV",
+ "gears"
+ ],
+ "_tr_close_valve_door_open": [
+ "valve_open_door",
+ "open_EV"
+ ],
+ "_tr_env_start_retracting_first": [
+ "door",
+ "handle",
+ "valve_retract_gear",
+ "doors",
+ "general_valve",
+ "gears",
+ "gear"
+ ],
+ "_tr_env_extend_gear_skip": [
+ "doors",
+ "general_valve",
+ "handle",
+ "gears"
+ ],
+ "_tr_toggle_handle_down": [
+ "handle"
+ ],
+ "_tr_begin_flying": [
+ "shock_absorber"
+ ],
+ "_tr_open_valve_retract_gear": [
+ "valve_retract_gear",
+ "retract_EV"
+ ],
+ "_tr_env_open_door_last": [
+ "valve_open_door",
+ "door",
+ "handle",
+ "doors",
+ "general_valve",
+ "gears",
+ "gear"
+ ],
+ "_tr_toggle_handle_up": [
+ "handle"
+ ],
+ "_tr_env_start_close_door": [
+ "door",
+ "valve_close_door",
+ "handle",
+ "doors",
+ "general_valve",
+ "gears",
+ "gear"
+ ],
+ "_tr_con_stop_stimulate_close_door_valve": [
+ "doors",
+ "shock_absorber",
+ "handle",
+ "close_EV",
+ "general_EV",
+ "gears"
+ ],
+ "_tr_close_valve_door_close": [
+ "valve_close_door",
+ "close_EV"
+ ]
+ },
+ "operationsRead": {
+ "close_valve_door_close": [
+ "valve_close_door",
+ "close_EV"
+ ],
+ "close_valve_retract_gear": [
+ "valve_retract_gear",
+ "retract_EV"
+ ],
+ "con_stimulate_open_door_valve": [
+ "handle",
+ "doors",
+ "open_EV",
+ "shock_absorber",
+ "close_EV",
+ "general_EV",
+ "gears"
+ ],
+ "env_close_door": [
+ "door",
+ "valve_close_door",
+ "handle",
+ "doors",
+ "shock_absorber",
+ "general_valve",
+ "gears",
+ "gear"
+ ],
+ "env_start_close_door": [
+ "door",
+ "valve_close_door",
+ "handle",
+ "doors",
+ "general_valve",
+ "gears",
+ "gear"
+ ],
+ "toggle_handle_up": [
+ "handle"
+ ],
+ "toggle_handle_down": [
+ "handle"
+ ],
+ "open_valve_door_open": [
+ "valve_open_door",
+ "open_EV"
+ ],
+ "env_retract_gear_last": [
+ "door",
+ "handle",
+ "doors",
+ "general_valve",
+ "gears",
+ "gear"
+ ],
+ "env_open_door_last": [
+ "valve_open_door",
+ "door",
+ "handle",
+ "doors",
+ "general_valve",
+ "gears",
+ "gear"
+ ],
+ "con_stop_stimulate_retract_gear_valve": [
+ "handle",
+ "general_EV",
+ "retract_EV",
+ "gears"
+ ],
+ "env_close_door_skip": [
+ "valve_close_door",
+ "handle",
+ "doors",
+ "shock_absorber",
+ "general_valve",
+ "gears"
+ ],
+ "con_stop_stimulate_close_door_valve": [
+ "doors",
+ "shock_absorber",
+ "handle",
+ "close_EV",
+ "general_EV",
+ "gears"
+ ],
+ "env_open_analogical_switch": [
+ "analogical_switch"
+ ],
+ "con_stop_stimulate_general_valve": [
+ "extend_EV",
+ "handle",
+ "doors",
+ "open_EV",
+ "close_EV",
+ "general_EV",
+ "retract_EV",
+ "gears"
+ ],
+ "env_extend_gear_last": [
+ "door",
+ "handle",
+ "doors",
+ "general_valve",
+ "gears",
+ "gear"
+ ],
+ "evn_open_general_valve": [
+ "general_valve",
+ "analogical_switch",
+ "general_EV"
+ ],
+ "land_plane": [
+ "shock_absorber"
+ ],
+ "con_stimulate_retract_gear_valve": [
+ "extend_EV",
+ "doors",
+ "open_EV",
+ "shock_absorber",
+ "handle",
+ "general_EV",
+ "retract_EV",
+ "gears"
+ ],
+ "con_stimulate_general_valve": [
+ "handle_move",
+ "general_EV"
+ ],
+ "env_start_retracting_first": [
+ "door",
+ "handle",
+ "valve_retract_gear",
+ "doors",
+ "general_valve",
+ "gears",
+ "gear"
+ ],
+ "env_retract_gear_skip": [
+ "doors",
+ "general_valve",
+ "handle",
+ "gears"
+ ],
+ "open_valve_extend_gear": [
+ "extend_EV",
+ "valve_extend_gear"
+ ],
+ "begin_flying": [
+ "shock_absorber"
+ ],
+ "open_valve_retract_gear": [
+ "valve_retract_gear",
+ "retract_EV"
+ ],
+ "env_close_analogical_switch": [
+ "analogical_switch",
+ "handle_move"
+ ],
+ "env_start_extending": [
+ "door",
+ "handle",
+ "doors",
+ "general_valve",
+ "valve_extend_gear",
+ "gears",
+ "gear"
+ ],
+ "open_valve_door_close": [
+ "valve_close_door",
+ "close_EV"
+ ],
+ "con_stop_stimulate_open_door_valve": [
+ "extend_EV",
+ "handle",
+ "doors",
+ "open_EV",
+ "shock_absorber",
+ "general_EV",
+ "retract_EV",
+ "gears"
+ ],
+ "con_stop_stimulate_extend_gear_valve": [
+ "extend_EV",
+ "handle",
+ "general_EV",
+ "gears"
+ ],
+ "evn_close_general_valve": [
+ "general_valve",
+ "analogical_switch",
+ "general_EV"
+ ],
+ "close_valve_extend_gear": [
+ "extend_EV",
+ "valve_extend_gear"
+ ],
+ "con_stimulate_extend_gear_valve": [
+ "extend_EV",
+ "doors",
+ "open_EV",
+ "handle",
+ "general_EV",
+ "retract_EV",
+ "gears"
+ ],
+ "close_valve_door_open": [
+ "valve_open_door",
+ "open_EV"
+ ],
+ "con_stimulate_close_door_valve": [
+ "extend_EV",
+ "handle",
+ "doors",
+ "open_EV",
+ "shock_absorber",
+ "close_EV",
+ "general_EV",
+ "retract_EV",
+ "gears"
+ ],
+ "env_extend_gear_skip": [
+ "doors",
+ "general_valve",
+ "handle",
+ "gears"
+ ],
+ "env_open_door_skip": [
+ "valve_open_door",
+ "handle",
+ "doors",
+ "general_valve",
+ "gears"
+ ],
+ "env_start_open_door": [
+ "valve_open_door",
+ "door",
+ "handle",
+ "doors",
+ "general_valve",
+ "gears",
+ "gear"
+ ]
+ },
+ "operationsWrite": {
+ "close_valve_door_close": [
+ "valve_close_door"
+ ],
+ "close_valve_retract_gear": [
+ "valve_retract_gear"
+ ],
+ "con_stimulate_open_door_valve": [
+ "open_EV"
+ ],
+ "env_close_door": [
+ "doors",
+ "door"
+ ],
+ "env_start_close_door": [
+ "doors",
+ "door"
+ ],
+ "toggle_handle_up": [
+ "handle",
+ "handle_move"
+ ],
+ "toggle_handle_down": [
+ "handle",
+ "handle_move"
+ ],
+ "open_valve_door_open": [
+ "valve_open_door"
+ ],
+ "env_retract_gear_last": [
+ "gears",
+ "gear"
+ ],
+ "env_open_door_last": [
+ "doors",
+ "door"
+ ],
+ "con_stop_stimulate_retract_gear_valve": [
+ "retract_EV"
+ ],
+ "env_close_door_skip": [
+ "doors"
+ ],
+ "con_stop_stimulate_close_door_valve": [
+ "close_EV"
+ ],
+ "env_open_analogical_switch": [
+ "analogical_switch"
+ ],
+ "con_stop_stimulate_general_valve": [
+ "handle_move",
+ "general_EV"
+ ],
+ "env_extend_gear_last": [
+ "gears",
+ "gear"
+ ],
+ "evn_open_general_valve": [
+ "general_valve"
+ ],
+ "land_plane": [
+ "shock_absorber"
+ ],
+ "con_stimulate_retract_gear_valve": [
+ "retract_EV"
+ ],
+ "con_stimulate_general_valve": [
+ "general_EV"
+ ],
+ "env_start_retracting_first": [
+ "gears",
+ "gear"
+ ],
+ "env_retract_gear_skip": [
+ "gears"
+ ],
+ "open_valve_extend_gear": [
+ "valve_extend_gear"
+ ],
+ "begin_flying": [
+ "shock_absorber"
+ ],
+ "open_valve_retract_gear": [
+ "valve_retract_gear"
+ ],
+ "env_close_analogical_switch": [
+ "analogical_switch"
+ ],
+ "env_start_extending": [
+ "gears",
+ "gear"
+ ],
+ "open_valve_door_close": [
+ "valve_close_door"
+ ],
+ "con_stop_stimulate_open_door_valve": [
+ "open_EV"
+ ],
+ "con_stop_stimulate_extend_gear_valve": [
+ "extend_EV"
+ ],
+ "evn_close_general_valve": [
+ "general_valve"
+ ],
+ "close_valve_extend_gear": [
+ "valve_extend_gear"
+ ],
+ "con_stimulate_extend_gear_valve": [
+ "extend_EV"
+ ],
+ "close_valve_door_open": [
+ "valve_open_door"
+ ],
+ "con_stimulate_close_door_valve": [
+ "close_EV"
+ ],
+ "env_extend_gear_skip": [
+ "gears"
+ ],
+ "env_open_door_skip": [
+ "doors"
+ ],
+ "env_start_open_door": [
+ "doors",
+ "door"
+ ]
}
}
diff --git a/Beispiele/Lift_MC.json b/Beispiele/Lift_MC.json
index b71a98bdc2367f54c98caf27d7a00d7dbfae7f58..601b584fb9a79fc3ad02dcde1f6e52100cec30df 100644
--- a/Beispiele/Lift_MC.json
+++ b/Beispiele/Lift_MC.json
@@ -16,5 +16,29 @@
"transitionEvaluationFunctions": {
"dec": "_tr_dec",
"inc": "_tr_inc"
+ },
+ "guardsRead": {
+ "_tr_dec": [
+ "level"
+ ],
+ "_tr_inc": [
+ "level"
+ ]
+ },
+ "operationsRead": {
+ "dec": [
+ "level"
+ ],
+ "inc": [
+ "level"
+ ]
+ },
+ "operationsWrite": {
+ "dec": [
+ "level"
+ ],
+ "inc": [
+ "level"
+ ]
}
}
diff --git a/Beispiele/TrafficLight_MC.json b/Beispiele/TrafficLight_MC.json
index 96160ac49443ee77f08f0aa3d733d51f99bf3ef9..a6d885900e57751dda95c609e34822b2424782b5 100644
--- a/Beispiele/TrafficLight_MC.json
+++ b/Beispiele/TrafficLight_MC.json
@@ -37,5 +37,77 @@
"cars_g": "_tr_cars_g",
"cars_ry": "_tr_cars_ry",
"cars_r": "_tr_cars_r"
+ },
+ "guardsRead": {
+ "_tr_cars_r": [
+ "tl_cars",
+ "tl_peds"
+ ],
+ "_tr_peds_g": [
+ "tl_cars",
+ "tl_peds"
+ ],
+ "_tr_cars_ry": [
+ "tl_cars",
+ "tl_peds"
+ ],
+ "_tr_cars_g": [
+ "tl_cars",
+ "tl_peds"
+ ],
+ "_tr_cars_y": [
+ "tl_cars",
+ "tl_peds"
+ ],
+ "_tr_peds_r": [
+ "tl_cars",
+ "tl_peds"
+ ]
+ },
+ "operationsRead": {
+ "peds_g": [
+ "tl_cars",
+ "tl_peds"
+ ],
+ "cars_y": [
+ "tl_cars",
+ "tl_peds"
+ ],
+ "peds_r": [
+ "tl_cars",
+ "tl_peds"
+ ],
+ "cars_g": [
+ "tl_cars",
+ "tl_peds"
+ ],
+ "cars_ry": [
+ "tl_cars",
+ "tl_peds"
+ ],
+ "cars_r": [
+ "tl_cars",
+ "tl_peds"
+ ]
+ },
+ "operationsWrite": {
+ "peds_g": [
+ "tl_peds"
+ ],
+ "cars_y": [
+ "tl_cars"
+ ],
+ "peds_r": [
+ "tl_peds"
+ ],
+ "cars_g": [
+ "tl_cars"
+ ],
+ "cars_ry": [
+ "tl_cars"
+ ],
+ "cars_r": [
+ "tl_cars"
+ ]
}
}
diff --git a/Beispiele/Train_1_beebook_deterministic_MC_POR_v2.json b/Beispiele/Train_1_beebook_deterministic_MC_POR_v2.json
index e1eabf3eb28a551a7518130cab8541f3c16cccef..3d2e7cfaa93e48c2874d453679607b4c2de99b43 100644
--- a/Beispiele/Train_1_beebook_deterministic_MC_POR_v2.json
+++ b/Beispiele/Train_1_beebook_deterministic_MC_POR_v2.json
@@ -68,5 +68,139 @@
"route_formation": "_tr_route_formation",
"route_freeing": "_tr_route_freeing",
"BACK_MOVE_2": "_tr_BACK_MOVE_2"
+ },
+ "guardsRead": {
+ "_tr_route_formation": [
+ "frm",
+ "resrt",
+ "TRK",
+ "rsrtbl"
+ ],
+ "_tr_FRONT_MOVE_1": [
+ "frm",
+ "resrt",
+ "resbl",
+ "OCC",
+ "rsrtbl"
+ ],
+ "_tr_route_reservation": [
+ "resrt",
+ "resbl",
+ "rsrtbl"
+ ],
+ "_tr_route_freeing": [
+ "resrt",
+ "rsrtbl"
+ ],
+ "_tr_BACK_MOVE_1": [
+ "resrt",
+ "TRK",
+ "LBT",
+ "rsrtbl"
+ ],
+ "_tr_point_positionning": [
+ "frm",
+ "resrt",
+ "rsrtbl"
+ ],
+ "_tr_FRONT_MOVE_2": [
+ "TRK",
+ "OCC"
+ ],
+ "_tr_BACK_MOVE_2": [
+ "resrt",
+ "TRK",
+ "OCC",
+ "LBT",
+ "rsrtbl"
+ ]
+ },
+ "operationsRead": {
+ "point_positionning": [
+ "frm",
+ "resrt",
+ "TRK",
+ "rsrtbl"
+ ],
+ "route_reservation": [
+ "resrt",
+ "resbl",
+ "rsrtbl"
+ ],
+ "FRONT_MOVE_1": [
+ "frm",
+ "resrt",
+ "resbl",
+ "OCC",
+ "rsrtbl",
+ "LBT"
+ ],
+ "BACK_MOVE_1": [
+ "resrt",
+ "TRK",
+ "resbl",
+ "OCC",
+ "LBT",
+ "rsrtbl"
+ ],
+ "FRONT_MOVE_2": [
+ "TRK",
+ "OCC"
+ ],
+ "route_formation": [
+ "frm",
+ "resrt",
+ "TRK",
+ "rsrtbl"
+ ],
+ "route_freeing": [
+ "frm",
+ "resrt",
+ "rsrtbl"
+ ],
+ "BACK_MOVE_2": [
+ "resrt",
+ "TRK",
+ "resbl",
+ "OCC",
+ "LBT",
+ "rsrtbl"
+ ]
+ },
+ "operationsWrite": {
+ "point_positionning": [
+ "TRK"
+ ],
+ "route_reservation": [
+ "resrt",
+ "resbl",
+ "rsrtbl"
+ ],
+ "FRONT_MOVE_1": [
+ "OCC",
+ "LBT"
+ ],
+ "BACK_MOVE_1": [
+ "resbl",
+ "OCC",
+ "rsrtbl",
+ "LBT"
+ ],
+ "FRONT_MOVE_2": [
+ "OCC"
+ ],
+ "route_formation": [
+ "frm"
+ ],
+ "route_freeing": [
+ "frm",
+ "resrt"
+ ],
+ "BACK_MOVE_2": [
+ "resbl",
+ "OCC",
+ "rsrtbl",
+ "LBT"
+ ]
}
}
diff --git a/Beispiele/scheduler_deterministic_MC.json b/Beispiele/scheduler_deterministic_MC.json
index 3e0739095d12e7d2ba422750500a5cb18a36fc02..fb1b300d3f1870c8610099b78ab79ccc91624d8f 100644
--- a/Beispiele/scheduler_deterministic_MC.json
+++ b/Beispiele/scheduler_deterministic_MC.json
@@ -36,5 +36,60 @@
"ready": "_tr_ready",
"del": "_tr_del",
"_new": "_tr_new"
+ },
+ "guardsRead": {
+ "_tr__new": [
+ "waiting",
+ "ready",
+ "active"
+ ],
+ "_tr_ready": [
+ "waiting"
+ ],
+ "_tr_del": [
+ "waiting"
+ ],
+ "_tr_swap": [
+ "ready",
+ "active"
+ ]
+ },
+ "operationsRead": {
+ "swap": [
+ "waiting",
+ "ready",
+ "active"
+ ],
+ "ready": [
+ "waiting",
+ "ready",
+ "active"
+ ],
+ "del": [
+ "waiting"
+ ],
+ "_new": [
+ "waiting",
+ "ready",
+ "active"
+ ]
+ },
+ "operationsWrite": {
+ "swap": [
+ "waiting",
+ "ready",
+ "active"
+ ],
+ "ready": [
+ "waiting",
+ "ready",
+ "active"
+ ],
+ "del": [
+ "waiting"
+ ],
+ "_new": [
+ "waiting"
+ ]
}
}
diff --git a/Beispiele/sort_m2_data100_MC.json b/Beispiele/sort_m2_data100_MC.json
index dbc42007daccd6cffff589e2aee84b367b4cc391..ae6697907f287beebec6fdb173d888d005c516c2 100644
--- a/Beispiele/sort_m2_data100_MC.json
+++ b/Beispiele/sort_m2_data100_MC.json
@@ -29,5 +29,66 @@
"prog1": "_tr_prog1",
"progress": "_tr_progress",
"final_evt": "_tr_final_evt"
- }
+ },
+ "guardsRead": {
+ "_tr_final_evt": [
+ "k"
+ ],
+ "_tr_progress": [
+ "j",
+ "k"
+ ],
+ "_tr_prog1": [
+ "g",
+ "j",
+ "k",
+ "l"
+ ],
+ "_tr_prog2": [
+ "g",
+ "j",
+ "k",
+ "l"
+ ]
+ },
+ "operationsRead": {
+ "prog2": [
+ "g",
+ "j",
+ "k",
+ "l"
+ ],
+ "prog1": [
+ "g",
+ "j",
+ "k",
+ "l"
+ ],
+ "progress": [
+ "g",
+ "j",
+ "k",
+ "l"
+ ],
+ "final_evt": [
+ "k"
+ ]
+ },
+ "operationsWrite": {
+ "prog2": [
+ "j",
+ "l"
+ ],
+ "prog1": [
+ "j",
+ "l"
+ ],
+ "progress": [
+ "g",
+ "j",
+ "k",
+ "l"
+ ],
+ "final_evt": []
+ }
}