The Eclipse Supervisory Control Engineering Toolkit (Eclipse ESCETâ„¢) project is an Eclipse Foundation open-source project that provides a toolkit for the development of supervisory controllers in the Model-Based Systems Engineering (MBSE) paradigm. The toolkit has a strong focus on model-based design, supervisory controller synthesis, and industrial applicability, for example to cyber-physical systems. The toolkit supports the entire development process of (supervisory) controllers, from modeling, supervisory controller synthesis, simulation-based validation and visualization, and formal verification, to real-time testing and implementation.

The Eclipse ESCET project and all its tools are currently in the Incubation Phase.

eclipse incubation

This documentation includes general information related to the Eclipse ESCET toolkit as a whole, as well as its general tools. The following information is available:

The Eclipse ESCET toolkit features multiple languages and associated tools. Check the website for each of these languages for more specific information, including separate documentation for each of them: