CIF is a declarative modeling language for the specification of discrete event, timed, and hybrid systems as a collection of synchronizing automata.
The CIF tooling supports the entire development process of controllers, including among others specification, supervisory controller synthesis, simulation-based validation and visualization, verification, real-time testing, and code generation.
Combined they enable a synthesis-based engineering approach to efficiently and cost-effectively design and implement high-quality controllers.
Learn moreCIF features a powerful declarative automata-based modeling language for the specification of discrete event, timed and hybrid systems.
The CIF tooling supports the entire development process of controllers, from specification to code generation.
The CIF toolset features world-class algorithms for automatic synthesis of supervisory controllers. Focus on the what rather than the how!
The CIF tooling is part of the Eclipse ESCET toolkit.
It is available for Windows, Linux and macOS, portable and ready to go.
Learn more about CIF from the extensive documentation that covers both the CIF language and tools:
CIF is part of the Eclipse ESCET open-source project. Learn more about the project and toolkit: