An ASN.1 compiler for embedded/space systems

George Mamais , Thanassis Tsiodras , David Lesens (1) , Maxime Perrotin (2)

1 Airbus Defence and Space [Les Mureaux]
2 ESTEC - European Space Research and Technology Centre

This paper presents ASN1SCC, an open source 2 ASN.1 compiler that generates C/C++ and SPARK/Ada code suitable for low resource environments such as space systems. Moreover, the compiler can produce a test harness that provides full statement coverage in the generated code, and therefore significantly improves its quality. This paper also presents ACN, a new ASN.1 encoding that allows protocol designers to completely control the format of the encoded ASN.1 stream and hence integrate ASN.1 applications with legacy ones. With ASN.1 and ACN, various space protocols such as PUS 3 can be modeled and with the usage of this ASN.1 compiler get automatic implementations of the encoders and decoders. Finally, the ASN.1 compiler can translate an ASN.1/ACN definition into an Interface Control Document (ICD), thus allowing interoperability with projects and people who don't know/use ASN.1.

Mots clés: ASN1SCC; ASN.1; space systems; embedded systems

Domaines: Informatique [cs]; Systèmes embarqués

George Mamais, Thanassis Tsiodras, David Lesens, Maxime Perrotin. An ASN.1 compiler for embedded/space systems. Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France. ⟨hal-02263447⟩