Specification et conception de microsystemes bases sur des circuits asynchrones - etude d'un dispositif multicapteur integre d'enregistrement de contraintes environnementales

• Auteur / Autrice : FERNANDO JIMENEZ VARGAS
• Direction : Marc Courvoisier
• Type : Thèse de doctorat
• Discipline(s) : Informatique industrielle
• Date : Soutenance en 2000
• Etablissement(s) : Toulouse, INSA en cotutelle avec Bogota, Université des Andes

Mots clés

Mots clés contrôlés

Surveillance électronique

Commande en temps réel

Petri, Réseaux de

Fiabilité

Circuits asynchrones

Microtechniques

Mots clés libres

Systèmes asynchrones

Systèmes autonomes

Electronique

Résumé

L'introduction des systemes electroniques embarques et miniaturises dans des nouveaux dispositifs apporte des avantages qui sont ressentis essentiellement comme une reduction des couts reels et une augmentation de la performance. Les impacts les plus importants concernent la reduction de la complexite mecanique (reduction du cablage par exemple), une meilleure operation (par l'augmentation de la flexibilite des fonctionnalites) et une maintenance plus efficace (par une meilleure connaissance de l'etat de vieillissement du systeme). L'electronique etant maitrisee, la competitivite tient dans une conception, qui soit rapide, sans faute, robuste et realisable. Les efforts doivent s'orienter vers la recherche de methodologies et techniques qui puissent supporter l'integration, principal defi propose par la conception de ces nouveaux systemes repartis, communicants et pluridisciplinaires. Cette these presente les modeles et les outils developpes pour aider a la conception de micro systemes, avec des points forts tels que : la conception amont, les systemes asynchrones, la fiabilite et l'integration au systeme de conception structuree descendante. Ces modeles et outils sont bases sur sdl, sa-rt et les reseaux de petri.