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 necessite d'echanger une grande quantite d'information dans tous les domaines surtout dans le secteur automobile, avec le minimum d'encombrement, de cout, de poids et de complexite de cablage a conduit au developpement d'une variete des reseaux automobiles dont on peut citer les reseaux LIN-Local Interconnect Network, CAN-Controller Area Network, TTP/C Time-Triggered Protocol (C class) et FlexRay. Le protocole CAN est actuellement le plus utilise, mais il represente assez de limites dont les plus importants sont le temps d'acces qui n'est pas strictement deterministe et le manque d'un haut degre de securite. Ces inconvenients ont ete le point de depart pour la proposition d'un autre protocole plus performant que le CAN: le protocole FlexRay, defini et specifie par le consortium automobile "FlexRay.""