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 Sun 24-Mar-19 . 04:36



Mapa Web


Localización

Noticias

Info Santander



Gestión BD

GIM>Investigación>Publicación
   PUBLICACION
 
   Ficha completa
Título:Especificación Heterogénea y Generación Automática de Software para Sistemas Embebidos desde SystemC
Tipo:Tesis doctoral
Lugar:Universidad de Cantabria
Fecha:2009-02
Autores: Fernando Herrera
Líneas: Diseño y verificación de sistemas embebidos HW/SW
Proyectos: Desarrollo de metodologías industriales de diseño de sistemas embebidos H...
Metodologías de especificación, análisis de prestaciones y verificación d...
IST 033511 ANDRES
ISBN:
Fichero:ver fichero
Resumen:En esta tesis se realizan dos contribuciones esenciales para la mejora de la productividad en el diseño de sistemas embebidos. En primer lugar, HetSC proporciona una metodología basada en el lenguaje estándar SystemC, que permite especificar sistemas con partes bajo distintos estilos de modelado abstracto y conectarlos entre sí y con otras aproximaciones como SystemC-AMS, etc. Es decir, la metodología soporta especificación heterogénea y abstracción. La segunda contribución de esta tesis es la metodología SWGen, que provee una connexión entre la especificación de nivel de sistema (HetSC) y los flujos de desarrollo de software embebido convencionales, basados en entornos de desarrollo cruzado y sistemas operativos embebidos.
Ambas metodologías han sido probadas con distintos experimentos, entornos de desarrollo y plataformas objetivo.
© Copyright GIM (TEISA-UC)    ¤    Todos los derechos Reservados.    ¤    Términos LegalesE-Mail Webmaster