... guarantees^2.1

SCADE, for example, has been qualified for DO-178B up to level A.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... compiler^2.2

In our case, Semantix's Space Certifiable Compiler, asn1Scc (http://www.semantix.gr/asn1scc/)

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... problems^2.3

Lost satellites being one of them.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... structures^2.4

If $long$ is used as the equivalent C data type, it would mean that under a 32-bit environment INTEGERs can only store numbers from -2147483648 to 2147483647.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... AADL^3.1

If UML tools were used for the system model, the UML system models are automatically translated into the appropriate AADL declarations.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... C^3.2

In the case of integrating with manually written Ada code, it also creates the equivalent Ada data structures.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... standalone^3.3

i.e. not containing pointers to other entities.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... PyChecker^6.1

http://pychecker.sourceforge.net/

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... coverage^6.2

By using the -m trace option of Python.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... asn1Scc^9.1

http://www.semantix.gr/asn1scc/

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.