Eclipse ESCET (Supervisory Control Engineering Toolkit)
The scope of the Eclipse Supervisory Control Engineering Toolkit (Eclipse ESCET™) project is to create a toolkit for the development of supervisory controllers. The toolkit has a strong focus on industrial applicability, e.g. to cyber physical systems. The toolkit includes tooling to support the entire development process of (supervisory) controllers, including among others specification, supervisory controller synthesis, simulation-based validation and visualization, formal verification, real-time testing, and code generation.