GeezerVisonThe World Wide Web, restored to 800 pixels of glory. | |||||||||
| Home|About|Gaming cabinet|Archives|How it works|Starter sites | |||||||||
GeezerVison is showing eclipse.dev — Home | Eclipse ESCET
Version:
v13.0
[release notes]
|
| placeholder | placeholder-date | Placeholder news message title 1 |
| placeholder | placeholder-date | Placeholder news message title 2 |
| placeholder | placeholder-date | Placeholder news message title 3 |
Languages and tools
CIF
CIF is a modeling language and extensive toolset supporting the entire development process of supervisory controllers.
Chi
Chi is a modeling language and toolset to analyze the performance of supervisory controllers.
ToolDef
ToolDef is a cross-platform and machine-independent scripting language to automate CIF and Chi tools.
Getting started
Download
The Eclipse ESCET toolkit contains the tooling for CIF, Chi and ToolDef. It is available for Windows, Linux and macOS. It is portable and ready to go!
SBE online course
Learn about Synthesis-Based Engineering, an approach for the correct-by-construction design and implementation of supervisory controllers.
Documentation
Learn more about the Eclipse ESCET project and toolkit as a whole:
- Eclipse ESCET general toolkit documentation
- Eclipse ESCET general toolkit release notes
- Eclipse ESCET license and legal information
Or learn more about its languages and tools: CIF, Chi and ToolDef. And follow the online Synthesis-Based Engineering (SBE) course.
Community
Eclipse ESCET is an open-source project. Don't hesitate to contact us in case of questions or to report issues. We also welcome your contributions.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.