Version:
v12.0
[release notes]

#

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 User stories
Latest Eclipse ESCET news Read all news

placeholder | placeholder-date | Placeholder news message title 1
placeholder | placeholder-date | Placeholder news message title 2
placeholder | placeholder-date | Placeholder news message title 3

# 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

## Download

The CIF tooling is part of the Eclipse ESCET toolkit. It is available for Windows, Linux and macOS, portable and ready to go.

Download

## SBE online course

Learn about using CIF for Synthesis-Based Engineering, an approach for the correct-by-construction design and implementation of supervisory controllers.

Start learning

## CIF

Learn more about CIF from the extensive documentation that covers both the CIF language and tools, as well as their usage:

- CIF documentation home page
- CIF synthesis-based engineering
- CIF language tutorial
- CIF language reference
- CIF tools
- CIF examples
- CIF history (and why it's called 'CIF')
- CIF release notes

## Eclipse ESCET

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

- Eclipse ESCET project
- Eclipse ESCET community
- Eclipse ESCET project and community news
- Eclipse ESCET general toolkit documentation
- Eclipse ESCET synthesis-based engineering course
- Eclipse ESCET contact and support
- Eclipse ESCET license and legal information