* Complete implementation of all ARINC653 verification
  - Bindings of partitions
  - Memory dimensioning