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
|