Contribution à la méthodologie de conception système : application à la réalisation d'un microsystème multicapteurs communicant pour le génie civil
Auteur / Autrice : | Rémy Maurice |
Direction : | Éric Campo, Daniel Estève |
Type : | Thèse de doctorat |
Discipline(s) : | Conception de circuits microélectroniques et microsystèmes |
Date : | Soutenance en 2005 |
Etablissement(s) : | Toulouse, INPT |
Mots clés
Mots clés contrôlés
Résumé
Ce travail expose la problématique de la conception et de la vérification amont de microsystèmes. Il traite conjointement un exemple d'application de réalisation d'un microsystème multicapteurs communicant pour une application Génie Civil. Il a associé le LAAS-CNRS et EDF R&D. La méthodologie de conception amont proposée associe la démarche Top-Down et SysML pour réduire au maximum le lien entre le cahier des charges et le premier modèle du système. Cette modélisation amont, indépendante de l'implémentation, est effectuée sous l'outil HiLeS et ouvre la voie de la première vérification des spécifications du système, par le biais de la logique temporelle. Ensuite, les choix d'agrégation, de sélection et d'implémentation des composants permettent d'aboutir à la modélisation fonctionnelle sous VHDL-AMS et au prototypage virtuel. Enfin, ce travail présente les étapes d'intégration et les choix de composants qui mènent au prototype réel, validé par des essais effectués en laboratoire.