L'approche UML+RT-Lotos pour la Spécification et la Validation
search
  • L'approche UML+RT-Lotos pour la Spécification et la Validation
  • L'approche UML+RT-Lotos pour la Spécification et la Validation

L'approche UML+RT-Lotos pour la Spécification et la Validation


49,90 €
47,40 € Économisez 5%

Cas des systèmes embarqués et temps réel

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é.

Livraison dans le monde entier.
Frais d'envoi limités à 4,90 € pour la France métropolitaine quel que soit le nombre d'articles. Délai de livraison : 2 à 5 jours.
Pour les produits numériques, frais d'envoi offerts et accès immédiat.

Quantité
Disponible

Mohamed MESSABIH a obtenu le grade de docteur en informatique de l'université de Nantes en 2011.

Après un post-doc à l'IFSTTAR de Lille, il a rejoint l'Université de Tlemcen en tant que maître de conférence depuis 2012.

Il est responsable du master "Génie Logiciel" et chef de l'équipe de recherche "Ingénierie de Logiciels Sûrs" au laboratoire LRIT.


Fiche technique

Auteur
MOHAMED MESSABIHI
Langue
Français
Éditeur
Éditions universitaires européennes
Pays
Algérie Algérie

30 autres produits dans la même catégorie :

Voir tout

Voir tout