Grupo de Ingeniería Microelectrónica

¿Qué es AADS-T?La herramienta AADS-T permite el modelado de un subconjunto de AADL, incluido el anexo del comportamiento, para simulación e implementación. El punto de partida del simulador será una especificación AADL. Esta especificación AADL debe contener una funcionalidad mínima descrita por medio de algunas propiedades AADL a fin de permitir una simulación correcta del modelo. El modelo AADL será analizado por AADS-T y se obtendrá un modelo definido con POSIX / C++ y XML. Este modelo se simulará con el fin de comprobar si las restricciones AADL se cumplen. A medida que avanza el proceso de diseño y la funcionalidad real se adjunta a los componentes de software utilizando el código fuente C/C++ correspondiente, el valor de estas propiedades se perfeccionará. Estas propiedades refinadas se añadirán al modelo AADL y un nuevo modelo será generado por AADS-T para comprobar si las restricciones se siguen cumpliendo. Cuando la herramienta AADS-T se inicia pide el nombre de dos archivos AADL en XML. Uno de estos archivos es el modelo AADL escrito en XML. El otro es el resultado de la instanciación de una implementación de un sistema en un modelo AADL en texto u objeto obtenido con OSATE, un plug-in de la plataforma Eclipse utilizado para procesar modelos AADL (ver la figura). Estos archivos están escritos en XML, ya que son más fáciles de analizar con AADS-T por el uso de SAX. Los archivos que contienen el código fuente real de los subprogramas del modelo AADL se puede proveer a AADS-T, aunque no es obligatorio. Si se suministran, la simulación y el análisis del rendimiento hecho con SCoPE será más realista, ya que este código fuente se incrusta en los archivos POSIX / C++ generados por AADS-T. Una vez que los archivos XML han sido analizados por AADS-T, se crean los archivos escritos en C++ con las extensiones .h y .cpp y un archivo XML. El número y los nombres de los archivos creados dependen del modelo AADL analizado. Los archivos C++ usan funciones POSIX y el archivo XML debe ser especificado para ser utilizado por la herramienta SCoPE. El código fuente en C++ producido por AADS-T es compatible con el Modelo Computacional de Ravenscar. AADS-T ofrece la posibilidad al usuario de iniciar la herramienta SCoPE automáticamente. Si el usuario inicia SCoPE desde AADS-T, AADS-T genera un archivo .txt y un archivo .xml de la salida de SCoPE, que contiene los datos más importantes sobre la simulación y el análisis del rendimiento, tales como el uso de la CPU, la energía consumida por el núcleo, el número de instrucciones ejecutadas y otros. Por otra parte, se genera un archivo con la descripción SystemC del modelo AADL.