Uppaal Un environnement d'outil intégré pour la modélisation, la validation et la vérification des systèmes en temps réel
Télécharger maintenant

Uppaal Classement & Résumé

Uppaal Mots clés

maquette valider vérifier environnement de modélisation de processus outil de vérification Outil de vérification du logiciel Modeleur de système en temps réel Vérification du système en temps réel Validation du système en temps réel systèmes d'information validation environnement de modélisation

Uppaal La description

UPPAAL est une application logicielle complète qui vous permet de concevoir, de valider et de vérifier les systèmes en temps réel modélisés en tant que réseaux d'automates chronométrés. Il est développé en Java et enveloppé dans un espace de travail convivial.no Installation nécessaire, à part Java Il n'y a pas de pack de configuration impliqué, ce qui rend possible presque portable. Si vous avez installé Java sur votre ordinateur, vous pouvez enregistrer les fichiers de programme dans n'importe quelle partie du disque et cliquez simplement sur le fichier JAR pour lancer l'outil. Une autre possibilité est de le sauvegarder sur une clé USB pour l'exécuter directement sur n'importe quel PC avec Java installé. Un aspect important qui mérite d'être pris en compte est qu'il ne modifie pas les paramètres de registre Windows ni créer des fichiers supplémentaires sur le disque sans votre permission. Outils d'édition, de simulation et de vérificationLes interface graphique est fabriquée à partir d'une seule fenêtre divisée en trois onglets pour l'édition, la simulation et la vérification du projet. L'éditeur est divisé en deux images pour naviguer dans les pièces du projet (déclarations, modèles) et code d'écriture, le simulateur enquête et valide des exécutions dynamiques possibles d'un système lors de la modélisation, tandis que l'outil de vérification facilite une vue d'ensemble sur le projet, ce qui vous permettra ainsi de Écrire des requêtes et des commentaires. Configurer le programme Paramètres est possible pour effectuer un zoom avant et arrière, masquer les étiquettes, recharger le simulateur, Caper sur la grille, vérifier et convertir la syntaxe, modifier la commande de recherche (première profondeur, première profondeur, première profondeur au hasard), choisissez la réduction de l'espace d'état et Représentation, choisissez la trace de diagnostic, l'extrapolation et la taille de la table de hachage, etc. Evaluation et conclusion Nous n'avons pas rencontré de problèmes de stabilité dans nos tests, puisque Uppaal n'a pas suspendu, écrase ou contempler des messages d'erreur. Il a un bon temps de réponse et un impact minimal sur la performance du système, de sorte qu'il ne contient pas de CPU et de RAM. Dans l'ensemble, Uppaal est utile aux étudiants qui souhaitent travailler dans un environnement intégré pour la modélisation, la validation et la vérification des systèmes en temps réel. Avis écrit par Elena Opris, dernière mise à jour le 4 janvier 2015

Uppaal Logiciels associés