Figure 1:
Using AADL (a) to model (b) analyse and (c) generate code for complex MPSoC.