Face aux limitations des solutions UML temps réel actuellement sur le marché, ce document présente un prol UML qui donne une sémantique formelle aux associations entre classes, définit des opérateurs temporels de type délai non déterministe et d'ordre limitée dans le temps, et ajoute des facilités de validation de contraintes logiques et temporelles. La sémantique formelle de ce profil est donnée par la traduction dans le langage formel RT-LOTOS dont l'outil de validation permet de construire des graphes d'accessibilité à partir de diagrammes UML étendus. Outre l'exemple de la machine à café traité dans ce document, ce profil est en cours d'évaluation sur un système de reconfiguration dynamique de logiciel embarqué à bord de satellite. Mots-clés : Systèmes temps réel, Méthodes formelles, UML, RT-LOTOS, Validation, graphe d'accessibilité.
Il n'y a pas encore de discussion sur ce livre
Soyez le premier à en lancer une !
Si certaines sont impressionnantes et effrayantes, d'autres sont drôles et rassurantes !
A gagner : la BD jeunesse adaptée du classique de Mary Shelley !
Caraïbes, 1492. "Ce sont ceux qui ont posé le pied sur ces terres qui ont amené la barbarie, la torture, la cruauté, la destruction des lieux, la mort..."
Un véritable puzzle et un incroyable tour de force !
