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 Tue 15-Oct-19 . 19:40



Mapa Web


Localización

Noticias

Info Santander



Gestión BD

GIM>Investigación>Publicación
   PUBLICACION
 
   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.
© Copyright GIM (TEISA-UC)    ¤    Todos los derechos Reservados.    ¤    Términos LegalesE-Mail Webmaster