Spécification formelle du protocole TTP/C
No Thumbnail Available
Date
2011
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Université Oum El Bouaghi
Abstract
Dans notre étude on a fait la spécification formelle des deux algorithmes existant dans le protocole de véhicule TTP/C (Time-Triggered Architecture) qui sont l'algorithme de démarrage des noeuds et celui de bus gardien, notre outil est RT Maude car elle fournit des spécifications en fonctionne du temps. On a aussi testé le bon déroulement de cette spécification avec les propriétés à vérifier à l'aide d'un moyen (Model Checker) donné par le langage Maude.
Description
Keywords
Protocole TTP/C