Grupo de Ingeniería Microelectrónica

Grupo de Ingeniería Microelectrónica

Departamento de Tecnología Electrónica, Ingeniería de Sistemas y Automática Universidad de Cantabria
Home   Personas   Investigación   Docencia   Doctorado   Publicaciones   Herramientas   Bolsa de Empleo   english version Sat 25-May-19 . 08:17



Mapa Web


Localización

Noticias

Info Santander



Gestión BD

GIM>Investigación>Publicación
   PUBLICACION
 
   Ficha completa
Título:System specification methodology
Tipo:Informe, Estudio o Dictamen por encargo
Lugar:Deliverable D1.3 of the FP7 Pharaon Project
Fecha:2012-06
Autores: Héctor Posadas
Eugenio Villar
Pablo Peñil
F. Broekaert
C. Chantal
L. Lavagno
A. Terechko
M. Bourdelles
S. Li
Líneas: Diseño y verificación de sistemas embebidos HW/SW
Proyectos: FP7 288307 PHARAON
ISBN:
Fichero:
Resumen: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)    ¤    Todos los derechos Reservados.    ¤    Términos LegalesE-Mail Webmaster