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.
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 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: