Abstract FR:

Les travaux presentes dans ce memoire visent a s'assurer que la complexite des parties informatiques et electroniques de systemes embarques sur l'automobile ne conduise pas globalement a une degradation de la surete de fonctionnement du vehicule par rapport a un vehicule equipe de commandes mecaniques. La tendance actuelle vers l'integration des differents systemes electroniques embarques nous a conduit a comparer differents reseaux multiplexes du domaine d'automobile au niveau de leur surete de fonctionnement. C'est dans cette optique egalement que nous developpons un spectre d'architectures qui nous permet d'illustrer, classifier et comparer differentes possibilites existantes entre une architecture entierement federee a un bout du spectre et une architecture entierement integree a l'autre. Apres une comparaison qualitative des architectures presentees (avec un effet de loupe sur l'aspect cout), nous focalisons sur l'evaluation quantitative de leur surete de fonctionnement. Parmi les differentes techniques d'evaluation generalement employees nous choisissons la technique d'evaluation probabiliste par reseaux de petri stochastiques generalises. L'originalite de la methode reside dans le fait de modeliser les aspects fonctionnels independamment de l'architecture ainsi que de l'activation du vehicule. Nous definissons les mesures de surete de fonctionnement a l'aide d'un modele fonctionnel dont les changements d'etat sont dictes par un modele du calculateur sous-jacent. Plusieurs architectures du calculateur sont modelisees sans changer le modele fonctionnel. Les resultats obtenus pour deux fonctions, a savoir le coussin gonflable et la direction electronique, permettent en particulier de tirer des conclusions concernant le choix d'une architecture pour une fonction donnee