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 Fri 29-Mar-24 . 06:16



Mapa Web


Localización

Noticias

Info Santander



Gestión BD

GIM>AADS

AADS-T


¿Qué es AADS-T?

AADS-T es una herramienta para la simulación de un modelo AADL utilizando la herramienta SCoPE, compatible con el Modelo Computacional de Ravenscar.

Si desea más información sobre AADS-T pinche aquí.


Versión disponible

Esta versión de AADS-T soporta código XML y C/C++ como lenguaje de entrada y produce ficheros en POSIX / C++, XML y texto.

AADS-T esta disponible para plataformas Linux con OSATE.


Documentos relacionados

Puede consultar los documentos sobre AADS-T
[MANUAL], [ICECCS09], [DATE09], [ICECCS10], [ISSE11].

También puede leer sobre nuestas actividades investigadoras: Diseño y verificación de sistemas embebidos HW / SW.


Si desea más información...

Sobre futuras actualizaciones o si está interesado en la herramienta, puede escribirnos un correo electrónico.




Este trabajo ha sido desarrollado por la UC y ha sido parcialmente financiado por el MCYT español a través del proyecto ITEA 05015 SPICES y el proyecto TEC2008-04107,

y el proyecto HW-SW CODESIGN ESTEC 22810/09/NL/JK contratado a GMV Aerospace and Defense S.A.U.



Última actualización: 6.6.11


© Copyright GIM (TEISA-UC)    ¤    Todos los derechos Reservados.    ¤    Términos LegalesE-Mail Webmaster