Formal evaluation and comparison of real time embedded automotive networks

Automotive constructors want to replace critical mechanical functions by electronical components communicating by a real time embedded network (X-by-Wire technologies) on future cars. To implement such critical functions, these networks have hard real-time and fault tolerance constraints. There exist two automotive protocol families: event-triggered (e.g. CAN) and time-triggered (e.g. TTP/C). The aim of this paper is to compare these two protocols efficiency using quality of service (QoS) criteria. A methodology based on timed automata modeling (UPPAAL) is used to obtain efficiency measurements. An example of X-by-Wire application (engine control) is used to show impact of network properties on application QoS. The X-by-Wire application QoS gives from application point of view the protocol efficiency.

[1]  Fabrice Jumel.  Définition et gestion d'une qualité de service pour les applications temps réel. (Definition and management of a quality of service for real time applications) , 2003 .

[2]  Wang Yi,et al.  Timed Automata: Semantics, Algorithms and Tools , 2003, Lectures on Concurrency and Petri Nets.

[3]  Ahmed Bouajjani,et al.  Parametric Verification of a Group Membership Algorithm , 2002, FTRTFT.

[4]  Anne Mignotte,et al.  Temporal Bounds for TTA: Validation , 2004, DIPES.

[5]  Hans A. Hansson,et al.  Response time analysis under errors for CAN , 2000, Proceedings Sixth IEEE Real-Time Technology and Applications Symposium. RTAS 2000.

[6]  Hermann Kopetz,et al.  Event-Triggered Versus Time-Triggered Real-Time Systems , 1991, Operating Systems of the 90s and Beyond.

[7]  Neeraj Suri,et al.  The event-triggered and time-triggered medium-access methods , 2003, Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2003..

[8]  Anne Mignotte,et al.  SDL and Timed Petri Nets versus UPPAAL for the validation of embedded architecture in automotive , 2004, FDL.

[9]  Alan Burns,et al.  Calculating controller area network (can) message response times , 1994 .

[10]  Hermann Kopetz,et al.  A Comparison of CAN and TTP , 2000 .

[11]  Wang Yi,et al.  Uppaal in a nutshell , 1997, International Journal on Software Tools for Technology Transfer.

[12]  Maria Sorea,et al.  Model checking a fault-tolerant startup algorithm: from design exploration to exhaustive fault simulation , 2004, International Conference on Dependable Systems and Networks, 2004.

[13]  Joachim Charzinski.  Performance of the Error Detection Mechanisms in CAN , 1994 .