用Ada语言实现ARINC653定义的航空电子应用软件的标准接口

用Ada语言实现ARINC653定义的航空电子应用软件的标准接口（APEX），即是用Ada语言编写一套程序，使之实现APEX规定的功能。

这套程序的开发环境是AdaCore发布的基于Windows平台的GPS 2016，如下图所示。

 

这套程序通过GPS 2016构建为一个dll库。

再用C语言写了一个外壳程序，通过调用上述dll库使之实现ARINC653的C语言接口。该程序通过Visual Studio 2010构建为又一个dll库。

用户获得这两个dll库以及相应的C语言头文件后，就可在Visual Studio 环境中编写、调试、仿真运行符合ARINC 653的应用程序。

2017年完成了上述工作。但是，至今未能用于实际项目。