PolyORB-HI/Ada is a high-integrity middleware. It provides core middleware constructs, and must be used in conjunction with code generation from AADL models by Ocarina.
PolyORB-HI/Ada is implemented in Ada 2012, and is compatible with native and Ravenscar Ada runtimes. It has been tested on Linux, OS X, Windows and RTEMS.
The recommended installation process is through the proper configuration and installation of Ocarina, see Ocarina documentation for details.