Catalogue des Mémoires de master

Titre : |
Transformation des DATA* en Automates Temporisés Mise en œuvre et application |
Type de document : |
texte imprimé |
Auteurs : |
Mohamed Zaki Chellali, Auteur ; Bachir Djoudi, Auteur ; Nabil Belala, Directeur de thèse |
Editeur : |
CONSTANTINE [ALGERIE] : Université Frères Mentouri Constantine |
Année de publication : |
2011 |
Importance : |
97 f. |
Format : |
30 cm. |
Note générale : |
Une copie electronique PDF disponible au BUC. |
Langues : |
Français (fre) |
Catégories : |
Informatique
|
Tags : |
Système temps réel, Vérification formelle, Modèle des DATA*,
Automate temporisé, Model checking |
Index. décimale : |
004 Traitement de données. Informatique |
Résumé : |
Le progrès technologique dans le domaine de l’information et de la
télécommunication a conduit à une grande complexité dans le processus de
conception et de développement des systèmes informatique et surtout ceux qui ont
les caractéristiques temps réel. Par conséquent, l’utilisation des disciplines
permettant de vérifier le comportement de ces systèmes devient une phase
indispensable dans le processus de développement.
Le travail présenté dans ce mémoire s’inscrit dans le cadre d’une approche pour
la vérification par la technique de model checking des systèmes ayant le
comportement modélisé en DATA*. Pour atteindre cet objectif, on propose un
algorithme de transformation des DATA* en automates temporisés, tout en
implémentant un outil réalisant cette approche, et permettant ainsi la vérification des
propriétés comportementales sur les automates résultants. |
Diplome : |
Master 2 |
Permalink : |
https://bu.umc.edu.dz/master/index.php?lvl=notice_display&id=7758 |
Transformation des DATA* en Automates Temporisés Mise en œuvre et application [texte imprimé] / Mohamed Zaki Chellali, Auteur ; Bachir Djoudi, Auteur ; Nabil Belala, Directeur de thèse . - CONSTANTINE [ALGERIE] : Université Frères Mentouri Constantine, 2011 . - 97 f. ; 30 cm. Une copie electronique PDF disponible au BUC. Langues : Français ( fre)
Catégories : |
Informatique
|
Tags : |
Système temps réel, Vérification formelle, Modèle des DATA*,
Automate temporisé, Model checking |
Index. décimale : |
004 Traitement de données. Informatique |
Résumé : |
Le progrès technologique dans le domaine de l’information et de la
télécommunication a conduit à une grande complexité dans le processus de
conception et de développement des systèmes informatique et surtout ceux qui ont
les caractéristiques temps réel. Par conséquent, l’utilisation des disciplines
permettant de vérifier le comportement de ces systèmes devient une phase
indispensable dans le processus de développement.
Le travail présenté dans ce mémoire s’inscrit dans le cadre d’une approche pour
la vérification par la technique de model checking des systèmes ayant le
comportement modélisé en DATA*. Pour atteindre cet objectif, on propose un
algorithme de transformation des DATA* en automates temporisés, tout en
implémentant un outil réalisant cette approche, et permettant ainsi la vérification des
propriétés comportementales sur les automates résultants. |
Diplome : |
Master 2 |
Permalink : |
https://bu.umc.edu.dz/master/index.php?lvl=notice_display&id=7758 |
|
Réservation
Réserver ce document
Exemplaires (1)
|
MSINF110053 | MSINF110053 | Document électronique | Bibliothèque principale | Mémoires | Disponible |
Documents numériques
texte integréAdobe Acrobat PDF | | |