Welcome to the Eclipse ESCET™ repository
The Eclipse Supervisory Control Engineering Toolkit (Eclipse ESCET™) project provides 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.
For more information, see:
-
Website: https://eclipse.dev/escet
-
Project home: https://projects.eclipse.org/projects/technology.escet