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. |
|
|
