Projects for tag "F#"

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