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 22-Dec-24 . 07:52



Mapa Web


Localización

Noticias

Info Santander



Gestión BD
GIM>Investigación>Publicación
   PUBLICACION
 
   Ficha completa
Título:UC Contribution to D2.1: Definition of Semantic for AADL
Tipo:Informe, Estudio o Dictamen por encargo
Lugar:Deriverable D2.1 of the SPICES project
Fecha:2007-02
Autores: Eduardo de las Heras
Eugenio Villar
Líneas: Diseño y verificación de sistemas embebidos HW/SW
Proyectos: ITEA 05015 SPICES
ISBN:
Fichero:
Resumen:En este documento se especifica la metodología de modelado de AADL en SystemC. Esta metodología deberá ser capáz de proporcionar un método consistente, en concordancia con el estándar AADL de generar un modelo Systemc de una especificación AADL. La metodología propuesta en el documento sentará las bases para el desarrollo de una herramienta capáz de proporcionar un entorno ejecutivo para AADL.
© Copyright GIM (TEISA-UC)    ¤    Todos los derechos Reservados.    ¤    Términos LegalesE-Mail Webmaster