Tesis doctoral de Fernando Herrera Casanueva
Este trabajo cubre varias de esas carencias fundamentales. En primer lugar, provee una metodología de especificación de sistemas en systemc denominada hetsc. Esta metodología ofrece un empleo sistemático y reglado de systemc para asegurar que la especificación sea apta pra la aplicación de otras actividades del diseño en y desde el nivel de sistema. De esta manera, la especificación del sistema se podrá reutilizar para realizar análisis de rendimiento, para la verificación a través de simulación y, en último término, para realizar una implementación hw/sw. Además, la metodología hetsc soporta heterogeneidad. Para ello aporta reglas y facilidades de especificación systemc adicionales para que la especificación se ciña a los supuestos de un modelo de computación (moc) de entre varios soportados. De esta forma, se puede garantizar más fácilmente propiedades como el determinismo, lo que, de otro modo sería difícil, debido a la complejidad en tamaño y niveles de concurrencia y jerarquía de la especificación. La metodología hetsc soporta también la inclusión en la especificación de partes descritas bajo mocs diferentes. Esto se hace dentro del lenguaje systemc, por medio de canales y procesos frontera. Hetsc aporta una librería metodológica denominada librería hetsc, que contiene facilidades de especificación que complementan las facilidades estándar de systemc. Otra característica distintiva de hetsc es que el soporte de los distintos mocs se realiza sobre el mismo núcleo de simulación de eventos dicretos de systemc. Todas estas características hacen de hetsc una contribución novedosa en el campo de especificación de nivel de sistemas en systemc. en este trabajo se ha desarrollado también swg, una metodología de generación automática de software embebido desde código systemc bajo la metodología hetsc, y por tanto, desde una especificación de nivel de sistema. Como se ha explicado, esto es crucial para que una metodología esl provea la ganancia de productividad necesaria para paliar la brecha de diseño. La metodología segen se basa en la sustitución de las librerías systemc y hetsc, por la librería segen. La idea es que la implementación systemc de las primitivas de especificación, que hace que ésta sea ejecutable, se sustituye por una implementación software eficiente provista por la librería segen y que, entre otras cosas, no incluye ni el núcleo de simulación systemc, ni el código de chequeo propio del nivel de sistema. Swgen es una contribución novedosa en el campo de generación de software desde el nivel de sistema por diversas características distintivas, tales como el tomar systemc como lenguaje de entrada, estar basada en una librería metodológica y estar orientada a una plataforma hw/sw que incluye entre sus componentes básicos un sistema operativo embebido. finalmente, en este trabajo se han realizado una serie de experimentos que han permitido realizar una validación de las metodologías. En el nivel de especificación, se han realizado varios ejemplos, desde ejemplos sencillos que se incluyen en la librería hetsc, hasta un efr vocoder del estándar gsm. Con estos ejemplos se han mostrado los beneficios de la metodología de especificación en cuanto a simplicidad, reutilización de código y velocidad de simulación. La librería segen se ha implementado para las api-c (del rtos ecos) y posix (válida para gx-linux, una distribución de linux embebido, y para ecos también). Asimismo, se ha probado para diversas plataformas objetivo, basadas en procesadores de arquitectura arm y open risc, y en entornos de desarrollo diferentes. En todo caso, estas metodologías se integraron de forma natural y rápida en el entorno de desarrollo.
Datos académicos de la tesis doctoral «Especificación heterogénea y generación automática de software desde systemc para sistemas embebidos«
- Título de la tesis: Especificación heterogénea y generación automática de software desde systemc para sistemas embebidos
- Autor: Fernando Herrera Casanueva
- Universidad: Cantabria
- Fecha de lectura de la tesis: 06/02/2009
Dirección y tribunal
- Director de la tesis
- Eugenio Villar Bonet
- Tribunal
- Presidente del tribunal: Antonio Núñez ordónez
- román Hermida correa (vocal)
- axel Jantsch (vocal)
- Juan Carlos López lópez (vocal)