CORDET Framework - C2 Implementation
|
Application SM Transition: IPS->START_UP
Application SM Transition: START_UP->NORMAL (with transition guard evaluating TRUE)
Application SM Transition: START_UP->NORMAL (with transition guard evaluating FALSE)
Application SM Transition: NORMAL->RESET
Application SM Transition: RESET->NORMAL (with transition guard evaluating TRUE)
Application SM Transition: RESET->NORMAL (with transition guard evaluating FALSE)
Application SM Transition: NORMAL->SHUTDOWN
Application SM Transition: SHUTDOWN->FPS (with transition guard evaluating TRUE)
Application SM Transition: SHUTDOWN->FPS (with transition guard evaluating FALSE)
Base SM Transition: IPS->CREATED
Base SM Transition: CREATED->INITIALIZED
Base SM Transition: INITIALIZED->CONFIGURED
Base SM Transition: CONFIGURED->FPS
Initialization Procedure: Initialization Action Successful
Initialization Procedure: Initialization Check Successful
Reset Procedure: Configuration Action Successful
Reset Procedure: Configuration Check Successful
InCommand SM Transition: IPS->ACCEPTED
InCommand SM Transition: ACCEPTED->CPS1
InCommand SM Transition: CPS1->PROGRESS
InCommand Outcome Report: crCmdAckPrgSucc
InCommand SM Transition: IPS->ACCEPTED
InCommand SM Transition: ACCEPTED->CPS1
InCommand SM Transition: CPS1->PROGRESS
InCommand SM Transition: PROGRESS->CPS2
InCommand SM Transition: CPS2->TERMINATED
InCommand Outcome Report: crCmdAckTrmSucc
InCommand SM Transition: IPS->ACCEPTED
InCommand SM Transition: ACCEPTED->CPS1
InCommand SM Transition: CPS1->PROGRESS
InCommand SM Transition: PROGRESS->CPS2
InCommand SM Transition: CPS2->TERMINATED
InCommand Outcome Report: crCmdAckStrSucc
InCommand Outcome Report: crCmdAckPrgSucc
InCommand Outcome Report: crCmdAckTrmSucc
InCommand SM Transition: IPS->ACCEPTED
InCommand SM Transition: ACCEPTED->CPS1
InCommand SM Transition: CPS1->PROGRESS
InCommand SM Transition: IPS->ACCEPTED
InCommand SM Transition: ACCEPTED->CPS1
InCommand SM Transition: CPS1->ABORTED
InCommand Outcome Report: crCmdAckStrFail
InCommand SM Transition: IPS->ACCEPTED
InCommand SM Transition: ACCEPTED->CPS1
InCommand SM Transition: CPS1->PROGRESS
InCommand SM Transition: IPS->ACCEPTED
InCommand SM Transition: ACCEPTED->CPS1
InCommand SM Transition: CPS1->PROGRESS
InCommand SM Transition: PROGRESS->CPS2
InCommand SM Transition: CPS2->TERMINATED
InCommand SM Transition: IPS->ACCEPTED
InCommand SM Transition: ACCEPTED->CPS1
InCommand SM Transition: CPS1->PROGRESS
InCommand SM Transition: PROGRESS->CPS2
InCommand SM Transition: CPS2->ABORTED
InCommand Outcome Report: crCmdAckPrgFail
InCommand SM Transition: IPS->ACCEPTED
InCommand SM Transition: ACCEPTED->CPS1
InCommand SM Transition: CPS1->PROGRESS
InCommand SM Transition: PROGRESS->CPS2
InCommand SM Transition: CPS2->TERMINATED
InCommand Outcome Report: crCmdAckTrmFail
InCommand SM Transition: IPS->ACCEPTED
InCommand SM Transition: ACCEPTED->CPS1
InCommand SM Transition: CPS1->PROGRESS
InCommand Outcome Report: crCmdAckStrSucc
Base SM Transition: IPS->CREATED
Base SM Transition: CREATED->INITIALIZED
Base SM Transition: INITIALIZED->CONFIGURED
Initialization Procedure: Initialization Action Successful
Initialization Procedure: Initialization Check Successful
Reset Procedure: Configuration Action Successful
Reset Procedure: Configuration Check Successful
Application Error: crIllInCmdKind
Application Error: crInCmdAllocationFail
Base SM Transition: CONFIGURED->FPS
Base SM Transition: CONFIGURED->CONFIGURED
Reset Procedure: Configuration Action Successful
Reset Procedure: Configuration Check Successful
Application Error: crIllInRepKind
Application Error: crInRepAllocationFail
Base SM Transition: CONFIGURED->FPS
Base SM Transition: CONFIGURED->CONFIGURED
Reset Procedure: Configuration Action Successful
Reset Procedure: Configuration Check Successful
Base Component SM Transition: IPS->CREATED
Base Component SM Transition: CREATED->INITIALIZED
Base Component SM Transition: INITIALIZED->CONFIGURED
InLoader Execution Procedure: Packet Destination is Valid && Packet Destination is the Host Application
InLoader Load Command/Report Procedure: Packet Type is Valid
InLoader Load Command/Report Procedure: Make Operation returns an InCmd/InRep
InLoader Load Command/Report Procedure: InCmd/InRep is in State CONFIGURED
InLoader Load Command/Report Procedure: Load Operation Succeeded
InLoader Load Command/Report Procedure: Component Being Loaded is an InCommand && No Acknowledgement of Acceptance is Required
InLoader Execution Procedure: Packet Destination is Valid && Packet Destination is the Host Application
InLoader Load Command/Report Procedure: Packet Type is Valid
InLoader Load Command/Report Procedure: Make Operation returns an InCmd/InRep
InLoader Load Command/Report Procedure: InCmd/InRep is in State CONFIGURED
InLoader Load Command/Report Procedure: Load Operation Succeeded
InLoader Load Command/Report Procedure: Component Being Loaded is an InCommand && Acknowledgement of Acceptance is Required
InLoader Execution Procedure: Packet Destination is Valid && Packet Destination is the Host Application
InLoader Load Command/Report Procedure: Packet Type is Invalid
Application Error: crIllInRepKind
InLoader Execution Procedure: Packet Destination is Valid && Packet Destination is the Host Application
InLoader Load Command/Report Procedure: Packet Type is Valid
InLoader Load Command/Report Procedure: Make Operation Fails
Application Error: crInRepAllocationFail
InLoader Execution Procedure: Packet Destination is Valid && Packet Destination is the Host Application
InLoader Load Command/Report Procedure: Packet Type is Valid
InLoader Load Command/Report Procedure: Make Operation returns an InCmd/InRep
InLoader Load Command/Report Procedure: InCmd/InRep is not in State CONFIGURED
InLoader Execution Procedure: Packet Destination is Valid && Packet Destination is the Host Application
InLoader Load Command/Report Procedure: Packet Type is Valid
InLoader Load Command/Report Procedure: Make Operation returns an InCmd/InRep
InLoader Load Command/Report Procedure: InCmd/InRep is in State CONFIGURED
InLoader Load Command/Report Procedure: Load Operation Failed
Application Error: crInManagerPcrlFull
InLoader Execution Procedure: Packet Destination is Valid && Packet Destination is the Host Application
InLoader Load Command/Report Procedure: Packet Type is Valid
InLoader Load Command/Report Procedure: Make Operation returns an InCmd/InRep
InLoader Load Command/Report Procedure: InCmd/InRep is in State CONFIGURED
InLoader Load Command/Report Procedure: Load Operation Succeeded
InLoader Load Command/Report Procedure: Component Being Loaded is an InReport
Base Component SM Transition: IPS->CREATED
Base Component SM Transition: CREATED->INITIALIZED
Base Component SM Transition: INITIALIZED->CONFIGURED
Application Error: crInManagerIllId
Base Component SM Transition: CONFIGURED->CONFIGURED
InManager Load Procedure: PCRL is full
InManager Load Procedure: PCRL is not full
Error Report: crInManagerPcrlFull
InManager Execution Procedure: i is smaller or equal to number of items in PCRL
InManager Execution Procedure: i is greater than the number of items in PCRL
InManager Execution Procedure: Flag_1 is true
InManager Load Procedure: PCRL is not full
InManager Execution Procedure: i is smaller or equal to number of items in PCRL
InManager Execution Procedure: i is greater than the number of items in PCRL
InManager Execution Procedure: Flag_1 is true
InManager Execution Procedure: Flag_1 is false
InManager Load Procedure: PCRL is not full
InManager Execution Procedure: i is smaller or equal to number of items in PCRL
InManager Execution Procedure: i is greater than the number of items in PCRL
InManager Execution Procedure: Flag_1 is true
InManager Execution Procedure: Flag_1 is false
InManager Load Procedure: PCRL is not full
InManager Execution Procedure: i is smaller or equal to number of items in PCRL
InManager Execution Procedure: i is greater than the number of items in PCRL
InManager Execution Procedure: outCmp is in state PENDING
InManager Execution Procedure: outCmp is not in state PENDING
InManager Load Procedure: PCRL is not full
Base SM Transition: IPS->CREATED
Base SM Transition: CREATED->INITIALIZED
Base SM Transition: INITIALIZED->CONFIGURED
Initialization Procedure: Initialization Action Successful
Initialization Procedure: Initialization Check Successful
Reset Procedure: Configuration Action Successful
Reset Procedure: Configuration Check Successful
Base SM Transition: CONFIGURED->CONFIGURED
Enable State Determination Procedure: Service Type is Enabled
Application Error: crInStreamIllId
Base SM Transition: IPS->CREATED
Base SM Transition: CREATED->INITIALIZED
Base SM Transition: INITIALIZED->CONFIGURED
InStream SM Transition: IPS->WAITING
Initialization Procedure: Initialization Action Successful
Initialization Procedure: Initialization Check Successful
Reset Procedure: Configuration Action Successful
Reset Procedure: Configuration Check Successful
InStream SM Transition: WAITING->WAITING (through CPS)
InStream SM Transition: WAITING->PCKT_AVAIL (through CPS)
InStream SM Transition: PCKT_AVAIL->PCKT_AVAIL (through CPS)
InStream SM Transition: PCKT_AVAIL->WAITING
Packet Collect Procedure: MW is in state WAITING and loop is not entered
Packet Collect Procedure: Flag_1 is true; PQ is not full; MW is in state PCKT_AVAIL
Packet Collect Procedure: Flag_1 is true; PQ is not full; MW is not in state PCKT_AVAIL
InStream SM Transition: WAITING->PCKT_AVAIL
InStream SM Transition: PCKT_AVAIL->PCKT_AVAIL (self-transition)
Base SM Transition: CONFIGURED->FPS
Packet Collect Procedure: Flag_1 is true; PQ is not full; MW is in state PCKT_AVAIL
Packet Collect Procedure: Flag_1 is true; PQ is not full; MW is not in state PCKT_AVAIL
Error Report: crInStreamPQFull
Error Report: crInStreamSCErr
Base SM Transition: IPS->CREATED
Base SM Transition: CREATED->INITIALIZED
Base SM Transition: INITIALIZED->CONFIGURED
InStream SM Transition: IPS->WAITING
InStream SM Transition: WAITING->PCKT_AVAIL
InStream SM Transition: PCKT_AVAIL->PCKT_AVAIL (self-transition)
Base SM Transition: CONFIGURED->CONFIGURED
Packet Collect Procedure: Flag_1 is false
Packet Collect Procedure: PQ is full
Application Error: crNotInStream
Base SM Transition: IPS->CREATED
Base SM Transition: CREATED->CREATED
Base SM Transition: CREATED->INITIALIZED
Base SM Transition: INITIALIZED->INITIALIZED
Base SM Transition: INITIALIZED->CONFIGURED
Base SM Transition: CONFIGURED->INITIALIZED
Initialization Procedure: Initialization Action Successful
Initialization Procedure: Initialization Check Successful
Initialization Procedure: Initialization Action Failed
Initialization Procedure: Initialization Check Failed
Reset Procedure: Configuration Action Successful
Reset Procedure: Configuration Action Failed
Reset Procedure: Configuration Check Successful
Reset Procedure: Configuration Check Failed
Base SM Transition: IPS->CREATED
Base SM Transition: CREATED->INITIALIZED
Base SM Transition: INITIALIZED->CONFIGURED
Base SM Transition: CONFIGURED->FPS
InStream SM Transition: IPS->PCKT_AVAIL
InStream SM Transition: WAITING->PCKT_AVAIL
InStream SM Transition: PCKT_AVAIL->PCKT_AVAIL (through CPS)
InStream SM Transition: PCKT_AVAIL->WAITING
Packet Collect Procedure: Flag_1 is true; PQ is not full; MW is in state PCKT_AVAIL
Packet Collect Procedure: Flag_1 is true; PQ is not full; MW is not in state PCKT_AVAIL
Error Report: crInStreamIllGroup
OutComponent SM Transition: IPS->LOADED
OutComponent SM Transition: LOADED->CPS1
OutComponent SM Transition: CPS1->ABORTED
OutComponent SM Transition: IPS->LOADED
OutComponent SM Transition: LOADED->CPS1
OutComponent SM Transition: CPS1->PENDING
OutComponent SM Transition: PENDING->TERMINATED
Send Packet Procedure: OutStreamRegistry returns nothing
Error Report: crOutCmpSendPcktInvDest
OutComponent SM Transition: IPS->LOADED
OutComponent SM Transition: LOADED->CPS1
OutComponent SM Transition: CPS1->PENDING
OutComponent SM Transition: PENDING->TERMINATED
Send Packet Procedure: OutStreamRegistry returns an OutStream
OutComponent SM Transition: IPS->LOADED
OutComponent SM Transition: LOADED->CPS1
OutComponent SM Transition: CPS1->PENDING
OutComponent SM Transition: PENDING->TERMINATED
Send Packet Procedure: OutStreamRegistry returns an OutStream
OutComponent SM Transition: IPS->LOADED
OutComponent SM Transition: LOADED->CPS1
OutComponent SM Transition: CPS1->ABORTED
OutComponent SM Transition: CPS1->PENDING
OutComponent SM Transition: PENDING->TERMINATED
Send Packet Procedure: OutStreamRegistry returns an OutStream
OutComponent SM Transition: IPS->LOADED
OutComponent SM Transition: LOADED->CPS1
OutComponent SM Transition: CPS1->PENDING
OutComponent SM Transition: PENDING->TERMINATED
Send Packet Procedure: OutStreamRegistry returns an OutStream
OutComponent SM Transition: IPS->LOADED
OutComponent SM Transition: LOADED->CPS1
OutComponent SM Transition: CPS1->PENDING
OutComponent SM Transition: PENDING->TERMINATED
Send Packet Procedure: OutStreamRegistry returns nothing
OutComponent SM Transition: IPS->LOADED
OutComponent SM Transition: LOADED->CPS1
OutComponent SM Transition: CPS1->PENDING
OutComponent SM Transition: PENDING->ABORTED
Send Packet Procedure: OutStreamRegistry returns valid destination
Base SM Transition: IPS->CREATED
Base SM Transition: CREATED->INITIALIZED
Base SM Transition: INITIALIZED->CONFIGURED
Initialization Procedure: Initialization Action Successful
Initialization Procedure: Initialization Check Successful
Reset Procedure: Configuration Action Successful
Reset Procedure: Configuration Check Successful
Application Error: crIllOutCmpKind
Application Error: crOutCmpAllocationFail
Base SM Transition: CONFIGURED->FPS
Base SM Transition: CONFIGURED->CONFIGURED
Reset Procedure: Configuration Action Successful
Reset Procedure: Configuration Check Successful
Base Component SM Transition: IPS->CREATED
Base Component SM Transition: CREATED->INITIALIZED
Base Component SM Transition: INITIALIZED->CONFIGURED
OutLoader Load Procedure: success branch
OutLoader Load Procedure: failure branch
Base Component SM Transition: IPS->CREATED
Base Component SM Transition: CREATED->INITIALIZED
Base Component SM Transition: INITIALIZED->CONFIGURED
Application Error: crOutManagerIllId
Base Component SM Transition: CONFIGURED->CONFIGURED
OutManager Load Procedure: POCL is full
OutManager Load Procedure: POCL is not full
Error Report: crOutManagerPcrlFull
OutManager Execution Procedure: i is smaller or equal to number of items in POCL
OutManager Execution Procedure: i is greater than the number of items in POCL
OutManager Execution Procedure: outCmp is in state PENDING
OutManager Execution Procedure: outCmp is not in state PENDING
OutManager Load Procedure: POCL is not full
OutManager Execution Procedure: i is smaller or equal to number of items in POCL
OutManager Execution Procedure: i is greater than the number of items in POCL
OutManager Execution Procedure: outCmp is in state PENDING
OutManager Execution Procedure: outCmp is not in state PENDING
OutManager Load Procedure: POCL is not full
Base SM Transition: IPS->CREATED
Base SM Transition: CREATED->INITIALIZED
Base SM Transition: INITIALIZED->CONFIGURED
Initialization Procedure: Initialization Action Successful
Initialization Procedure: Initialization Check Successful
Reset Procedure: Configuration Action Successful
Reset Procedure: Configuration Check Successful
Enable State Determination Procedure: Service Type is Disabled
Enable State Determination Procedure: Service Type is Enabled
Enable State Determination Procedure: Service Sub-Type is Disabled
Enable State Determination Procedure: Service Sub-Type is Enabled
Enable State Determination Procedure: Out-Going Cmd/Rep has no Discriminant
Enable State Determination Procedure: Service Type is Disabled
Enable State Determination Procedure: Service Type is Enabled
Enable State Determination Procedure: Service Sub-Type is Disabled
Enable State Determination Procedure: Service Sub-Type is Enabled
Enable State Determination Procedure: Out-Going Cmd/Rep has Discriminant
Enable State Determination Procedure: Discriminant is Disabled
Enable State Determination Procedure: Discriminant is Enabled
Enable State Determination Procedure: Service Type is Enabled
Enable State Determination Procedure: Service Sub-Type is Enabled
Enable State Determination Procedure: Out-Going Cmd/Rep has Discriminant
Enable State Determination Procedure: Discriminant is Disabled
Enable State Determination Procedure: Discriminant is Enabled
Registry Start Tracking Procedure: Branch "Registry is Not Full"
Registry Start Tracking Procedure: Branch "Registry is Full"
Registry Update Procedure: Branch "Component is being tracked in Registry"
Registry Update Procedure: Branch "Component is not being tracked in Registry"
Base SM Transition: CONFIGURED->FPS
Enable State Determination Procedure: Service Type is Enabled
Base SM Transition: CONFIGURED->CONFIGURED
Enable State Determination Procedure: Service Type is Enabled
Error Report: crOutStreamPQFull
Application Error: crOutStreamIllId
Base SM Transition: IPS->CREATED
Base SM Transition: CREATED->INITIALIZED
Base SM Transition: INITIALIZED->CONFIGURED
Base SM Transition: CONFIGURED->FPS
OutStream SM Transition: IPS->READY
OutStream SM Transition: READY->BUFFERING
OutStream SM Transition: BUFFERING->BUFFERING
OutStream SM Transition: Enqueue Action with PQ Not Full
OutStream SM Transition: Enqueue Action with PQ Full
Initialization Procedure: Initialization Action Successful
Initialization Procedure: Initialization Check Successful
Reset Procedure: Configuration Action Successful
Reset Procedure: Configuration Check Successful
Base SM Transition: IPS->CREATED
Base SM Transition: CREATED->CREATED
Base SM Transition: CREATED->INITIALIZED
Base SM Transition: INITIALIZED->INITIALIZED
Base SM Transition: INITIALIZED->CONFIGURED
Base SM Transition: CONFIGURED->INITIALIZED
Initialization Procedure: Initialization Action Successful
Initialization Procedure: Initialization Check Successful
Initialization Procedure: Initialization Action Failed
Initialization Procedure: Initialization Check Failed
Reset Procedure: Configuration Action Successful
Reset Procedure: Configuration Action Failed
Reset Procedure: Configuration Check Successful
Reset Procedure: Configuration Check Failed
Base SM Transition: IPS->CREATED
Base SM Transition: CREATED->INITIALIZED
Base SM Transition: INITIALIZED->CONFIGURED
Base SM Transition: CONFIGURED->CONFIGURED
OutStream SM Transition: IPS->READY
OutStream SM Transition: READY->BUFFERING
OutStream SM Transition: BUFFERING->READY
OutStream SM Transition: Enqueue Action with No More Packets Available
OutStream SM Transition: Enqueue Action with PQ Not Full
OutStream SM Transition: Flush Packet Queue Action with Middleware Accepting Packet
OutStream SM Transition: Flush Packet Queue Action with Middleware Rejecting Packet
OutStream SM Transition: Flush Packet Queue Action with Packet Originating in Application
OutStream SM Transition: Flush Packet Queue Action with Legal Packet Group
OutStream SM Transition: Send or Enqueue Action with No More Packets Available
OutStream SM Transition: Send or Enqueue Action with Middleware Accepting Packet
OutStream SM Transition: Send or Enqueue Action with Middleware Rejecting Packet
OutStream SM Transition: Send or Enqueue Action with Packet Originating in Application
OutStream SM Transition: Send or Enqueue Action with Legal Packet Group
OutStream SM Transition: Flush Packet Queue Action with Illegal Group Report
OutStream SM Transition: Send or Enqueue Action with Illegal Group Report
Initialization Procedure: Initialization Action Successful
Initialization Procedure: Initialization Check Successful
Reset Procedure: Configuration Action Successful
Reset Procedure: Configuration Check Successful
Application Error: crOutStreamUndefDest
Base SM Transition: IPS->CREATED
Base SM Transition: CREATED->INITIALIZED
Base SM Transition: INITIALIZED->CONFIGURED
Base SM Transition: CONFIGURED->FPS
Base SM Transition: IPS->CREATED
Base SM Transition: CREATED->INITIALIZED
Base SM Transition: INITIALIZED->CONFIGURED
Base SM Transition: CONFIGURED->CONFIGURED
OutStream SM Transition: IPS->READY
OutStream SM Transition: READY->BUFFERING
OutStream SM Transition: BUFFERING->READY
OutStream SM Transition: Enqueue Action with PQ Not Full
OutStream SM Transition: Flush Packet Queue Action with Middleware Accepting Packet
OutStream SM Transition: Flush Packet Queue Action with Middleware Rejecting Packet
OutStream SM Transition: Flush Packet Queue Action with Packet not Originating in Application
OutStream SM Transition: Send or Enqueue Action with Packet not Originating in Application
Initialization Procedure: Initialization Action Successful
Initialization Procedure: Initialization Check Successful
Reset Procedure: Configuration Action Successful
Reset Procedure: Configuration Check Successful
Base SM Transition: IPS->CREATED
Base SM Transition: CREATED->INITIALIZED
Base SM Transition: INITIALIZED->CONFIGURED
Base SM Transition: CONFIGURED->CONFIGURED
OutStream SM Transition: IPS->READY
OutStream SM Transition: READY->BUFFERING
OutStream SM Transition: BUFFERING->READY
OutStream SM Transition: Flush Packet Queue Action with Illegal Group Report
OutStream SM Transition: Send or Enqueue Action with Illegal Group Report
Initialization Procedure: Initialization Action Successful
Initialization Procedure: Initialization Check Successful
Reset Procedure: Configuration Action Successful
Reset Procedure: Configuration Check Successful
Error Report: crOutStreamIllGroup
Application Error: crPcktAllocationFail
Application Error: crPcktRelErr