Below you can find information about the individual applications of the CIF toolset.
The CIF toolset consists of applications that cover a wide range of functionality. The available applications are listed below.
Supervisory controller synthesis
Simulation, validation, and verification
Real-time testing, code generation, and implementation
The CIF tools can be used on the command line, as well as in the Eclipse IDE. They can also be used in ToolDef scripts. The following additional information is available on scripting related to CIF and ToolDef scripts: