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 24-Mar-19 . 04:39



Mapa Web


Localización

Noticias

Info Santander



Gestión BD

GIM>investigación>proyecto>FP7 216807 SATURN...
PROYECTO:
 FP7 216807 SATURN
   Seguir este link para ver las PUBLICACIONES dentro de este proyecto
 
Título:FP7 216807 SATURN
Acrónimo: 
Financia:FP7 ICT EC 
Socios:Artisan, Extessy AG, Intracom, Thales, Paderborn University 
Presupuesto:193200€ Año comienzo:2008  final:2010 
Director:Eugenio Villar 
Temas: Diseño y verificación de sistemas embebidos HW/SW
Personas: Eugenio Villar
Pablo Peñil
Pablo Garralda
Descripción:El principal objetivo del proyecto SATURN es salvar la brecha existente entre modelado y verificación/síntesis en el diseño basado en UML de sistemas embebidos HW/SW. Para lograr este objetivo, se evaluó la aplicación complementaria de MARTE, el perfil UML para Análisis y Modelado de Systemas Embebidos de Tiempo-Real y de SysML, el perfil UML para la especificación de sistemas que se mejoró con semántica formal para diferentes Modelos de Computación en entornos integrados de modelado y verificación. Cubriendo la brecha entre modelado y verificación, el proyecto SATURN redujo significativamente el tiempo a mercado del proceso de diseño mediante: (a) el aumento de SysML con MARTE, (b) el uso de MARTE como plataforma básica para integrar SysML en entornos dinámicos de verificación cruzada, (c) la generación automática de descripciones implementables de componentes tanto HW (SystemC/VHDL) como de SW embebido (C/C++), asi como, (d) la integración de diferentes niveles de abstracción que soporten la integración natural de la funcionalidad y la arquitectura. Los resultados se validaron en dos pruebas de concepto industriales, un sistema de cámara inteligente y un sistema de comunicación inalámbrica de banda ancha.
project  

© Copyright GIM (TEISA-UC)    ¤    Todos los derechos Reservados.    ¤    Términos LegalesE-Mail Webmaster