|
| Titre : | Vérification et validation des systèmes modélisés par les réseaux de petri en utilisant le logiciel Roméo | | Type de document : | theses et memoires | | Auteurs : | Kenza Belhachane ; Bahiri Ouzena ; Aldjia Nait Abdesselam, Directeur de thèse | | Editeur : | Tizi.Ouzou : U.M.M.T.O | | Année de publication : | 2020 | | Importance : | 57 p. | | Présentation : | ill. | | Format : | 30 cm. | | Note générale : | Bibliogr. | | Langues : | Français | | Mots-clés : | Processus Systèmes modélisés Réseaux de petri Logiciel romeo Romeo | | Résumé : | Dans le processus de conception des systèmes les étapes de vérification sont primordiales. Il s'agit de s'assurer que le système ne connaît pas de défaillances, et qu'il remplisse correctement ses spécifications. Parmi les moyens proposés pour la validation et la vérification des systèmes à événements discrets modélisés par les réseaux de Petri, le logiciel Roméo qui a été choisi dans notre projet.
Nous avons constaté que ce logiciel est très efficace, il a une capacité importante dans la détection des erreurs. Afin de valider les modèles, il suffit de recommencer l'étape de conception, cependant, certaines propriétés, tel que les contraintes temporelles, ne peuvent être vérifié qu'à la fin de la conception. | | En ligne : | D:\CD THESES 2020\MAST.AUTO\BELHACHANE KENZA; BAHIRI OUZENA.PDF | | Format de la ressource électronique : | PDF | | Permalink : | ./index.php?lvl=notice_display&id=35269 |
Vérification et validation des systèmes modélisés par les réseaux de petri en utilisant le logiciel Roméo [theses et memoires] / Kenza Belhachane ; Bahiri Ouzena ; Aldjia Nait Abdesselam, Directeur de thèse . - Tizi.Ouzou (Tizi.Ouzou) : U.M.M.T.O, 2020 . - 57 p. : ill. ; 30 cm. Bibliogr. Langues : Français | Mots-clés : | Processus Systèmes modélisés Réseaux de petri Logiciel romeo Romeo | | Résumé : | Dans le processus de conception des systèmes les étapes de vérification sont primordiales. Il s'agit de s'assurer que le système ne connaît pas de défaillances, et qu'il remplisse correctement ses spécifications. Parmi les moyens proposés pour la validation et la vérification des systèmes à événements discrets modélisés par les réseaux de Petri, le logiciel Roméo qui a été choisi dans notre projet.
Nous avons constaté que ce logiciel est très efficace, il a une capacité importante dans la détection des erreurs. Afin de valider les modèles, il suffit de recommencer l'étape de conception, cependant, certaines propriétés, tel que les contraintes temporelles, ne peuvent être vérifié qu'à la fin de la conception. | | En ligne : | D:\CD THESES 2020\MAST.AUTO\BELHACHANE KENZA; BAHIRI OUZENA.PDF | | Format de la ressource électronique : | PDF | | Permalink : | ./index.php?lvl=notice_display&id=35269 |
|
Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche Interroger des sources externesVérification et validation des systèmes modélisés par les réseaux de petri en utilisant le logiciel Roméo / Kenza Belhachane (2020)
