Browsing by Author "BOURBIA, Ouedjdane"

Now showing 1 - 1 of 1
  • Thumbnail Image
    Item
    Proposition et implémentation d’un algorithme basé zones pour la vérification formelle des systèmes temps réel hétérogènes
    (Faculté des Sciences, 2023) MEKHNACHE, Aya; BOURBIA, Ouedjdane; LAYADI ,Saïd
    Les méthodes formelles sont de plus en plus couramment employées pour analyser le comportementdes systèmestemps-réel. Ces méthodesutilisent desmodèles formels despéci- ficationquiontdessémantiquesclairementdéfiniesetdestechniquesdevérificationformelle. Les automates temporisés sont un modèle largement étudié. Sa décidabilité a été prouvée à l’aide de la construction des automates de régions. Cette construction fournit une abs- traction correcte des comportements des automates temporisés, mais elle ne permet pas une implémentation naturelle et, en pratique, les algorithmes basés sur la notion de zones sont implémentés en utilisant des structures de données adaptées comme les DBM. Notre étude porte sur les systèmes temps réel critiques et hétérogènes, ce qui implique la prise en compte de l’impact de la différence entre la fréquence de traitement des différents composantsdusystèmeinformatique.Cettehétérogénéitéestmodéliséeparlanotion"temps relatif" dans le modèle des automates temporisés. Dans ce mémoire, nous étudions en détails l’algorithme de construction de l’automate de zones. Cet algorithme nous permet de définir une nouvelle construction finie qui répond aux besoins du model-checking de la catégorie des systèmes sus-cités.