Spécifications robustes du système de pilotage d'une fonction électronique automobile

par Eva Rakotomalala

Thèse de doctorat en Automatique et informatique appliquée

Sous la direction de Jean-Pierre Elloy et de Pierre Molinaro.

Soutenue en 2005

à Nantes .


  • Résumé

    Certains dysfonctionnements du système de pilotage des fonctions véhicule qui peuvent être observés ou qui sont redoutés actuellement peuvent avoir pour origine l'incomplétude de leurs spécifications. Par complétude de la spécification d'un système, on entend couverture de la réalisation de ce système vis-à-vis de toutes les valeurs possibles de ses entrées en tout état. Obtenir cette complétude garantit la robustesse de la solution vis-à-vis de l'occurrence d'évènements rares ou inobservés et qui résultent de combinaisons de circonstances qu'il était quasi-impossible à envisager lors de l'établissement du cahier des charges. Ces cas surviennent particulièrement lors de la réutilisation de fonctionnalités dans des versions différentes d'une gamme de véhicules, ou lors de la construction de prestations inter-systèmes émettant de nouvelles séquences de signaux aux fonctionnalités qu'elles associent. La contribution de notre thèse est de proposer une démarche et un outil qui permettent d'identifier, dès la conception d'un système, toutes les situations qui peuvent produire des dysfonctionnements ayant comme origine l'incomplétude de ses spécifications, et ce sur la base d'une modélisation à états finis du comportement de ce système et de l'abstraction booléenne de ses valeurs d'entrées et sorties. Dans le cadre de cette démarche, notre contribution porte sur le développement d'une technique d'analyse de la complétude ainsi que d'une technique de réalisation de la consistance de la spécification.

  • Titre traduit

    Robust specifications of automotive control systems


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (159 f.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. f. 153-158. Index

Où se trouve cette thèse ?

  • Bibliothèque : Université de Nantes. Service commun de la documentation. Section Sciences.
  • Disponible pour le PEB
  • Cote : 2005 NANT 2099
  • Bibliothèque : Ecole centrale de Nantes. Médiathèque.
  • Disponible pour le PEB
  • Cote : TH 2128
  • Bibliothèque : École normale supérieure. Bibliothèque.
  • Non disponible pour le PEB
  • Cote : LURPA / THESE 2005 08
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.