Version: v2.0

CIF

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 more

Features

Powerful language

CIF features a powerful declarative automata-based modeling language for the specification of discrete event, timed and hybrid systems.

Extensive tools

The CIF tooling supports the entire development process of controllers, from specification to code generation.

World-class algorithms

The CIF toolset features world-class algorithms for automatic synthesis of supervisory controllers. Focus on the what rather than the how!

Learn more

Getting started

The CIF tooling is part of the Eclipse ESCET toolkit.

It is available for Windows, Linux and macOS, portable and ready to go.

Eclipse ESCET IDE with CIF

CIF

Learn more about CIF from the extensive documentation that covers both the CIF language and tools:

Eclipse ESCET

CIF is part of the Eclipse ESCET open-source project. Learn more about the project and toolkit: