CORDET Framework - C2 Implementation
|
Components implementing state machines. More...
Files | |
file | CrPsLptCreate.c |
Create one instance of the CrPsLpt state machine. | |
file | CrPsLptCreate.h |
Create one instance of the CrPsLpt state machine. | |
file | CrPsLptFunc.c |
To each Large Packet Transfer Buffer, an instance of this state machine is associated. | |
Components implementing state machines.
The behaviour of the CORDET Framework is specified through a set of models which conform to the FW Profile. The FW Profile uses state machines and procedures (a form of activity diagrams) to describe functional behaviour. The state machines and procedures are modelled in the FW Profile Editor (a web-based tool which enforces the rules of the FW Profile). The editor has a code generating back-end which generates the skeleton implementation of a procedure or state machine. This module gathers together all files which implement state machines. The files with names like 'XyzCreate' are generated by the editor tool. The files with names like 'XyzFunc' are instead manually developed.