Downloads
Get news on new releases by subscribing to the KIELER mailing list.
All download packages available on this page are subject to the Eclipse Public License (EPL). Further licenses may apply to bundled components.
The KIELER VS Code extension can be found at the VS Code Marketplace or on Open VSX.
Please consult the VS Code guide for installation instructions.
The KIELER SCCharts product includes the SCCharts editor, compiler, and simulator. It further provides model checking capabilities, simulation visualization, an Esterel compiler, and a Lustre compiler.
- Release 1.3.0: http://rtsys.informatik.uni-kiel.de/~kieler/files/release_sccharts_1.3.0/
- Nightly Build: https://rtsys.informatik.uni-kiel.de/~kieler/files/nightly/sccharts/
- Java Runtime Environment, version 11 or greater.
- x86 64bit OS, see workaround for Apple silicon.
After downloading KIELER, Mac OS quarantines the application and, for some reason, considers the app broken and wants you to move it into the Trash. Hence, if you want to use KIELER on your Mac, you have to remove the quarantine flag manually. You can use the following command: xattr -rc com.apple.quarantine ./Kieler.app or xattr -rd com.apple.quarantine ./Kieler.app depending on the Mac OS version.
Important note: Starting with KIELER 1.4 we provide a dedicated AArch64 build for Macs using Apple silicon, which does NOT require the following steps!
The new Apple M1 and M2 chips use an ARM architecture, which requires additional steps to get our products build for x86 to run.
In order to run a x86 Java application, you have to install a x86 Java (Java 19 also seems to work) via arch -x86_64 brew install openjdk@17 (also mentioned here on StackOverflow).
A user-local brew installation may be required to execute the brew command above.
After this, make sure the application actually uses it.
This StackOverflow thread might give more insights how to do this.
The KIELER Compiler CLI is a tool for compiling with KIELER.
- Release 1.3.0: http://rtsys.informatik.uni-kiel.de/~kieler/files/release_sccharts_1.3.0/cli/
- Nightly Build: https://rtsys.informatik.uni-kiel.de/~kieler/files/nightly/sccharts/cli/
There are three variants available:
- kico is a full-featured compiler supporting all languages and compilation systems available in KIELER.
- kicodia is the full-featured compiler (above) plus capabilities to export models as diagrams.
- scc is a lean variant only for basic SCCharts compilation, it supports only sctx input and ships with basic code generation systems and no diagram support.
There is a version of each variant built for each major operating system (linux, osx, win). You can also download all variants as a platform independent executable jar archive.
kico --help will print usage information.
- Java Runtime Environment, version 11 or greater.
- x86 64bit OS, see workaround for Apple silicon.
Our Eclipse product is also available for installation into existing Eclipse installations via update site.
- Basic Syntax
- Annotations and Pragmas
- Dataflow
- Hostcode
- Timed Automata
- Object Orientation
- LEGO Mindstorms
- Developer Eclipse Setup with Oomph
- Semantics Release Process
- Build KIELER without Eclipse
- Automated Tests and Benchmarks
- Simulation Visualization (KViz)
- Legacy .sct Models
- Simulation Visualization (KViz)
- KiCo Tutorial
