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 Sun 21-Jul-19 . 03:02



Mapa Web


Localización

Noticias

Info Santander



Gestión BD

GIM>Investigación>Publicación
   PUBLICACION
 
   Ficha completa
Título:The SATURN Methodology for the Co-Verification of Embedded Systems(Final Version)
Tipo:Informe, Estudio o Dictamen por encargo
Lugar:Deliverable D3.5 the FP7-216807 SATURN Project
Fecha:2010-12
Autores: Wolfgang Mueller
Da He
Fabian Mischkalla
Pablo Peñil
Eugenio Villar
Líneas: Diseño y verificación de sistemas embebidos HW/SW
Proyectos: FP7 216807 SATURN
ISBN:
Fichero:
Resumen:This document presents the final version of the SATURN methodology for UML-based co-design, -simulation, and -synthesis of mixed HW/SW systems. As such, the document outlined the processes and tools applied in the SATURN design flow.
The SATURN methodology is based on the application of several UML profiles at different phases of the design flow. The workflow integrates modelling standards like SysML, MARTE and the Testing Profile for requirements engineering and combines them with the target platform specific SATURN profiles which combines SysML, synthesizable SystemC profile and the HetSC profile for the exploration and the implementation phase.
Aim of the deliverable
The aim of the document is to act as a manual or work instruction for the industrial valuators’ to use on the SATURN project whilst working on the proposed case studies.
© Copyright GIM (TEISA-UC)    ¤    Todos los derechos Reservados.    ¤    Términos LegalesE-Mail Webmaster