Du diagrammes SDL en Machines à états finis sous StateFlow

Transformation des diagrammes SDL de la technique d’accès et du protocole FlexRay en machines à états finis sous State

La nécessité d’échanger une grande quantité d’information dans tous les domaines surtout dans le secteur automobile, avec le minimum d’encombrement, de coût, de poids et de complexité de câblage a conduit au développement d'une variété des réseaux automobiles dont on peut citer les réseaux LIN-Local Interconnect Network, CAN-Controller Area Network, TTP/C Time-Triggered Protocol (C class) et FlexRay.

Le protocole CAN est actuellement le plus utilisé, mais il représente assez de limites dont les plus importants sont le temps d'accès qui n'est pas strictement déterministe et le manque d'un haut degré de sécurité.

Ces inconvénients ont été le point de départ pour la proposition d'un autre protocole plus performant que le CAN : le protocole FlexRay, défini et spécifié par le consortium automobile "FlexRay".