Sûreté de fonctionnement d'architectures informatiques embarquées sur automobile - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 1996

Sûreté de fonctionnement d'architectures informatiques embarquées sur automobile

Résumé

The aim of the work presented in this dissertation is to guarantee that the increasing complexity of automotive embedded computer architectures does not degrade the dependability of the vehicle with respect to that of the vehicle containing classical mechanical equipment. The current tendency towards integration of the different embedded computer systems leads us to develop a spectrum of architectures allowing us to illustrate, classify and compare several possibilities between an entirely-federated architecture at one end of the spectrum and an entirely-integrated architecture at the other. After a qualitative comparison of the presented architectures (focussing on the cost criteria), we concentrate on quantitative evaluation of dependability. Among the different evaluation techniques generally used we choose a probabilistic evaluation technique using Generalised Stochastic Petri Nets. The originality of the method is that it models functional aspects independently from the architecture. We define the dependability measures on the base of the functional model whose changes are dictated by an underlying architecture model. Several architectures are modeled without changing the functional model. The results obtained for two functions, an airbag and a steer-by-wire system, allow conclusions to be drawn concerning the choice of an architecture for a given function.
Les travaux présentés dans ce mémoire visent à s'assurer que la complexité des parties informatiques et électroniques de systèmes embarqués sur l'automobile ne conduise pas globalement à une dégradation de la sûreté de fonctionnement du véhicule par rapport à un véhicule équipé de commandes mécaniques. La tendance actuelle vers l'intégration des différents systèmes électroniques embarqués nous a conduit à comparer différents réseaux multiplexés du domaine d'automobile au niveau de leur sûreté de fonctionnement. C'est dans cette optique également que nous développons un spectre d'architectures qui nous permet d'illustrer, classifier et comparer différentes possibilités existantes entre une architecture entièrement fédérée à un bout du spectre et une architecture entièrement intégrée à l'autre. Après une comparaison qualitative des architectures présentées (avec un effet de loupe sur l'aspect coût), nous focalisons sur l'évaluation quantitative de leur sûreté de fonctionnement. Parmi les différentes techniques d'évaluation généralement employées nous choisissons la technique d'évaluation probabiliste par Réseaux de Petri Stochastiques Généralisés. L'originalité de la méthode réside dans le fait de modéliser les aspects fonctionnels indépendamment de l'architecture ainsi que de l'activation du véhicule. Nous définissons les mesures de sûreté de fonctionnement à l'aide d'un modèle fonctionnel dont les changements d'état sont dictés par un modèle du calculateur sous-jacent. Plusieurs architectures du calculateur sont modélisées sans changer le modèle fonctionnel. Les résultats obtenus pour deux fonctions, à savoir le coussin gonflable et la direction électronique, permettent en particulier de tirer des conclusions concernant le choix d'une architecture pour une fonction donnée.
Fichier principal
Vignette du fichier
Ziegler.pdf (7.69 Mo) Télécharger le fichier

Dates et versions

tel-00139873 , version 1 (03-04-2007)

Identifiants

  • HAL Id : tel-00139873 , version 1

Citer

Christian Ziegler. Sûreté de fonctionnement d'architectures informatiques embarquées sur automobile. Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 1996. Français. ⟨NNT : ⟩. ⟨tel-00139873⟩
827 Consultations
234 Téléchargements

Partager

Gmail Facebook X LinkedIn More