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



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