Installation Instructions
- Download and install Eclipse Modeling Tools (Juno Service Release1,Linux)
- Install MARTE, Papyrus and ATL plugins
- Run the installed Elicpse Modeling Tools.
- Install Papyrus and ATL plugins from "help--Install Modeling Component".
- Install Papyrus additional components from "help--Install Papyrus Additional Components". All Papyrus additinal plugins including MARTE(Incubation) should be chosen.
- Install FMPAer plugin
- Download FMPAerV1.0.zip, which contains FMPAer.jar and some examples.
- Copy the FMPAer.jar into plugins folder of the installation directory of Eclipse Modeling Tools.
- Download and install PRISM Tool
- Download and install UPPAAL Tool
After installing FMPAer, "FMPAerMenu" menu, as shown in Figure 1, is added to the menu bar. The corresponding tool buttons, as shown in Figure 2, is added to toolbar; and the corresponding right button menu is added, as shown in Figure 3.
- Figure 1
- Figure 2
- Figure 3
User Manual
- MARTE Model
The instructions of using Papyrus to build MARTE models is refered to Papyrus Tutorials. - Performance Analysis
Select the corresponding performance analysis menu or button, such as throughput. A throughput analysis dialog box as Figure 4 will be shown. The locations of the MARTE model under analysis and UPPAAL tool can be defined by users. UPPAAL tool can be deployed on local computer or on server.
- Analysis Result
The analysis result is shown in a dialog box as Figure 5.
Figure 4 Throughput analysis window
Figure 5 Throughput analysis result