Herramienta de sueño es un marco genérico que tiene como objetivo proporcionar un dominio semántico común.
Descargar ahora

Herramienta de sueño Clasificación y resumen

Herramienta de sueño Etiquetas

marco de referencia genérico Marco genérico semántico Marco de análisis dominio semántico

Herramienta de sueño Descripción

La herramienta de ensueño es un marco genérico que tiene como objetivo proporcionar un dominio semántico común. La herramienta de ensueño es un marco genérico que tiene como objetivo proporcionar un dominio semántico común que puede expresar una restricción de varios (en tiempo real, consumo de energía, recursos). El dominio semántico tiene un modelo de C ++ ejecutable que se ha anclado semánticamente al formalismo de autómatas híbridos. Aunque el modelo de cálculo corresponde a los autómatas híbridos, hasta ahora hemos tenido éxito en el análisis de los modelos por aproximación conservadora utilizando autómatas temporizadas en sistemas de tamaño moderado. Para tratar los ejemplos a gran escala, el usuario tiene la capacidad de usar la interfaz de simulación / prueba En el modelo ejecutable C ++ antes de implementar el sistema. Planeamos extender los algoritmos genéticos para resolver una gran cantidad de problemas. Es un marco de simulación y verificación que proporciona un modelo formal y un análisis de su sistema en menos de un día. Los sistemas en el sueño se especifican utilizando XML de forma sencilla. Espero que le resulte útil. El middleware de tiempo proporciona plataformas confiables y eficientes que admiten las necesidades funcionales y de calidad de la calidad (QoS) de los sistemas distribuidos en tiempo real incorporados (DRE). Los desafíos clave en los desarrollos del sistema DRE incluyen una composición segura de componentes del sistema y mapeando las especificaciones funcionales en la plataforma de destino. Las tecnologías basadas en modelos ayudan a abordar estos problemas al permitir el análisis de tiempo de diseño y proporcionar los medios para la rápida evaluación de alternativas de diseño con respecto a las propiedades, la previsibilidad y las medidas de rendimiento de extremo a extremo, antes de comprometerse con una plataforma específica. El método de análisis incorporado de tiempo, sueño es una herramienta de código abierto y un método para optimizar las propiedades de calidad de la calidad de la calidad (QoS) de los sistemas integrados (DRE) en tiempo real distribuido. El proyecto se centra en la aplicación práctica de los métodos de análisis formal para el middleware en tiempo real para automatizar la verificación, desarrollo, configuración e integración de los sistemas DREDS basados ​​en Middleware. Lo que es nuevo en esta versión: · Esta versión implementó varias optimizaciones para mejorar la comprobación de modelos. Rendimiento, lo que resulta en impresionantes ganancias de rendimiento de al menos 2-3 veces. · No se utilizan fugas de memoria conocidas en la versión actual. · Ahora se utilizan árboles AVL equilibrados, lo que resulta en aceleraciones exponenciales en varios pasos del método de verificación del modelo. Se implementó la validación de esquema XML. · Los informes de tiempo de verificación se actualizaron para incluir datos sobre las velocidades de simulación. · Las pruebas aleatorias basadas en la simulación ahora proporcionan una traza de ejecución cuando se pierde una fecha límite.

Herramienta de sueño Software relacionado