ARINC653 Annex -- AS5506/5 document preparation

[jjhugues]

This issue tracks the preparation of the AS5506/5 document. This document will gather all annexes in one document.

This particular issue tracks the progress in preparing the chapter on the ARINC653 annex.

ARINC653 annex has been updated in AS5506/5 to address the following errata:

• issue Inconsistencies between ARINC653 annex property definitions and examples #2 lead to the update of all examples to be consistent with the current ARINC653 property sets. The diagrams have been updated to use the latest OSATE graphical editor;
• issue Clarify use of Scheduling_Protocol #3 clarified that the default scheduling policy for scheduling partitions should use the ARINC653 policy;
• issue Clarify AADL ARINC 653 guidance for multi-cores #4 updated guidance for modeling multicore systems

In addition, the document has been updated to match the latest SAE template.
All models and property sets are available in the git repository at https://github.com/saeaadl/arinc653

The document is now ready for review.