TASTE Data Modelling Tools

These are the tools used by the European Space Agency's TASTE toolchain to automate handling of the Data Modelling. They include more than two dozen codegenerators that automatically create the 'glue'; the run-time translation bridges that allow code generated by modelling tools (Simulink, SCADE, OpenGeode, etc) to "speak" to one another, via ASN.1 marshalling.

For the encoders and decoders of the messages themselves, TASTE uses ASN1SCC - an ASN.1 compiler specifically engineered for safety-critical environments.

For more details, visit the TASTE site.

Installation

Linux Dependencies:

$ sudo apt-get install libxslt1-dev libxml2-dev zlib1g-dev python3-pip

MacOS Dependencies:

$ brew update
$ brew upgrade
$ brew install libxslt python3 lzlib binutils libantlr3c wget
$ wget -O - -q https://github.com/ttsiodras/DataModellingTools/files/335591/antlr-2.7.7.tar.gz | tar zxvf - ; cd antlr-2.7.7/lib/python ; pip2 install . 

Installation command:

$ cd DataModellingTools
$ pip3 install --user --upgrade .

MacOS users:

Add to your PATH into the .bash_profile file $HOME/Library/Python/x.y/bin where x.yspecifies the current version of Python3 installed.

For developers

Installation command

$ pip3 install --user --upgrade --editable .

For developing the tools, the packaged Makefile allow for easy static-analysis via the dominant Python static analyzers and syntax checkers:

$ make flake8  # check for pep8 compliance
$ make pylint  # static analysis with pylint
$ make mypy    # type analysis with mypy

Contents

What is packaged:

• commonPy (library)

  Contains the basic API for parsing ASN.1 (via invocation of ASN1SCC and simplification of the generated XML AST representation to the Python classes inside asnAST.py. The class diagram with the AST classes is packaged in the code.

• asn2aadlPlus (utility)

  Converts the type declarations inside ASN.1 grammars to AADL declarations, that are used by Ocarina to generate the executable containers.

• asn2aadlVDM (utility)

  Create an AADL architecture from the ASN.1 grammars used to trigger the generation of    converting functions between the VDM's TVP C representation and ASN.1 C representation.

• asn2dataModel (utility)

  Reads the ASN.1 specification of the exchanged messages, and generates the semantically equivalent Modeling tool/Modeling language declarations (e.g. SCADE/Lustre, Matlab/Simulink, etc).

  The actual mapping logic exists in plugins, called A mappers (simulink_A_mapper.py handles Simulink/RTW, scade6_A_mapper.py handles SCADE6, ada_A_mapper.py generates Ada types, sqlalchemy_A_mapper.py, generates SQL definitions via SQLAlchemy, etc)

• aadl2glueC (utility)

  Reads the AADL specification of the system, and then generates the runtime bridge-code that will map the message data structures from those generated by ASN1SCC to/from those generated by the modeling tool (that is used to functionally model the subsystem - e.g. SCADE, ObjectGeode, Matlab/Simulink, C, Ada, etc).

Contact

For bug reports, please use the Issue Tracker; for any other communication, contact me at:

Thanassis Tsiodras
Real-time Embedded Software Engineer
System, Software and Technology Department
European Space Agency

ESTEC
Keplerlaan 1, PO Box 299
NL-2200 AG Noordwijk, The Netherlands
Athanasios.Tsiodras@esa.int | www.esa.int
T +31 71 565 5332