Projects for tag "SDL"

opus (PUS-C Tooling)

The opus toolset, previously known as PUS-C-Gen allows to work with the PUS-C Standard, in particular: - Instantiate and tailor the standard for a new mission - C...

Licenses: European Space Agency Community License – v2.4 Permissive (Type 3)
read more
Updated on: 20/01/2021
Created on: 20/01/2021
Version Control System: git
Owner: ESA
Tags: TASTE ASN.1 SDL MSC PUS-C
ASN1SCC - ASN.1 Space Certifiable Compiler

ASN1SCC is an ASN.1 compiler that was developed for ESA to cover all data modelling needs of space applications. The compiler is targetting safe systems and genera...

read more
Updated on: 17/05/2018
Created on: 29/04/2015
Version Control System: git
Owner: Neuropublic
Links:
  1. Source code : ASN1SCC Source code repository
  2. Blog article : Article introducing ASN1SCC
Tags: ASN.1 SDL F#
OpenGEODE

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...

read more
Updated on: 25/11/2016
Created on: 29/04/2015
Version Control System: git
Owner: ESA
Links:
  1. Homepage : OpenGEODE
  2. Source code : OpenGEODE Source code repository
Tags: TASTE ASN.1 SDL Python Ada Model Checking ANTLR
TASTE

TASTE is a development environment dedicated to embedded, real-time systems and was created under the initiative of the European Space Agency back in 2008, after th...

read more
Updated on: 20/01/2021
Created on: 24/04/2015
Owner: ESA
Links:
  1. Homepage
Tags: TASTE ASN.1 SDL MSC AADL Python F#