Public Repository

Last pushed: a year ago
Short Description
ASN1SCC: An open source ASN.1 compiler for embedded systems
Full Description

Please read the full description in the corresponding GitHub repo.

Executive summary:

ASN1SCC compiles ASN.1 grammars and generates code for safety-critical systems: the C (or Ada) output is automatically tested by auto-generated test cases that exercise the encoders and decoders to 100% statement coverage. For Ada, the code is also annotated with SPARK - so the SPARK formal-verification tools verify the encoders and decoders before we even compile the code.

In one sentence: bulletproof message marshalling for embedded systems.

Docker Pull Command