Modélisation Et Vérification Des Systèmes Temps Réel Dynamiquement Reconfigurables: Application Sur Autovision
Résumé: 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é.
Mots-clès:
Nos services universitaires et académiques
Thèses-Algérie vous propose ses divers services d’édition: mise en page, révision, correction, traduction, analyse du plagiat, ainsi que la réalisation des supports graphiques et de présentation (Slideshows).
Obtenez dès à présent et en toute facilité votre devis gratuit et une estimation de la durée de réalisation et bénéficiez d'une qualité de travail irréprochable et d'un temps de livraison imbattable!
Aucun fichier associé
Si le fichier est volumineux, l'affichage peut échouer. Vous pouvez obtenir le fichier directement en cliquant sur le bouton "Télécharger".
