Mapa Web
Localización
Noticias
Info Santander
Gestión BD
|
| GIM>investigación>proyecto>Metodologías de espe... |
| PROYECTO: |
| | Metodologías de especificación, análisis de prestaciones y verificación de sistemas embebidos en SystemC |
| Seguir este link para ver las PUBLICACIONES dentro de este proyecto |
| |
| Título: | Metodologías de especificación, análisis de prestaciones y verificación de sistemas embebidos en SystemC |
| Acrónimo: | |
| Financia: | CICYT |
| Socios: | Dibal, Setelsa, TTI |
| Presupuesto: | 105813€ |
Año comienzo: | 2003 |
final: | 2005 |
| Director: | Pablo Pedro Sánchez |
| Temas: |
Diseño y verificación de sistemas embebidos HW/SW
|
| Personas: |
Pablo Pedro Sánchez
Eugenio Villar
Víctor Fernández
Victorina Fernández
Iñigo Ugarte
|
| Descripción: | El objetivo del proyecto es investigar aspectos del diseño de sistemas embebidos que no fueron totalmente abordados en proyectos anteriores. Concretamente, el desarrollo de metodologías que minimizen el impacto de la partición HW/SW y permitan integrar el efecto del sistema operativo de tiempo real (RTOS), la mejora del análisis de prestaciones en tiempo real con el efecto del RTOS y el estudio de nuevas técnicas de verificación de sistemas embebidos. |
|
|
