Abstract FR:

Les specifications imposees par la mission guident les activites de conception d'un instrument d'optique. Pour repondre aux specifications d'interface et d'environnement, les specialistes possedent des outils specifiques a differentes disciplines et generiques a l'ensemble des instruments d'optique. Mais dans le cadre de la verification des exigences fonctionnelles, il n'existe pas d'outil generique a tous les instruments. L'objectif initial de cette these etait le developpement d'un outil d'aide a la verification des exigences fonctionnelles. La premiere originalite de ce travail reside dans l'utilisation des outils de calcul formel en ingenierie optique. Nous avons montre que ces outils repondent aux besoins des ingenieurs dans le cadre de la modelisation. Mais pour exploiter au mieux leurs avantages, notre etude a conduit a reformuler les methodes de travail en phase de conception. Notre demarche baptisee circe#1 est generique a l'ensemble des instruments. Pour la definir, nous avons tenu compte de l'ensemble des exigences de modelisation de toutes les phases de vie de la conception d'un instrument. Son organisation est originale sur plusieurs criteres. Tout d'abord la separation des activites de gestion des performances selon les espaces symbolique et numerique permet de repondre aux exigences de modelisation d'un instrument. Notre methode propose des regles logiques pour la capitalisation rigoureuse de l'expertise. La notion de modele de performances dans circe est egalement originale. Elle permet de reutiliser les modeles mathematiques selon les exigences imposees par la mission. Sa representation graphique fournit un excellent outil de communication entre specialistes. L'identification des parametres d'entree et de sortie des modeles de performances aide a la maitrise des performances de la chaine fonctionnelle des instruments. Notre methode a ete validee grace au developpement d'une version de logiciel circe 1. 0. #1 circe : complex instruments ranking with a new computational environment