L'approche uml+rt-lotos pour la spécification et la validation
Mohamed Messabihi - Collection Omn.univ.europ.
Parution le 01/09/2018
Résumé
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é.
Caractéristiques techniques
| PAPIER | |
| Éditeur(s) | Editions universitaires européennes |
| Auteur(s) | Mohamed Messabihi |
| Collection | Omn.univ.europ. |
| Parution | 01/09/2018 |
| Couverture | Broché |
| Poids | 177g |
| EAN13 | 9786202272278 |
Avantages Eyrolles.com
Livraison à partir de 0,01 € en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse
