DREAM Tool

Herramienta DREAM es un marco genérico que tiene como objetivo proporcionar un dominio semántico común que puede expresar varios (en tiempo real, el consumo de energía, de recursos) limitaciones.
El dominio semántico tiene un modelo ejecutable C ++ que ha sido semánticamente anclado al formalismo autómatas híbrido. Aunque el modelo de cálculo corresponde a los autómatas híbridos, hasta ahora no hemos tenido éxito en el análisis de los modelos de aproximación conservadora usando autómatas cronometrado en sistemas de tamaño moderado.
Para hacer frente a ejemplos a gran escala el usuario tiene la capacidad de utilizar la interfaz de simulación / prueba en el modelo ejecutable C ++ antes de implementar el sistema. Tenemos la intención de ampliar los algoritmos genéticos para resolver un gran número de problemas.
DREAM es un marco de simulación y verificación que proporciona un modelo formal y el análisis de su sistema en menos de un día. Sistemas en el sueño se especifican mediante XML de una manera directa. Espero que les sea útil.
Middleware en tiempo real proporciona plataformas confiables y eficientes de apoyo a las necesidades funcionales y de calidad de servicio (QoS) clave de tiempo real distribuido sistemas embebidos (DRE).
Los desafíos clave en la evolución del sistema DRE incluyen composición segura de los componentes del sistema y la cartografía de las especificaciones funcionales en la plataforma de destino. Tecnologías basadas en modelos ayudan a abordar estos problemas al permitir el análisis en tiempo de diseño y proporcionando los medios para la rápida evaluación de alternativas de diseño con respecto a la de extremo a extremo de QoS propiedades, previsibilidad y medidas de desempeño antes de comprometerse a una plataforma específica.
El tiempo real distribuido Embedded Análisis Método DREAM es una herramienta de código abierto y método para optimizar la calidad del múltiplo de servicio (QoS) propiedades de tiempo real distribuido sistemas embebidos (DRE). El proyecto se centra en la aplicación práctica de los métodos de análisis formales de middleware en tiempo real para automatizar la verificación, desarrollo, configuración e integración de sistemas DRE basado en middleware.
¿Qué hay de nuevo en esta versión:
· Esta versión implementa varias optimizaciones para mejorar el rendimiento del modelo de cheques, lo que resulta en impresionantes mejoras de rendimiento de al menos 2-3 veces.
· No hay pérdidas de memoria conocidos presentes en la versión actual.
· Balanced árboles AVL se utilizan ahora, lo que resulta en aceleraciones exponenciales en varios pasos del método modelo de cheques.
· La validación de esquemas XML se implementó.
· Verificación de informes de tiempo se ha actualizado para incluir datos sobre las velocidades de simulación.
· Pruebas basadas en la simulación aleatoria ahora proporciona una traza de ejecución cuando el plazo es olvidada.