An ASN.1 compiler for embedded/space systems

Abstract : 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.
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-02263447
Contributor : Axelle Pagnier <>
Submitted on : Sunday, August 4, 2019 - 7:08:56 PM
Last modification on : Wednesday, August 7, 2019 - 1:23:33 AM

File

7C-4.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02263447, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

2

Files downloads

1