AADL Extension to Model Classical FPGA and FPGA Embedded within a SoC

Figure 9

The software application deployed onto the configured hardware platform to constitute a PSM.