%0 Conference Proceedings %T Architectures Embarquées dans l'automobile : comment assurer leur sûreté ? %+ Real time and interoperability (TRIO) %A Simonot-Lion, Françoise %Z Colloque sur invitation. nationale. %F Invité %< avec comité de lecture %Z A03-R-338 || simonot-lion03b %B 10èmes rencontres INRIA Industrie « Applications de l'informatique et de l'automatique aux transports » 2003 %C Rocquencourt/France %P 19 p %8 2003 %D 2003 %K electronic embedded systems %K real time %K dependability %K temps réel %K sûreté de fonctionnement %K sécurité %K safety %K systèmes électroniques embarqués %Z Computer Science [cs]/Other [cs.OH]Conference papers %X L'émergence des systèmes X-by-Wire dans l'automobile fait apparaître de nouvelles exigences en termes de preuves de sûreté de fonctionnement de ces systèmes. Cette présentation montre où se situent les problèmes et définit quelques voies de solutions pour les résoudre. || Electronic embedded systems in cars will integrate more and more functions realized by X-by-Wire technology and will need new requirements in terms of safety and more generally dependability proofs. This presentation identifies some problems and defines d %G French %L inria-00099651 %U https://inria.hal.science/inria-00099651 %~ CNRS %~ INRIA %~ INPL %~ INRIA-LORRAINE %~ LORIA2 %~ INRIA-NANCY-GRAND-EST %~ TESTALAIN1 %~ UNIV-LORRAINE %~ INRIA2 %~ LORIA