Guillaume Champagne

Hi, It seems most of the errors were introduced around the time this [commit ](https://github.com/OpenAADL/ocarina/commit/1427953c3d0a828578e775f91f63bd899fd193d5#diff-2c49c9d214e7b262243383d15069b909) was merged into ocarina. Mainly, it seems Module_Major_Frame, Partition_Slots, Slots_Allocation from ARINC653:: has to be...

Sorry for the late reply. 1 - Ocarina 2017.1 (Working Copy from rfb77e27) --> [Github binaries](https://github.com/OpenAADL/ocarina/releases) 2 - Latest pok master (commit ddca1c4) 3 - `make` in examples/arinc653-events or any...

Thank you for the answer. If I understand correctly the ocarina compiler is not correctly using its property set defined in ocarina/resources/AADLv2/arinc653.aadl, so the backend for POK defined in ocarina/src/backends/arinc653/...