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 Thu 28-Mar-24 . 17:56



Mapa Web


Localización

Noticias

Info Santander



Gestión BD

GIM>Investigación>Publicación
   PUBLICACION
 
   Ficha completa
Título:Specification for SystemC-AADL interoperability
Tipo:Publicacion en Proceedings o Actas internacionales
Lugar:IEEE Proceedings of the 5th International Workshop on Intelligent Solutions in Embedded Systems (WISES’07)
Fecha:2007-06
Autores: Eduardo de las Heras
Eugenio Villar
Líneas: Diseño y verificación de sistemas embebidos HW/SW
Proyectos: ITEA 05015 SPICES
ISBN:978-84-89315-47-
Fichero:ver fichero
Resumen:El trabajo especifica la utilización de SystemC para el modelado de descripciones AADL. El modelo SystemC tiene como objetivo permitir el refinamiento de la especificación AADL hasta su implementación. La información obtenida durante el proceso de refinamiento retro-alimentará el modelo AADL original permitiendo la verificación de las restricciones de alto nivel durante el proceso de diseño.
© Copyright GIM (TEISA-UC)    ¤    Todos los derechos Reservados.    ¤    Términos LegalesE-Mail Webmaster