-------------------------------- HIERARCHICAL SCHEDULER PATTERN -------------------------------- Three periodic threads. Two of them run in a partition and the third one in another partition. The two levels of scheduling are defined according to the AADL ARINC 653 Annex recommandations: - Virtual Processors are bound to the processor - Virtual Processors may have different Scheduling_Protocols - Processes are bound to Virtual processors (time partitions) - Processes are bound to Memory subcomponents (space partitions) Notes for analysis with AADL Inspector: - The processor must have 'ARINC653' as Scheduling_Protocol - A specific static analysis tool is available for ARINC 653