martino/ec-gn-ja-pcf
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fixed out of scope GAM

Browse Source
This commit is contained in:
Martino Ferrari
2026-01-27 23:51:12 +01:00
parent 64e94601b1
commit 5962a60bb6
1 changed files with 226 additions and 226 deletions
Download Patch File Download Diff File Expand all files Collapse all files

452
EC-GN-JA-PCF-IN/src/main/resources/qst-gyrotron-fast-controller/Configurations/src/thread1/state_management.marte
View File

@@ -190,234 +190,234 @@
Function = GoWaitReady Function = GoWaitReady
} }
} }
} //# GAM in WaitReady state. Check PLC_READY and CCPS_IN_OPERATION status.
//# GAM in WaitReady state. Check PLC_READY and CCPS_IN_OPERATION status. +GoWaitPermitGAM = {
+GoWaitPermitGAM = { Class = JAMessageGAM
Class = JAMessageGAM Operation = "AND"
Operation = "AND" InputSignals = {
InputSignals = { CCPS_IN_OPERATION = {
CCPS_IN_OPERATION = { DataSource = DDB1
DataSource = DDB1 Comparator = "EQUALS"
Comparator = "EQUALS" Value = 1
Value = 1 }
PLC_READY = {
DataSource = NI6528_DI
Type = uint32
Comparator = "EQUALS"
Value = 1
}
} }
PLC_READY = { +Event = {
DataSource = NI6528_DI Class = Message
Type = uint32 Destination = StateMachine
Comparator = "EQUALS" Function = GoWaitPermit
Value = 1
} }
} }
+Event = { +GoWaitStandbyFromReadyGAM = {
Class = Message Class = JAMessageGAM
Destination = StateMachine Operation = "AND"
Function = GoWaitPermit InputSignals = {
} PLC_STANDBY = {
} DataSource = NI6528_DI
+GoWaitStandbyFromReadyGAM = { Type = uint32
Class = JAMessageGAM Value = 0
Operation = "AND" Comparator = "EQUALS"
InputSignals = { }
PLC_STANDBY = { }
DataSource = NI6528_DI +Event = {
Type = uint32 Class = Message
Value = 0 Destination = StateMachine
Comparator = "EQUALS" Function = GoWaitStandby
} }
} }
+Event = { //# GAM in WaitPermit state. Check Permit and States of Operation Modes.
Class = Message +GoWaitReadyFromWaitPermitGAM = {
Destination = StateMachine Class = JAMessageGAM
Function = GoWaitStandby Operation = OR
} InputSignals = {
} PLC_STANDBY = {
//# GAM in WaitPermit state. Check Permit and States of Operation Modes. DataSource = NI6528_DI
+GoWaitReadyFromWaitPermitGAM = { Comparator = "EQUALS"
Class = JAMessageGAM Value = 0
Operation = OR }
InputSignals = { PLC_READY = {
PLC_STANDBY = { DataSource = NI6528_DI
DataSource = NI6528_DI Comparator = "EQUALS"
Comparator = "EQUALS" Value = 0
Value = 0 }
} }
PLC_READY = { +Event = {
DataSource = NI6528_DI Class = Message
Comparator = "EQUALS" Destination = StateMachine
Value = 0 Function = GoWaitReady
} }
} }
+Event = { +GoWaitHVONGAM = {
Class = Message Class = JAMessageGAM
Destination = StateMachine Operation = AND
Function = GoWaitReady InputSignals = {
} PLC_SYNCMODE = {
} DataSource = NI6528_DI
+GoWaitHVONGAM = { Operator = "EQUALS"
Class = JAMessageGAM Value = 0
Operation = AND }
InputSignals = { PREP_MODE = {
PLC_SYNCMODE = { DataSource = EPICSCAInput
DataSource = NI6528_DI Operator = "EQUALS"
Operator = "EQUALS" Value = 0
Value = 0 }
} PLC_PERMIT = {
PREP_MODE = { DataSource = NI6528_DI
DataSource = EPICSCAInput Operator = "EQUALS"
Operator = "EQUALS" Value = 1
Value = 0 }
} }
PLC_PERMIT = { +Event = {
DataSource = NI6528_DI Class = Message
Operator = "EQUALS" Destination = StateMachine
Value = 1 Function = GoWaitHVON
} }
} }
+Event = { +GoWaitHVON_PREP_GAM = {
Class = Message Class = JAMessageGAM
Destination = StateMachine Operation = AND
Function = GoWaitHVON InputSignals = {
} PLC_SYNCMODE = {
} DataSource = NI6528_DI
+GoWaitHVON_PREP_GAM = { Operator = "EQUALS"
Class = JAMessageGAM Value = 0
Operation = AND }
InputSignals = { PREP_MODE = {
PLC_SYNCMODE = { DataSource = EPICSCAInput
DataSource = NI6528_DI Operator = "EQUALS"
Operator = "EQUALS" Value = 1
Value = 0 }
} PLC_PERMIT = {
PREP_MODE = { DataSource = NI6528_DI
DataSource = EPICSCAInput Operator = "EQUALS"
Operator = "EQUALS" Value = 1
Value = 1 }
} }
PLC_PERMIT = { +Event = {
DataSource = NI6528_DI Class = Message
Operator = "EQUALS" Destination = StateMachine
Value = 1 Function = GoWaitHVON_PREP
} }
} }
+Event = { +GoWaitHVON_SDN_GAM = {
Class = Message Class = JAMessageGAM
Destination = StateMachine Operation = AND
Function = GoWaitHVON_PREP InputSignals = {
} PLC_SYNCMODE = {
} DataSource = NI6528_DI
+GoWaitHVON_SDN_GAM = { Operator = "EQUALS"
Class = JAMessageGAM Value = 1
Operation = AND }
InputSignals = { PREP_MODE = {
PLC_SYNCMODE = { DataSource = EPICSCAInput
DataSource = NI6528_DI Operator = "EQUALS"
Operator = "EQUALS" Value = 0
Value = 1 }
} PLC_PERMIT = {
PREP_MODE = { DataSource = NI6528_DI
DataSource = EPICSCAInput Operator = "EQUALS"
Operator = "EQUALS" Value = 1
Value = 0 }
} }
PLC_PERMIT = { +Event = {
DataSource = NI6528_DI Class = Message
Operator = "EQUALS" Destination = StateMachine
Value = 1 Function = GoWaitHVON_SDN
} }
} }
+Event = { +GoWaitHVON_SDN_PREP_GAM = {
Class = Message Class = JAMessageGAM
Destination = StateMachine Operation = AND
Function = GoWaitHVON_SDN InputSignals = {
} PLC_SYNCMODE = {
} DataSource = NI6528_DI
+GoWaitHVON_SDN_PREP_GAM = { Operator = "EQUALS"
Class = JAMessageGAM Value = 1
Operation = AND }
InputSignals = { PREP_MODE = {
PLC_SYNCMODE = { DataSource = EPICSCAInput
DataSource = NI6528_DI Operator = "EQUALS"
Operator = "EQUALS" Value = 1
Value = 1 }
} PLC_PERMIT = {
PREP_MODE = { DataSource = NI6528_DI
DataSource = EPICSCAInput Operator = "EQUALS"
Operator = "EQUALS" Value = 1
Value = 1 }
} }
PLC_PERMIT = { +Event = {
DataSource = NI6528_DI Class = Message
Operator = "EQUALS" Destination = StateMachine
Value = 1 Function = GoWaitHVON_SDN_PREP
} }
} }
+Event = { //# GAM in WaitHVON_xx states. If PLC_READY is zero, goto WaitStandby.
Class = Message +FromWaitHVONToWaitStandby = {
Destination = StateMachine Class = JAMessageGAM
Function = GoWaitHVON_SDN_PREP Operation = AND
} InputSignals = {
} PLC_READY = {
//# GAM in WaitHVON_xx states. If PLC_READY is zero, goto WaitStandby. DataSource = NI6528_DI
+FromWaitHVONToWaitStandby = { Comparator = EQUALS
Class = JAMessageGAM Value = 0
Operation = AND }
InputSignals = { }
PLC_READY = { +Event = {
DataSource = NI6528_DI Class = Message
Comparator = EQUALS Destination = StateMachine
Value = 0 Function = GoWaitStandby
} }
} }
+Event = { //# GAM in WaitHVON_xx states. If PLC_PERMIT is zero, goto WaitPermit.
Class = Message +FromWaitHVONToWaitPermit = {
Destination = StateMachine Class = JAMessageGAM
Function = GoWaitStandby Operation = AND
} InputSignals = {
} PLC_PERMIT = {
//# GAM in WaitHVON_xx states. If PLC_PERMIT is zero, goto WaitPermit. DataSource = NI6528_DI
+FromWaitHVONToWaitPermit = { Comparator = EQUALS
Class = JAMessageGAM Value = 0
Operation = AND }
InputSignals = { APS_HVON = {
PLC_PERMIT = { DataSource = RealTimeThreadAsyncBridge
DataSource = NI6528_DI Type = uint32
Comparator = EQUALS Comparator = EQUALS
Value = 0 Value = 0
} }
APS_HVON = { BPS_HVON = {
DataSource = RealTimeThreadAsyncBridge DataSource = RealTimeThreadAsyncBridge
Type = uint32 Type = uint32
Comparator = EQUALS Comparator = EQUALS
Value = 0 Value = 0
} }
BPS_HVON = { MHVPS_HVON = {
DataSource = RealTimeThreadAsyncBridge DataSource = RealTimeThreadAsyncBridge
Type = uint32 Type = uint32
Comparator = EQUALS Comparator = EQUALS
Value = 0 Value = 0
} }
MHVPS_HVON = { BPS_SWON = {
DataSource = RealTimeThreadAsyncBridge DataSource = RealTimeThreadAsyncBridge
Type = uint32 Type = uint32
Comparator = EQUALS Comparator = EQUALS
Value = 0 Value = 0
} }
BPS_SWON = { APS_SWON = {
DataSource = RealTimeThreadAsyncBridge DataSource = RealTimeThreadAsyncBridge
Type = uint32 Type = uint32
Comparator = EQUALS Comparator = EQUALS
Value = 0 Value = 0
} }
APS_SWON = { }
DataSource = RealTimeThreadAsyncBridge +Event = {
Type = uint32 Class = Message
Comparator = EQUALS Destination = StateMachine
Value = 0 Function = GoWaitPermit
} }
}
+Event = {
Class = Message
Destination = StateMachine
Function = GoWaitPermit
} }
} }