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.

Visual Studio Code Extension

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.

Eclipse Application

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/

Requirements

• Java Runtime Environment, version 11 or greater.
• x86 64bit OS, see workaround for Apple silicon.

Known Issues with Mac OS

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.

Apple Silicon

The new Apple M1 and M2 chips use an ARM architecture, which requires additional steps to get our products build for x86 to run. TODO

Kieler Compiler Command-Line Interface

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.

Requirements

• Java Runtime Environment, version 11 or greater.
• x86 64bit OS, see workaround for Apple silicon.

Eclipse Update Site

Our Eclipse product is also available for installation into existing Eclipse installations via update site.

• Latest Release: http://rtsys.informatik.uni-kiel.de/~kieler/updatesite/
• Release 1.3.0: http://rtsys.informatik.uni-kiel.de/~kieler/updatesite/release-semantics-1.3.0/
• Nightly Build: http://rtsys.informatik.uni-kiel.de/~kieler/updatesite/nightly/semantics/