Spécification Formelle Du Protocol Ttcam
Résumé: Cette étude se situe dans un contexte de fort développement des applications automobiles basées sur l'électronique, en vue de remplacer certaines pièces mécaniques, tels les systèmes de freinage, de direction. Le protocole le plus utilisé actuellement est CAN, mais il ne suffit pas aux applications nécessitant un haut degré de sécurité. D'autres protocoles ont donc été développés, selon le paradigme Time-Triggered (selon un ordonnancement prédéfini), comme TTA, Flex ray. En effet, ce type de protocoles est plus facile à valider. De la rencontre de CAN et des protocoles Time-Triggered est issu TTCAN. C 'est ce protocole auquel nous allons nous intéresser. Il est indispensable pour un protocole destiné à des applications à haut niveau de sécurité de disposer d'une validation formelle. On va étudier son comportement temporel à l'aide de l’outil Mande qui fait une spécification formelle du comportement du protocole à l'aide de sa syntaxe basée sur les règles de réécriture de la logique de réécriture. On va faire une spécification formelle du protocole TTCAN par le langage Mande, On a fait une brève description du protocole CAN et TTCAN, et on a fait la conception de ce protocole a l'aide des automates et on fait une spécification de cette automate par le langage Mande.
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".
