Proposition et implémentation d’un algorithme basé zones pour la vérification formelle des systèmes temps réel hétérogènes

Simple item page
dc.contributor.authorMEKHNACHE, Aya
dc.contributor.authorBOURBIA, Ouedjdane
dc.contributor.authorLAYADI ,Saïd
dc.date.accessioned2024-04-15T10:03:13Z
dc.date.available2024-04-15T10:03:13Z
dc.date.issued2023
dc.description.abstractLes 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.
dc.identifier.urihttp://dspace.univ-skikda.dz:4000/handle/123456789/981
dc.language.isofr
dc.publisherFaculté des Sciences
dc.titleProposition et implémentation d’un algorithme basé zones pour la vérification formelle des systèmes temps réel hétérogènes
dc.title.alternativeSystèmes Informatiques -SI
dc.typeMémoire de Master
Files
Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
Proposition et implémentation d’un algorithme basé zones pour la vérification formelle des systèmes temps réel hétérogènes.pdf
Size:
1.31 MB
Format:
Adobe Portable Document Format
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed to upon submission
Description:
Download
Collections
Informatique