Mémoires de Fin d’Etudes
Etablissement
Université de Ouargla - Kasdi Merbah
Affiliation
Département de L’informatique et technologie de l’information
Auteur
Ahmed saadi, Hadjira
Directeur de thèse
benmohammed mohamed (دكتور)
Filière
Informatique
Diplôme
Doctorat
Titre
specification et verification des systémes embarqués
Mots clés
systèmes embarques, RDP, vérification des systèmes, validation des systèmes, systemC …..
Résumé
Les systèmes embarqués sont utilisés presque dans tous les domaines. Des appareils domestiques, des dispositifs mobiles, équipements médicaux …etc. Et leurs conception est devenue une tâche actuellement automatique .Des outils de plus en plus développés ont été conçues pour aider les concepteurs L’utilisation de l’outil réseaux de Pétri constituent aujourd’hui l’un des modèle les plus utiliser pour la modélisation du comportement dynamique des systèmes. Pour assurer que le système embarqué fonctionne comme prévu se décline en fait en deux étapes principales : modélisation du système à réaliser et analyse du modèle développé Dans le cadre de notre travail nous avant proposer un outil de vérification basé sur les réseaux de Petri : On part d’une spécification d’un système embarqué décrit en langage SystemC et en sortie on aura un réseau de Petri Le modèle obtenu est censé à être Simulé pour vérifier le comportement dynamique du système, et à être analysé pour extraire les caractéristiques et les erreurs qui peuvent être présentées sur le système décrit par le RdP
Date de soutenance
01/02/2012
Statut
Soutenue