A. Albert, Comparison of event-triggered and time-triggered concepts with regards to distributed control systems, Proceedings of Embedded World, 2004.

A. Avizienis, J. Laprie, and B. Randell, Fundamental concepts of dependability, Proceedings of the 3rd Information Survivability Workshop, p.712, 2000.

M. Ayoubi, T. Demmeler, H. Leer, and P. Köhn, X-by-Wire functionality , performance and infrastructure, Proceedings of Convergence, 2004.

R. Barbosa and J. Karlsson, Formal specication and verication of a protocol for consistent diagnosis in real-time embedded systems, To appear at the Third IEEE International Symposium on Industrial Embedded Systems (SIES'2008), 2008.

G. Bauer and M. Paulitsch, An investigation of membership and clique avoidance in TTP/C, Proceedings 19th IEEE Symposium on Reliable Distributed Systems SRDS-2000, 2000.
DOI : 10.1109/RELDI.2000.885399

P. Bühring, Safe-by-Wire Plus: Bus communication for the occupant safety system, Proceedings of Convergence, 2004.

L. Casparsson, A. Rajnak, K. Tindell, and P. Malmberg, Volcano -a revolution in on-board communications, 1999.

G. Cena and A. Valenzano, Performance analysis of Byteight networks, Proceedings of the 2004 IEEE Workshop of Factory Communication Systems, p.157166, 2004.

F. Consortium, FlexRay communications system -protocol specication -version 2.1. Available at http://www.flexray.com, 2005.

R. I. Davis, A. Burns, R. J. Bril, and J. J. Lukkien, Controller Area Network (CAN) schedulability analysis: Refuted, revisited and revised. Real-Time Systems, p.239272, 2007.
DOI : 10.1007/s11241-007-9012-7
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.104.6540

P. H. Dezaux, Migration strategy of in-house automotive real-time applicative software in AUTOSAR standard, Proceedings of the 4th European Congress Embedded Real Time Software, 2008.

P. Feiler, Real-time application development with OSEK -a review of OSEK standards, 2003.

W. Schnelle, N. Grote, T. Maldenerand, F. Weber, J. Wohlgemuth et al., Achievements and exploitation of the AUTOSAR development partnership, 2006.

J. Ferreira, P. Pedreiras, L. Almeida, and J. A. Fonseca, The FTT-CAN protocol for exibility in safety-critical systems, IEEE Micro, Special Issue on Critical Embedded Automotive Networks, vol.22, issue.4, p.4655, 2002.

S. Fürst, AUTOSAR for Safety-Related Systems: Objectives, Approach and Status, 2nd IEE Conference on Automotive Electronics, 2006.

B. Gaujal and N. Navet, Fault connement mechanisms on CAN: Analysis and improvements, IEEE Transactions on Vehicular Technology, vol.54, issue.3, p.11031113, 2005.
DOI : 10.1109/tvt.2005.844652
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.144.1220

B. Gaujal and N. Navet, Maximizing the robustness of TDMA networks with applications to TTP/C. Real-Time Systems, p.531, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00071971

M. Grenier, L. Havet, and N. Navet, Conguring the communication on FlexRay: the case of the static segment, ERTS Embedded Real Time Software, 2008.

M. Grenier, L. Havet, and N. Navet, Pushing the limits of CAN scheduling frames with osets provides a major performance boost, ERTS Embedded Real Time Software, 2002.

S. International and . Organization, 11898-4, Road Vehicles -Controller Area Network (CAN) -Part 4: Time-Triggered Communication, 2000.

K. Johansson, M. Törngren, and L. Nielsen, Handbook of Networked and Embedded Control Systems, chapter Vehicle Applications of Controller Area Network, 2005.

P. Koopman, Critical embedded automotive networks, IEEE Micro, vol.22, issue.4, p.1418, 2002.
DOI : 10.1109/MM.2002.1028471

M. Krug and A. V. Schedl, New demands for in-vehicle networks, Proceedings of the 23rd EUROMICRO Conference'97, 1997.

G. Leen and D. Heernan, Expanding automotive electronic systems, Computer, vol.35, issue.1, 2002.
DOI : 10.1109/2.976923
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.92.3091

L. Consortium, LIN Specication Package, version 1.3, 2002.

L. Consortium, LIN Specication Package, revision 2.1, 2006.

E. Mayer, Serial bus systems in the automobile -part 5: MOST for transmission of multimedia data. Summary of Networking Competence, 2008.

B. Müller, T. Führer, F. Hartwich, R. Hugel, and H. Weiler, Fault tolerant TTCAN networks, Proceedings of the 8th International CAN Conference (iCC), 2002.

N. Navet, Y. Song, and F. Simonot, Worst-case deadline failure probability in real-time applications distributed over CAN (Controller Area Network), Journal of Systems Architecture, vol.46, issue.7, p.607617, 2000.
URL : https://hal.archives-ouvertes.fr/inria-00099080

N. Navet and Y. Song, Validation of in-vehicle real-time applications, Computers in Industry, vol.46, issue.2, p.107122, 2001.
DOI : 10.1016/S0166-3615(01)00123-3
URL : https://hal.archives-ouvertes.fr/inria-00100930

O. Consortium, OSEKtime OS, Version 1.0, 2001.

O. Consortium, . Osek, . Vdx, and . Fault, Available at http://www.osek-vdx.org/. [46] OSEK Consortium. OSEK/VDX Communication, Version 3, 2001.

O. Consortium, . Osek, . Vdx-operating, and . System, Version 2.2.2, 2004.

M. Peteratzinger, F. Steiner, and R. Schuermans, Use of XCP on FlexRay at BMW. Translated reprint from HANSER

H. Pfeifer, Formal Methods in the Automotive Domain, Automotive Embedded Systems Handbook, 2008.
DOI : 10.1201/9780849380273.ch15

H. Pfeifer and F. W. Henke, Formal analysis for dependability properties: the time-triggered architecture example, ETFA 2001. 8th International Conference on Emerging Technologies and Factory Automation. Proceedings (Cat. No.01TH8597), p.343352, 2001.
DOI : 10.1109/ETFA.2001.996387

J. Pimentel, J. Proenza, L. Almeida, G. Rodriguez-navas, M. Barranco et al., Dependable Automotive CAN Networks, Automotive Embedded Systems Handbook, 2008.
DOI : 10.1201/9780849380273.ch6

L. M. Pinho and F. Vasques, Reliable real-time communication in can networks, IEEE Transactions on Computers, vol.52, issue.12, p.15941607, 2003.
DOI : 10.1109/TC.2003.1252855

S. Poledna, W. Ettlmayr, and M. Novak, Communication bus for automotive applications, Proceedings of the 27th European Solid-State Circuits Conference, 2001.

T. Pop, P. Pop, P. Eles, and Z. Peng, Bus Access Optimisation for FlexRay-based Distributed Embedded Systems, 2007 Design, Automation & Test in Europe Conference & Exhibition, p.5156, 2007.
DOI : 10.1109/DATE.2007.364566
URL : http://orbit.dtu.dk/ws/files/10018460/pop_date07.pdf

A. Rajnák, The Embedded Systems Handbook, chapter Volcano -Enabling Correctness by Design, 2005.

A. Rajnák, The Industrial Communication Technology Handbook, chapter The LIN Standard, 2005.

A. Rajnák and M. Ramnefors, The Volcano communication concept, Proceedings of Convergence 2002, 2002.

K. Ramaswamy and J. Cooper, Delivering multimedia content to automobiles using wireless networks, Proceedings of Convergence, 2004.

R. Bosch and G. , Time triggered communication on CAN

J. Rushby, A comparison of bus architecture for safety-critical embedded systems, 2003.

R. Saket and N. Navet, Frame packing algorithms for automotive applications, Journal of Embedded Computing, vol.2, p.93102, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00077036

B. Schätz, C. Kühnel, and G. , FlexRay Protocol, Automotive Embedded Systems Handbook, 2008.
DOI : 10.1201/9780849380273.ch5

J. Sommer, R. Blind, A. Burns, and A. J. Wellings, Optimized resource dimensioning in an embedded CAN-CAN gateway Calculating Controller Area Network (CAN) message response times, IEEE Second International Symposium on Industrial Embedded Systems, p.556211631169, 1995.

K. Tindell and J. Clark, Holistic schedulability analysis for distributed hard real-time systems. Microprocessors and Microprogramming, p.117134, 1994.
DOI : 10.1016/0165-6074(94)90080-9
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.30.2371

G. Tttech-computertechnik, Time-Triggered Protocol TTP/C, High-Level Specication Document, 2003.

M. Waern, Evaluation of protocols for automotive systems, 2003.

C. Wilwert, N. Navet, Y. Song, and F. Simonot-lion, The Industrial Communication Technology Handbook, chapter Design of Automotive X-by-Wire Systems, 2005.