Mémoires de Fin d’Etudes
Etablissement
Université de Biskra - Mohamed Khider
Affiliation
Département d’Informatique
Auteur
DJABER, Khaled
Directeur de thèse
BOURAHLA Mustapha (Maitre de conférence)
Filière
Informatique
Diplôme
Doctorat
Titre
Modélisation et analyse des systèmes embarqués temps réel
Mots clés
Systèmes embarqués temps réel; l’ordonnancement temps réel; les logiques temporelles temporisés; le model checking; l’identification des systèmes
Résumé
Dans le cadre de la vérification formelle des systèmes embarqués temps réel, nous utilisons un langage pour modéliser des systèmes temps réel (tel que UML, SART, SDL, ...etc.). Une fois modélisé, le système peut être vérifié à l’aide de la méthode : « Model Checking ». Parmi les outils qui existent dans ce sens la, on cite : UPPAAL, Kronos, …etc. Ces outils sont essentiellement basés sur les logiques temporelles temporisés.
Statut
Vérifié