Modélisation et vérification des systèmes temps réel dynamiquement reconfigurables: application sur autovision

Abstract

Ces dernières années ont vu une vaste propagation des systèmes informatiques utilisés dans la vie quotidienne sous formes des différents appareilles. ces systèmes sont souvent en temps réel dynamiquement reconfigurable. donc pour bien comprendre et améliorer son comportement, et pour qu'ils nous donneront une meilleure production, la modélisation et la vérification sont devenues de plus ces technique importantes afin de permettre une bonne décision en temps réel . dans notre mémoire , nous avons approfondi dans l'un des systèmes temps réel autovision . dans ce contexte nous avons utilisé une modélisation recdevs qui est la plus adaptée à ce genre de systèmes via l'outil atom3 notre approche pour vérifier et simuler de modèle résultant est centralisée sur l'utilisation d'une grammaire de graphes pour la transformation de modèle recdevs en un code UPPAAL pret à etre simulé et vérifié.