| Titre : | UML et Model-Checking pour la Modélisation et la Vérification des Systèmes Embarqués |
| Auteurs : | Amel Meliouh, Auteur ; Allaoua Chaoui, Directeur de thèse |
| Support: | Thése doctorat |
| Année de publication : | 2021 |
| ISBN/ISSN/EAN : | 0002102145404 |
| Langues: | Français |
| Mots-clés: | UML ; Real-Time Statechart diagram ; Real-Time Collaboration diagram ; génération de code ; Méta-modélisation ; Grammaire de graphes ; ATOM3 ; MITL ; Model checking ; language Maude |
| Résumé : |
Ce travail présente une approche formelle de modélisation et de vérification des systèmes embarqués. L’approche repose sur une modélisation du comportement temporel du système et une génération automatique de code. Le concept clé est l'utilisation combinée d'un ensemble de diagrammes comportementaux d’UML étendu par des annotations temporelles (diagrammes Statechart temps réel et de collaboration temps réel) pour la modélisation du système et le langage Maude pour la vérification. Tout d'abord, un outil de modélisation UML est développé, ensuite, une grammaire de graphes est exécutée pour générer automatiquement des spécifications en Maude équivalentes. L'approche repose sur la génération de code, donc il est possible d'utiliser un outil de vérification de modèles (Model-cheking) pour vérifier certaines propriétés temporelles représentées dans la logique temporelle temps réel (MITL). |
Exemplaires (2)
| Cote | Support | Localisation | Disponibilité | Emplacement |
|---|---|---|---|---|
| TH/2587 | Thèse doctorat | Bibliothèque centrale El Allia | Exclu du prêt | Salle de consultation |
| TH/2587 | Thèse doctorat | Bibliothèque centrale El Allia | Exclu du prêt | Salle de consultation |
Consulter en ligne (1)
 Consulter en ligne sur e-print URL |
