Spécification et vérification des systèmes temps réel
Loading...
Date
2017
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
En informatique, on parle d'un système temps réel lorsque ce système est capable de contrôler (ou piloter) un procédé physique à une vitesse adaptée à l'évolution du procédé contrôlé. Dans notre travail on a spécifié le protocole FDDI (Fiber Distributed Data Interface) a fin d’avoir un modèle pour le simuler et le vérifier formellement avec l’outil UPPAAL, Ainsi avec ce travail nous pouvons montrer commet modéliser, simuler et vérifier formellement des systèmes temps réel.
Description
Keywords
#système temps réel #spécification et vérification formelles #FDDI #UPPAAL
Citation
FACULTE DES MATHEMATIQUES ET DE L’INFORMATIQUE - UNIVERSITE MOHAMED BOUDIAF - M’SILA