This is the source code of the ASN1SCC compiler - an ASN.1 compiler that targets C, Ada and Scala while placing specific emphasis on embedded systems.
ASN1SCC is the ASN.1 compiler of the European Space Agency and is used is space missions to support binary encoding needs in satellite systems flight and ground software.
An overview of the ASN.1 language support scope is available on this page
What makes ASN1SCC unique is that in addition to supporting the standard ASN.1 uPER compact binary encoding rules, it offers the possibility to describe custom binary encoding rules with a simple textual notation, in order to communicate with equipments that come with legacy data formats. Check out this page to get a comprehensive overview of the feature, and this page for concrete examples as used in space systems.
To know more you can also read this conference paper about ASN1SCC (PDF), or a blog post with hands-on examples. Suffice to say, if you are developing for embedded systems, it will probably interest you.
First, install the Java JRE. This is a compile-time only dependency, required to execute ANTLR.
Install the .NET 7.0 sdk. Add NuGet package source (in case it is missing) by executing:
dotnet nuget add source "https://api.nuget.org/v3/index.json" --name "NuGet"
Then execute...
dotnet build "asn1scc.sln"
...and the compiler will be built.
On Linux (debian) the build can be done with the following command:
$ make -f Makefile.debian
(all dependencies will be installed automatically)
Under Windows, you can also open open asn1scc.sln and build the asn1scc project (right-click/build)
cd v4Tests
make
Note that in order to run the tests you need both GCC and GNAT. The tests will process hundreds of ASN.1 grammars, generate C and Ada source code, compile it, run it, and check the coverage results.
ASN1SCC is setup to use CircleCI for continuous integration. Upon every commit or merge request, we instruct CircleCI to...
- create on the fly a Docker image based on Microsoft's .NET image
- build ASN1SCC with the new code inside that image
- then run all the tests and check the coverage results.
In addition, a runtime docker image can be build with the following command which can then be used instead of installing ASN1SCC on the host (or any of the dependencies or build tools).
DOCKER_BUILDKIT=1 docker build -t asn1scc-runtime -f Dockerfile.runtime .
...and your Docker will build an "asn1scc-runtime" Docker image. This image can be
used as if the ASN1SCC is installed on the host system. The asn1-docker.sh
bash script can be used to wrap the docker run ... call into a easy to use compiler command.
For example, let's assume your ASN.1 files are in a folder as /tmp/myasnfiles/. You can use
this script file like calling asn1.exe file as if it is on your host system. The ASN1SCC will
be executed inside a docker container and the generated files will appear in the folder
where the script was called. Assuming that the ASN.1 file is named sample.asn, here is a sample
call of the script (asn1-docker.sh script is inside /opt/asn1scc folder and the docker image
named asn1scc-runtime is already built.)
$ pwd
/tmp/myasnfiles
$ cat sample.asn
MY-MODULE DEFINITIONS AUTOMATIC TAGS ::= BEGIN
Message ::= SEQUENCE {
msgId INTEGER,
myflag INTEGER,
value REAL,
szDescription OCTET STRING (SIZE(10)),
isReady BOOLEAN
}
END
$ /opt/asn1scc/asn1-docker.sh -c -uPER sample.asn
$ ls
asn1crt.c asn1crt_encoding.c asn1crt_encoding.h asn1crt_encoding_uper.c asn1crt_encoding_uper.h asn1crt.h sample.asn sample.c sample.hAs can be seen above, the host does not have the ASN1SCC installation; only the asn1scc-runtime docker image.
The compiler has many features and you can see some simple usage examples in a blog post. You can also check out the official TASTE project site.
This is an example of use, assuming you have created the ASN.1 sample given above. If you have installed the compiler binary instead of the Docker image, you may generate the code with this command:
$ asn1scc -c -uPER sample.asnWe will write a simple C function that creates a variable of type "Message", then encode it and print the resulting binary data:
$ cat sample_test.c
#include <stdio.h>
#include "sample.h"
int main(void)
{
Message testMessage = { // create a dummy message for the test
.msgId = 1,
.myflag = 2,
.value = 3.14,
.szDescription = {
.arr = "HelloWorld"
},
.isReady = true
};
// Create a buffer to hold the encoded data.
// The (maximum) size is computed by the compiler and set
// in a macro defined in sample.h
unsigned char encodedBuffer[Message_REQUIRED_BYTES_FOR_ENCODING];
// The encoder needs a data structure for the serialization
BitStream encodedMessage;
// The Encoder may fail and update an error code
int errCode;
// Initialization associates the buffer to the bit stream
BitStream_Init (&encodedMessage,
encodedBuffer,
Message_REQUIRED_BYTES_FOR_ENCODING);
// Encode the message using uPER encoding rule
if (!Message_Encode(&testMessage,
&encodedMessage,
&errCode,
true))
{
// Error codes are defined as macros in sample.h
printf("Encoding failed with error code %d\n", errCode);
}
else // Everything went fine, print the message as a suite of hex numbers
{
int encodedSize = BitStream_GetLength(&encodedMessage);
for (int i=0; i<encodedSize; ++i)
{
printf("%02x ", encodedBuffer[i]);
}
printf("(%d bytes)\n", encodedSize);
}
}Then compile it and run it:
$ gcc -o sample_test *.c
$ ./sample_test
01 01 01 02 09 80 cd 19 1e b8 51 eb 85 1f 48 65 6c 6c 6f 57 6f 72 6c 64 80 (25 bytes)Project supervisor at the European Space Agency: Maxime Perrotin ([email protected])
Main project developer: George Mamais ([email protected])
Check https://lamdasoft.eu/asn1scc/ if you need commercial support
Major contributor: Thanassis Tsiodras ([email protected])
The Scala backend was developed by:
- Filip Schramka (Ateleris)
- Ivo Nussbaumer (Ateleris)
- Mario Bucev (EPFL)
- Simon Felix (Ateleris)