Automatic configuration from ARINC653 XML files

You can automatically generate the configuration of your kernel using ARINC653 XML deployment files. For that, we designed a tool that analyzes ARINC653 XML files and automatically produce the C configuration code (deployment.h and deployment.c).

However, the configuration produced is not as complete as the one generated from AADL models. Indeed, ARINC653 XML files do not contain enough information to generate the whole configuration and is not sufficient to generate the configuration of partitions. However, this is a good way to have basic configuration files that can be improved by manual editing.

The tool is located in the misc directory of POK releases. You can use it as it:

misc/arinc653-xml-conf.pl arinc653-configuration-file.xml

When it is invoked, this program automatically produces two files: deployment.h and deployment.c. These files must be compiled with the kernel for its automatic configuration.