POK properties for the AADL

The AADL can use user-defined property sets to add specific properties on AADL components. On our side, we define our own AADL properties, added to AADL components to describe some specific behavior.

The POK property set for the AADL can be found in the annex section.

In addition, POK and its associated AADL toolsuite (Ocarina) supports the ARINC653 annex of the AADL. So, you can use models that enforces the ARINC653 annex with POK. The ARINC653 property set for the AADL is included in the annex section of this document.