@inproceedings{0ede7ed4fd2c4d51be848df0dd6e24c8,
title = "A verification flow for FlexRay communication robustness compliant with IEC 61508",
abstract = "FlexRay, as a communication protocol for automotive control systems, is developed to fulfill the increasing demand on the electronic control units for implementing systems with higher safety and more comfort. Fault-tolerant feature is especially highlighted in the FlexRay protocol such that the FlexRay systems can be robust enough for applying to the safety-critical applications. In this work, we investigate the fault-tolerant mechanisms adopted in the FlexRay protocol, and propose an effective verification flow to justify the FlexRay communication robustness. The goal of the proposed flow is to ensure that the communication robustness can achieve the demanded safety integrity level (SIL) defined in IEC 61508 norm. Through a case study, the feasibility of the verification flow is demonstrated.",
keywords = "Automotive system, Fault-tolerant design, FlexRay, IEC 61508, Robustness",
author = "Leu, {Kuen Long} and Chen, {Yung Yuan} and Wey, {Chin Long} and Chen, {Jwu E.}",
year = "2010",
doi = "10.1109/ICINDMA.2010.5538185",
language = "???core.languages.en_GB???",
isbn = "9781424476541",
series = "ICIMA 2010 - 2010 2nd International Conference on Industrial Mechatronics and Automation",
pages = "228--231",
booktitle = "ICIMA 2010 - 2010 2nd International Conference on Industrial Mechatronics and Automation",
note = "null ; Conference date: 30-05-2010 Through 31-05-2010",
}