Mapa Web
Localización
Noticias
Info Santander
Gestión BD
|
| GIM>Investigación>Publicación |
| PUBLICACION |
| |
| Ficha completa |
| Título: | RTOS modeling in SystemC for Real-Time embedded SW simulation: A POSIX model |
| Tipo: | Articulo en revista internacional |
| Lugar: | Design Automation for Embedded Systems, V.10, N.4, Springer, pp.209-227 |
| Fecha: | 2006-12 |
| Autores: |
Héctor Posadas
Jesús Angel Adámez
Eugenio Villar
F. Escuder (DS2)
F. Blasco (DS2)
|
| Líneas: |
Diseño y verificación de sistemas embebidos HW/SW
|
| Proyectos: |
ITEA IP 03002 MERCED
|
| ISBN: | 0929-5585 |
| Fichero: |
|
| Resumen: | En este artículo se proponen técnicas para el modelado preciso de la funcionalidad de los RTOSs sobre el núcleo de simulación estándar SystemC. El modelo permite la simulación temporal y el refinamiento del SW embebido de tiempo-real. La tecnología de simulación ha sido aplicada al desarrollo de una librería SystemC de modelado abstracto y simulación POSIX. La librería permite al diseñador la simulación temporal del SW de aplicación sobre POSIX. Como muchos RTOSs soportan este estándar, la libería es portable a distintos entornos y proporciona la infraestructura requerida para el desarrollo de entornos de co-simulación HW/SW, multiprocesadores a distintos niveles de abstracción.
Artículo. |
|
|
