Partitioning and Composability in ARINC 653 Conformant Real-Time Operating Systems