Version:
v12.0-M1
[release notes]

#

The Eclipse Supervisory Control Engineering Toolkit (Eclipse ESCET) project provides a model-based approach and toolkit for the development of supervisory controllers.

Learn more
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

# Languages and tools

## CIF

CIF is a modeling language and extensive toolset supporting the entire development process of supervisory controllers.

Learn more

## Chi

Chi is a modeling language and toolset to analyze the performance of supervisory controllers.

Learn more

## ToolDef

ToolDef is a cross-platform and machine-independent scripting language to automate CIF and Chi tools.

Learn more

# Getting started

## Download

The Eclipse ESCET toolkit contains the tooling for CIF, Chi and ToolDef. It is available for Windows, Linux and macOS. It is portable and ready to go!

Download

## SBE online course

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

Start learning

## Documentation

Learn more about the Eclipse ESCET project and toolkit as a whole:

- Eclipse ESCET general toolkit documentation
- Eclipse ESCET general toolkit release notes
- Eclipse ESCET license and legal information

Or learn more about its languages and tools: CIF, Chi and ToolDef. And follow the online Synthesis-Based Engineering (SBE) course.

## Community

Eclipse ESCET is an open-source project. Don't hesitate to contact us in case of questions or to report issues. We also welcome your contributions.

- Learn more about our community
- Eclipse ESCET project and community news
- Contact and support
- Development and contributing