| Ficha completa |
| Título: | Real-time Operating System modeling in SystemC for HW/SW co-simulation |
| Tipo: | Publicacion en Proceedings o Actas internacionales |
| Lugar: | XX Conference on Design of Circuits and Integrated Systems, DCIS'05, IST Lisboa. |
| Fecha: | 2005-11 |
| Autores: |
Héctor Posadas
Eugenio Villar
Francisco Blasco
|
| Líneas: |
Diseño y verificación de sistemas embebidos HW/SW
|
| Proyectos: |
ITEA IP 03002 MERCED
Metodologías de especificación, análisis de prestaciones y verificación d...
|
| ISBN: | 972-99387-2-5 |
| Fichero: | ver fichero
|
| Resumen: | La co-simulación HW/SW require de la simulación temporal del SW embebido incluyendo los efectos del RTOS utilizado. Los lenguajes de especificación de sistemas representan uno de los medios más útiles para simular sistemas HW/SW complejos. Entre ellos, SystemC es el que está ganando una mayor aceptación por parte de la comunidad de diseño. Sin embargo, SystemC no soporta directamente ciertas características de los RTOS. El modelado del RTOS requiere de la estimación precisa del tiempo de ejecución. PERFidy proporciona esta información. Este trabajo presenta un método que proporciona al diseñador la capacidad de simulación temnoral del SW embebido incluyendo las características del RTOS. La solución propuesta se basa en un modelo del RTOS con una simulación precisa del paginado temporal. |
