Partitions

In case of a partitioned architecture, we need to describe partitions in your AADL model. In that case, partitions are mapped with two AADL components: process and virtual processor.

The virtual processor models the runtime of the partition (its scheduler, needed functionalities and so on).

We associate the virtual processor component (partition runtime) and its process component (partition address space) with the Actual_Processor_Binding property.