Architectures Embarquées dans l'automobile : comment assurer leur sûreté ?
Abstract
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