Microelectronics Engineering Group

Microelectronics Engineering Group

Electronics Technology, Systems and Automation Engineering Department University of Cantabria
Home    Staff    Research    Teaching    Doctorate    Publications    Tools    versión en español Tue 19-Mar-24 . 03:21



Web Map


Location

News

Santander Info

GIM>Research>Publication
   PUBLICATION
 
   Full record
Title:System specification methodology
Type:Report, Study or Opinion by order
Where:Deliverable D1.3 of the FP7 Pharaon Project
Date:2012-06
Authors: Héctor Posadas
Eugenio Villar
Pablo Peñil
F. Broekaert
C. Chantal
L. Lavagno
A. Terechko
M. Bourdelles
S. Li
R&D Lines: Design and verification of HW/SW embedded systems
Projects: FP7 288307 PHARAON
ISBN:
PDF File:
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.
© Copyright GIM (TEISA-UC)    ¤    All rights reserved.    ¤    Legal TermsE-Mail Webmaster