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.

You can download this manual as a PDF as well. Or use the single-page HTML version.

'ESCET' is pronounced as 'èsèt'. Or more precisely, it is pronounced as the following sequence of sounds: an 'e' of 'bed', an 's' of 'see', another 'e' of 'bed', and a 't' of 'tea'. The emphasis is on the first part of the word. In the International Phonetic Alphabet it is spelled as ['ɛsɛt].

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: