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 Fri 29-Mar-24 . 15:56



Mapa Web


Localización

Noticias

Info Santander



Gestión BD

GIM>Investigación>Publicación
   PUBLICACION
 
   Ficha completa
Título:A Framework for Heterogeneous Specification and Design of Electronic Embedded Systems in SystemC
Tipo:Articulo en revista internacional
Lugar:ACM Transactions on Design Automation of Electronic Systems, Special Issue on Demonstrable Software Systems and Hardware Platforms, V.12, Issue 3, N.22
Fecha:2007-08
Autores: Fernando Herrera
Eugenio Villar
Líneas: Diseño y verificación de sistemas embebidos HW/SW
Proyectos: IST 033511 ANDRES
ISBN:1084-4309
Fichero:
Resumen:Este trabajo propone una metodología que posibilita la especificación heterogénea de sistemas electrónicos complejos en SystemC, soportanto la integración de componentes bajo diferentes Modelos de Computación (MoCs). Esta característica es necesaría para poder tratar la creciente complejidad, concurrencia y heterogeneidad de los sistemas embebidos electrónicos. La metodología de especificación está basada en el lenguaje estándar SystemC. Sin embargo, el uso de SystemC para la especificación heterogénea de sistemas no es trivial. El primer problema a tratar es el mapeo eficiente y predecible de los eventos atemporales, requerido por MoCs abstractos sobre el MoC de Eventos Discretos en el que se basa el kernel de simulación de SystemC. Este mapeo es esencial para el entendimiento de los resultados de simulación provistos por el modelo SystemC de esos MoCs. La metodología de especificación propone un conjunto de reglas y guías requeridas por cada MoC específico. Es más, la metodología soporta una suave integración de varios MoCs en la misma especificación del sistema. Para cubrir las deficiencias del lenguaje, se provee un conjunto de facilidades. Estas facilidades constituyen la librería metodológica HetSC. La metodología HetSC y su librería asociada HetSC han demostrado ser útiles para la especificación de sistemas embebidos complejos y heterogéneos, soportanto tareas de diseño esenciales tales como el análisis de rendimiento y la generación de software.
Artículo.
© Copyright GIM (TEISA-UC)    ¤    Todos los derechos Reservados.    ¤    Términos LegalesE-Mail Webmaster