Verification of the FlexRay Transport Protocol for AUTOSAR In-Vehicle Communications
Joint Authors
Source
International Journal of Vehicular Technology
Issue
Vol. 2010, Issue 2010 (31 Dec. 2010), pp.1-23, 23 p.
Publisher
Hindawi Publishing Corporation
Publication Date
2010-12-27
Country of Publication
Egypt
No. of Pages
23
Main Subjects
Telecommunications Engineering
Electronic engineering
Abstract EN
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.
American Psychological Association (APA)
Gordon, Steven& Choosang, San. 2010. Verification of the FlexRay Transport Protocol for AUTOSAR In-Vehicle Communications. International Journal of Vehicular Technology،Vol. 2010, no. 2010, pp.1-23.
https://search.emarefa.net/detail/BIM-456354
Modern Language Association (MLA)
Gordon, Steven& Choosang, San. Verification of the FlexRay Transport Protocol for AUTOSAR In-Vehicle Communications. International Journal of Vehicular Technology No. 2010 (2010), pp.1-23.
https://search.emarefa.net/detail/BIM-456354
American Medical Association (AMA)
Gordon, Steven& Choosang, San. Verification of the FlexRay Transport Protocol for AUTOSAR In-Vehicle Communications. International Journal of Vehicular Technology. 2010. Vol. 2010, no. 2010, pp.1-23.
https://search.emarefa.net/detail/BIM-456354
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references
Record ID
BIM-456354