Open AccessVerification of the FlexRay Transport Protocol for AUTOSAR In-Vehicle Communications
Author(s) -
Steven Gordon,
San Choosang
Publication year - 2010
Publication title -
international journal of vehicular technology
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.182
H-Index - 18
eISSN - 1687-5710
pISSN - 1687-5702
DOI - 10.1155/2010/238518
Subject(s) - flexray , retransmission , computer science , protocol (science) , autosar , embedded system , computer network , communications protocol , state space , network packet , engineering , automotive industry , operating system , medicine , statistics , alternative medicine , mathematics , software , pathology , aerospace engineering
The FlexRay Transport Protocol (FrTp) is designed to support reliable and efficient communication between various computers embedded in vehicles. It uses a standardised FlexRay communication bus and introduces a go-back-N style retransmission algorithm. A formal modelling language, Coloured Petri nets (CPN), has been applied to verify the protocol design. Separate CPN models of the FrTp service and protocol are developed and with state space analysis-used to prove for selected configurations that FrTp is deadlock-free and conforms to the service specification when transferring a single-protocol data unit from sender to receiver. In addition, closed-form solutions relating the state space size, retransmission limit, and number of segments are found, giving increased confidence that FrTp is error-free, even for configurations where the state explosion problem arises
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom