The Eclipse Supervisory Control Engineering Toolkit (Eclipse ESCET™) project provides a toolkit for the development of supervisory controllers in the Model-Based Systems Engineering (MBSE) paradigm.
High-tech companies increasingly adopt the MBSE paradigm. The use of (formal) models for controller design allows validation and verification of controllers long before they are implemented and integrated into the system. Early validation and verification have been shown to lead to less defects and reduced costs.
The Eclipse ESCET project provides a toolkit for the development of supervisory controllers. 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.
For more information, visit the Eclipse ESCET website.
The content of this open source project is received and distributed under the license(s) listed above. Some source code and binaries may be distributed under different terms. Specific license information is provided in file headers and in NOTICE files distributed with the project's binaries.