CIF 3

Tools

For instructions on how to install, update, and remove the CIF 3 software, see the Systems Engineering Software documentation. It also includes general information about the use of our software, as well as information on Resolving performance and memory problems. Below you can find information about the individual applications of the CIF 3 toolset.

Applications

The CIF 3 toolset consists of applications that cover a wide range of functionality. The available applications are listed below, categorized by the different phases of the development process.

Specification

Supervisory controller synthesis

Simulation, validation, and visualization

Verification

Real-time testing, code generation, and implementation

Miscellaneous

Scripting

The CIF 3 tools can be used on the command line, as well as in the Eclipse IDE. They can also be used in ToolDef 2 scripts. The following additional information is available on scripting related to CIF 3 and ToolDef 2 scripts: