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 |
|
|
