Skip to main content

A tiny, free SDL editor for TASTE

Project description


OpenGEODE is a tiny open-source SDL editor that is developed for
the purpose of providing an easy to use and free state machine editor and
Ada code generator to the TASTE toolchain from the European Space Agency,
running in combination with ESA's ASN.1 "Space Certifiable" ASN.1 compiler.

SDL is the Specification and Description Language (Z100 standard from ITU-T).

This is NOT related to the graphical Simple DirectMedia Layer libraries!

Visit for more information about SDL.
Visit to get a full-featured commercial SDL tool and support

![alt tag](icons/opengeode-screenshot.png)


- Graphical editor of SDL processes and procedures.
- SDL2010 features: state composition and state aggregation
- Works on pure PR+CIF files (textual SDL notation)
- Supports ASN.1 data types - using ESA Space Certified compiler (
- Generates Ada code
- Automatic conversion to Statechart diagrams
- Save the complete or parts of the model to PNG/SVG/PDF files
- Hyperlinks (link a symbol content to any external document or web page)
- Context-dependent text auto-completion
- Syntax highlighting
- Undo/Redo, Copy-Paste
- (Limited) VIM mode - You can use :wq or :%s,search,replace,g, and /search pattern
- SDL to LLVM code generation
- Python API to parse and render SDL from other Python modules


On Windows, download the binary from [here](

Uzip it and run opengeode.exe. It contains everything without any other external dependencies.

Linux Pre-requisites

To install OpenGEODE on Linux you need to install some system-level dependencies:

- Python 2.7 with pip (installed by default on nearly all Linux distributions)
- Pyside
- Graphviz
- [ASN1SCC](

And optionally llvm and llvmpy

On Debian, Ubuntu, and probably other distributions:

$ sudo apt-get install pkg-config python-pyside pyside-tools graphviz \
graphviz-dev libgraphviz-dev python-pip gnat-4.8 \
libmono-system-runtime4.0-cil libmono-corlib4.0-cil \
libmono-system-runtime-serialization-formatters-soap4.0-cil \
libmono-system-web4.0-cil libmono-system-xml4.0-cil \
libmono-system4.0-cil mono-runtime libmono-system-numerics4.0-cil \
libmono-system-data-linq4.0-cil libmono-corlib2.0-cil libmono-system2.0-cil

To install the ASN.1 compiler:

$ cd /opt
$ wget
$ tar zxvf ASN1SCC-latest.tgz
$ echo 'export PATH=$PATH:/opt/asn1scc' >> ~/.bashrc

Open a new terminal and check that it works:

$ mono /opt/asn1scc/asn1.exe

Optionally, to install llvmpy and LLVM follow the instructions [here](

OpenGEODE installation

Make sure all dependencies are installed.

If you see a certificate error, you may need to run the following commands:

$ echo -n | openssl s_client -connect | sed -ne '/-BEGIN CERTIFICATE-/,/-END CERTIFICATE-/p' > gitrepos.cert
$ sudo cp gitrepos.cert /usr/local/share/ca-certificates/gitrepos.crt
$ sudo update-ca-certificate

Then you can get the software with git:

$ git clone --recursive

And install it:

$ cd opengeode
$ make install

Information and contact

OpenGEODE is part of the [TASTE project](

For additional information please contact:
maxime (dot) perrotin (at) esa (dot) int

The LLVM backend was designed and implemented by Diego Barbera during the ESA
Summer of Code 2014.
Some parts implemented by Laurent Meyer (native SDL type support in the parser)

The ASN.1 compiler (ASN1Scc) that OpenGEODE is based on was
developed by George Mamais and Thanassis Tsiodras for the European
Space Agency. Information at


License is LGPL (see file LICENSE)
There is no runtime, and the generated code is not subject to any license.

The fonts are the fonts from Ubuntu, check licence in file FONT-LICENSE.TXT
The background pattern was downloaded from


1.5.2 (07/2016):
- Asn1scc API added to interface with DMT/asn2dataModel
- Better statechart rendering (less distance between nodes)

1.4.5 (07/2016):
- Context variable was not prefixed properly
- Callback function for timers use 64bits integer
- RIs use prefix with unicode separation to avoid name clashes

1.4.4 (06/2016)
- Minor bugfix in Ada backend to support typeless systems

1.4.3 (06/2016)
- Add support for priority of continuous signals in Ada code generator

1.4.2 (06/2016)
- Reload / render properly priority of continuous signals

1.4.1 (06/2016)
- Continuous states can check the presence of messages in the input queue
to respect the SDL semantics
- Bugfix in Ada code generator on continuous states

1.3.28 (06/2016)
- Excluded states (with *(statelist) ) were case sensitive

1.3.27 (05/2016)
- Fix bug in Ada backend when using continous signals
- Better handling of simulation script

1.3.26 (05/2016)
- Fix parser issues with negative expressions

1.3.25 (05/2016)
- Fix reporting of syntax errors in state aggregations

1.3.22 (05/2016)
- Bug fix in range checks for division and subtraction
- Optimise loading when there are no CIF comments

1.3.21 (05/2016)
- Complete support of optional fields
(check tests/regression/test-optionalfields)

1.3.20 (05/2016)
- Improve simulator interface

1.3.19 (04/2016)
- Various bugfixes with ternary operator
- Added demo "test-save" showing how to emulate the behaviour of the SAVE
- ASN.1 types are shown with SDL-syntax (no hyphens)

1.3.18 (04/2016)
- Add support for value notation of NULL type
- Remove warning when accessing CHOICE fields

1.3.17 (04/2016)
- Add support for value notation of empty SEQUENCEs ("{}")

1.3.16 (03/2016)
- Bugfix in testing aggregation states in the GUI

1.3.15 (03/2016)
- Bugfix in Ada backend when a state aggregation contained only empty
states (directly returning states).

- Minor bugfix with command line handling

- Bugfix in rendering of Continuous signals

- Render properly parameterless procedures that are declared in the .pr
file but without a textbox
- When going to parent scene, fixed rendering issue

- Parser is more tolerant to incomplete systems

1.3.9/10 (01/2016)
- Checker verifies that decision coverage is complete on Real and Boolean
- F3 generates Ada code

1.3.8 (01/2016)
- Fix logging when LLVM is not installed

1.3.7 (12/2015)
- Added icon to use Continuous Signals from the GUI

1.3.6 (11/2015)
- Support external procedures having a return statement
this allows to import math functions from the libmath without having
to provide manual code. see test-math

1.3.5 (11/2015)
- Better support for continous signals

1.3.4 (11/2015)
- Early support for continous signals
- Regression issue fixed (test-nocif2)

1.3.3 (11/2015)
- Better support of platform-dependent screen resolution and dpi
- Minor fixes in statechart scenes (no negative coordinates)

1.3.1 (11/2015)
- Support for State Aggregations (parallel states)
- Improved statechart rendering

1.2.10 (10/2015)
- Better support of renamePolicy
- Better handling of models without CIF coordinates
- Minor bug fixes
- Forloop syntax error handled correctly when using range
- support Hex and bit string literals when working with OCTET STRING
- support OUT keyword for procedure FPAR

1.2.4 (07/2015)
- Use version 3.2.x of the ASN1SCC compiler with new -renamePolicy flag
- Improve robustness

1.1.1 (07/2015)
- Strongly report syntax errors with symbol location and warning if user
tries to save a model with syntax errors

1.1.0 (07/2015)
- Write/Writeln procedure support enumerated types

1.0.1 (06/2015)
- Bugfix: use mono when calling asn1.exe by default (needed redhat-based

1.0.0 (06/2015)
- Bugfixes and minor improvements
- Python API / Simulator function (coupled with other TASTE components)

1.0RC (10/2014)
- Release candidate Version 1
- Allow standalone systems (made of one process)
- Major refactoring of parser and Ada backend
- Many bugfixes and improvements
- First version of LLVM backend

0.994 (07/2014)
- Maintenance release, minor fixes

0.993 (07/2014)
- Parser bugfixes
- Better support for nested states
- Ada generator improvements
- Support for unicode
- Indentation of PR code
- Copy-paste of procedures and nested states
- Improved regression testing

0.99 (04/2014)
- Refactoring of the backend engine, now using singledispatch
- Support of hierachical states
- Minor bugfixes

- Added support for FOR loops
In a task, use "for x in range([start], stop, [range]): ... endfor"
or "for x in sequenceOfvariable: ... endfor"
- Default symbol size is smaller
- Various minor bugfixes

- added support for default value when declaring a variable
e.g. DCL myVar myType ::= { x 5, y 2 };
default value must be a ground expression

Project details

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Files for opengeode, version 1.5.2
Filename, size File type Python version Upload date Hashes
Filename, size opengeode-1.5.2.tar.gz (1.5 MB) File type Source Python version None Upload date Hashes View hashes

Supported by

Elastic Elastic Search Pingdom Pingdom Monitoring Google Google BigQuery Sentry Sentry Error logging AWS AWS Cloud computing DataDog DataDog Monitoring Fastly Fastly CDN DigiCert DigiCert EV certificate StatusPage StatusPage Status page