Sistema de diseño y evaluación arquitectónica

El Sistema de Diseño y Evaluación de Arquitectura ( ADAS ) fue un conjunto de programas de software ofrecidos por el Research Triangle Institute desde mediados de la década de 1980 hasta principios de la década de 1990. ^{[ 1 ]}

Se creó gráficamente un modelo gráfico de un sistema similar a una red de Petri . Se simularon los gráficos jerárquicos para determinar la utilización de recursos y el rendimiento. La simulación funcional del modelo se pudo realizar mediante la conexión de código C o Ada a los nodos. Esto permitió la asignación dinámica de recursos, la sincronización y la priorización.

Un modelo ADAS consistía en nodos conectados por arcos dirigidos.

En la simulación abstracta, un nodo representa un proceso (ingeniería de sistemas) dentro del sistema que se está modelando. Para que este proceso esté listo para su ejecución, se requiere que se cumplan sus requisitos de entrada, que haya espacio disponible para sus salidas y que su recurso/hardware compartido esté disponible. Durante la ejecución, el nodo consume sus entradas, utiliza el recurso durante el tiempo especificado y, finalmente, produce sus salidas.

Las entradas y salidas de un proceso se representan mediante tokens discretos. Estos tokens se desplazan a lo largo de los arcos del gráfico. Si el tamaño máximo de un arco es mayor que uno, dicho arco representa un búfer entre los procesos del sistema.

Para refinar el modelo del sistema, se podría colocar un subgrafo debajo del nodo para refinar el comportamiento de ese proceso.

Las propiedades físicas y de comportamiento se asociaron a nodos y arcos en forma de atributos. El lenguaje de definición de atributos permitió calcularlos a partir de atributos ancestros y valores globales.

• Sistema de diseño y evaluación de arquitectura para el codiseño de software/hardware, Actas de la 22.ª conferencia ACM/IEEE sobre automatización del diseño, 1985.
• El grafo computacional modificado y su uso en el diseño y análisis de sistemas concurrentes, Actas de la Quinta Conferencia Internacional sobre Ingeniería de Sistemas, páginas 385-388. Nueva York: IEEE, 1987.
• Modelado de un controlador de grabadora de disco óptico para vuelos espaciales mediante el sistema de diseño y evaluación de arquitectura, IEEE Southeast Con, abril de 1990.
• Aplicación del análisis estructurado a un sistema telerrobótico, Conferencia Internacional IEEE sobre Ingeniería de Sistemas, agosto de 1990.
• Modelado del rendimiento de multiprocesadores con ADAS, 7.ª Conferencia AIAA sobre computadoras en la industria aeroespacial, Monterey, California, 3-5 de octubre de 1989.
• Modelado y análisis de arquitecturas multiprocesador, AIAA-1989-3014
• Asistente del ingeniero de pruebas: Un entorno de soporte para el diseño de hardware para la comprobabilidad, IEEE Computer, abril de 1989.
• Integración de herramientas para el diseño y la evaluación de sistemas informáticos de alto rendimiento y alta fiabilidad (DAHPHRS), Fase 1, Contrato de la NASA NAS1-17964, mayo de 1992, página 141 https://ntrs.nasa.gov/archive/nasa/casi.ntrs.nasa.gov/19920019342_1992019342.pdf
• Descripción y simulación orientada a objetos basada en CSP de una arquitectura de formación de haces adaptativa reconfigurable utilizando el entorno de trabajo OODRA, The Journal of VLSI Signal Processing, noviembre de 1990.
• Diseño de aeronaves para el rendimiento en misiones mediante métodos de optimización multiobjetivo no lineales, Journal of Aircraft (ISSN 0021-8669), vol. 27, diciembre de 1990.
• Paralelismo en modelos de simulación de multiprocesadores secuenciales: un estudio de caso, ACM Transactions on Modeling and Computer Simulation, abril de 1995.
• La práctica de Prolog: un editor VLSI basado en Prolog, Leon Sterling, 1990, ISBN 0-262-19301-9
• Tecnología de automatización del diseño para el codiseño: estado actual y perspectivas, Simposio Internacional IEEE de Circuitos y Sistemas de 1992.
• Soporte de software Aladdin, Actas de la Conferencia Nacional Aeroespacial y Electrónica de la IEEE de 1991
• Análisis de rendimiento de un paradigma de planificación de flujo de datos de grano grueso, NASA Langley, junio de 1993, página 8 https://ntrs.nasa.gov/archive/nasa/casi.ntrs.nasa.gov/19930023024_1993023024.pdf
• Evaluador automatizado de tolerancia a fallos para el diseño, simulación y análisis de sistemas, Actas de la 9.ª Conferencia de Sistemas de Aviónica Digital IEEE/AIAA/NASA, 1990.
• Prototipado virtual, sistemas de procesamiento de señales digitales, Simposio de Tecnología de Lockheed Martin de 1998, diapositiva 7 https://web.archive.org/web/20110904153705/http://www.atl.lmco.com/projects/csim/vp4C.pdf