Uppaal Un entorno de herramientas integrado para modelar, validación y verificación de sistemas en tiempo real
Descargar ahora

Uppaal Clasificación y resumen

Uppaal Etiquetas

modelo validar verificar Entorno de modelado de procesos herramienta de verificación Herramienta de verificación de software Modelo de sistema en tiempo real verificación del sistema en tiempo real Validación del sistema en tiempo real Validación de sistemas de información. entorno de modelado

Uppaal Descripción

Uppaal es una aplicación de software integral que le permite diseñar, validar y verificar los sistemas en tiempo real modelado como redes de autómatas cronometrados. Se desarrolla en Java y se envuelve en un área de trabajo fácil de usar. No es necesario instalar, aparte de Java No hay un paquete de instalación involucrado, lo que hace que Uppaal sea casi portátil. Siempre que tenga instalado Java en su computadora, puede guardar los archivos de programa en cualquier parte del disco y simplemente haga clic en el archivo JAR para iniciar la herramienta. Otra posibilidad es guardarla a un pen drive para ejecutarlo directamente en cualquier PC con Java instalado. Un aspecto importante que vale la pena tener en cuenta es que no modifica la configuración del registro de Windows o cree archivos adicionales en el disco sin su permiso. La herramienta de edición, simulación y verificación, la GUI está hecha de una sola ventana dividida en tres pestañas para editar, simular y verificar el proyecto. El editor se divide en dos marcos para navegar por piezas del proyecto (por ejemplo, declaraciones, plantillas) y código de escritura, el simulador investiga y valida posibles ejecuciones dinámicas de un sistema durante el modelado, mientras que la herramienta de verificación facilita una descripción general del proyecto, lo que le permite Escribe consultas y comentarios. Configurar la configuración del programa es posible hacer zoomizar y eliminar, ocultar etiquetas, volver a cargar el simulador, ajustar a la cuadrícula, verifique y convierta la sintaxis, cambie la orden de búsqueda (primero, la profundidad primero, la profundidad aleatoria), elija la reducción del espacio estatal y Representación, elija el traza de diagnóstico, la extrapolación y el tamaño de la tabla de hash, y más. Evaluación y conclusión No nos hemos encontrado con problemas de estabilidad en nuestras pruebas, ya que Uppaal no cedió, chocó ni emergió mensajes de error. Tiene un buen tiempo de respuesta y un impacto mínimo en el rendimiento del sistema, por lo que no tiene la CPU y la RAM. En general, Uppaal es útil para los estudiantes que desean trabajar en un entorno integrado para modelar, validar y verificar los sistemas en tiempo real. Revisado por Elena Opris, Última actualización el 4 de enero de 2015

Uppaal Software relacionado