Topic
herramienta de verificación y análisis de software
Be the first in the room — members see you arrive.
Join the roomEl método de análisis embebido en tiempo real distribuido (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 y embebidos (DRE) que se centra en la aplicación práctica de la verificación formal y el análisis de tiempos al middleware en tiempo real. DREAM admite la verificación formal de la programación basada en autómatas temporizados de tareas utilizando el verificador de modelos Uppaal y el conjunto de herramientas IF de Verimag, así como las pruebas aleatorias de componentes en tiempo real utilizando un simulador de eventos discretos. DREAM se desarrolla en el Center for Embedded Computer Systems de la University of California, Irvine, en cooperación con investigadores de Vanderbilt University.
Not who you're looking for? Others named DREAM: series of images, thoughts, and emotions, often with a story · sculpture by Jaume Plensa · American YouTuber, streamer and singer (born 1999) · brand of white chocolate
