Eclipse ESCET™ documentation (Incubation) Copyright (c) 2010, 2021 Contributors to the Eclipse Foundation Version 0.1.0.20210318-143659 Table of Contents 1. Introduction to Eclipse ESCET project. 2 1.1. Chi. 2 1.2. CIF. 3 1.3. SeText. 4 1.4. ToolDef . 4 2. Download and install Eclipse ESCET toolkit . 6 2.1. Installation of Eclipse ESCET tools . 7 2.2. Starting Eclipse ESCET IDE for the first time . 9 2.3. Updating Eclipse ESCET tools. 9 2.4. Removing Eclipse ESCET tools. 10 2.5. Finding the tool’s version number . 11 3. Using Eclipse ESCET tools. 12 3.1. Eclipse terminology . 12 3.2. Working with projects, directories, and files. 14 3.3. Editing files and executing commands . 17 3.4. Eclipse ESCET perspective . 18 3.5. Applications view . 19 4. Resolving performance and memory problems. 24 4.1. Clearing the console. 24 4.2. Reducing console output. 25 4.3. Closing running applications. 25 4.4. Tweaking performance settings . 26 5. Eclipse ESCET development. 37 5.1. Development process. 37 5.2. Contributing. 41 5.3. Issue tracking. 42 5.4. Development environment setup. 42 5.5. Git repository. 44 5.6. Coding standards . 47 5.7. Building and testing . 47 5.8. Release process . 48 5.9. Third party tools . 50 5.10. Upgrade instructions . 51 6. Application framework. 53 6.1. Introduction. 53 6.2. Stand-alone execution versus Eclipse IDE . 53 6.3. The Application class . 56 6.4. The exception framework . 57 6.5. Exit codes . 58 6.6. The I/O framework . 58 6.7. The option framework . 60 6.8. The compiler framework . 63 6.9. How to implement your own application. 63 6.10. Application registration . 66 6.11. Execution . 67 7. Eclipse ESCET release notes. 69 7.1. Version 0.1 . 69 8. Contact information . 70 9. Legal . 71 Index . 72 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. The Eclipse ESCET project and all its tools are currently in the Incubation Phase. The Eclipse ESCET toolkit features the following languages and associated tools: • Chi • CIF • SeText • ToolDef This manual includes information related to the Eclipse ESCET toolkit as a whole, and applies to those tools as well. The following information is available for end users of the toolkit: • Introduction to Eclipse ESCET project • Download.