La fonctionnalité de recherche est en construction.
La fonctionnalité de recherche est en construction.

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice

Probabilistic Priority Message Checking Modeling Based on Controller Area Networks Modélisation probabiliste de vérification des messages prioritaires basée sur les réseaux de zone de contrôleur

Cheng-Min LIN

  • Vues en texte intégral

    0

  • Citer

Résumé:

Bien que l'outil de vérification de modèle probabiliste appelé PRISM ait été appliqué dans de nombreux systèmes de communication, tels que les réseaux locaux sans fil, Bluetooth et ZigBee, la technique n'est pas utilisée dans un réseau de zone de contrôleur (CAN). Dans cet article, nous utilisons PRISM pour modéliser le mécanisme des messages prioritaires pour CAN car ce mécanisme a permis à CAN de devenir le leader de la communication série pour le contrôle automobile et industriel. Grâce à la modélisation CAN, il est facile d'analyser les caractéristiques de CAN pour améliorer encore la sécurité et l'efficacité des automobiles. Le modèle de chaîne de Markov nous aide à modéliser le comportement des messages prioritaires.

Publication
IEICE TRANSACTIONS on Communications Vol.E93-B No.8 pp.2171-2175
Date de publication
2010/08/01
Publicisé
ISSN en ligne
1745-1345
DOI
10.1587/transcom.E93.B.2171
Type de manuscrit
LETTER
Catégories
Théories fondamentales des communications

Auteurs

Mots-clés

Table des matières