11.7 Instancemodeexample.aadl
This is a system with a GPS sender and GPS receiver thread. The system has three instances of the GPS process, combinations of which as active in different modes.  You can instantiate this model and the model instance will include all possible legal mode combinations for the system operation mode.
11.7.1 Running the Example
Compile the file. Open the aaxl file. Select GPS_System.impl and instantiate. Open the instance model and you will see listed the system operation modes together with the system instance.