El método de análisis integrado distribuido en tiempo real (DREAM) es una herramienta de código abierto independiente de la plataforma para la verificación y el análisis de sistemas distribuidos en tiempo real e integrados (DRE) que se centra en la aplicación práctica de la verificación formal y el análisis de tiempo a la realidad. middleware de tiempo . DREAM admite la verificación formal de la programación basada en autómatas cronometrados de tareas utilizando el verificador de modelos Uppaal y el conjunto de herramientas Verimag IF, así como la prueba aleatoria de componentes en tiempo real utilizando un simulador de eventos discretos. DREAM se desarrolla en el Center for Embedded Computer Systems en la Universidad de California, Irvine , en cooperación con investigadores de la Universidad de Vanderbilt .
enlaces externos
- Sitio web DREAM
- Centro de sistemas informáticos integrados
- Sitio web de Uppaal
- Sitio web del conjunto de herramientas IF