| PUBLICATION |
| Full record |
|Title:||System specification methodology|
|Type:||Report, Study or Opinion by order
|Where:||Deliverable D1.3 of the FP7 Pharaon Project|
Design and verification of HW/SW embedded systems
FP7 288307 PHARAON
|Abstract:||This deliverable describes the UML/MARTE system modelling methodology developed in T1.2 of the PHARAON project. The system model covers all the views required to support the parallelization algorithms. The model will serve as input to the SW synthesis, parallelization and power estimation tools, improving previous system modelling methodologies proposed in UML/MARTE.|
As a consequence, the document is structured as follows:
• First, the starting point for defining the PHARAON System Specification Methodology is described, including the background of UC in using UML/MARTE for specifying Real-Time systems and the requirements of the partners to ensure that all the information required by other tasks of the project is included in the model.
• Second, the methodology and details on how to use UML/MARTE in the PHARAON project are presented, including specific information on parallelization support
• Finally, an analysis of the proposed specification methodology performed by the industrial partners is included, considering its application for the proposed industrial use cases to be developed in the project.