Instruments intelligents : modèle et outils de conception

par Johan Tailland

Thèse de doctorat en Électronique, électrotechnique, automatique

Sous la direction de Laurent Foulloy.

Soutenue en 2000

à l'Université Savoie Mont Blanc .


  • Résumé

    Les travaux présentés dans cette thèse portent sur la modélisation et la conception d'instruments intelligents. D'un point de vue externe, nous considérons qu'un instrument intelligent (capteur, actionneur, contrôleur) se comporte comme un serveur. Il propose à ses clients (opérateurs, instruments intelligents), des services que nous nommons services externes. Une telle approche, fondée sur un modèle client-serveur, facilite l'interopérabilité, mais ne permet pas cependant la conception simple et rapide des instruments. Dans cette thèse, nous proposons un modèle qui tient compte à la fois des services externes d'un instrument mais aussi des traitements, appelés services internes, qui les composent. Cette structuration permet de dégager ce qui a trait à l'utilisation ou à l'exploitation (services externes), de ce qui est lié à la conception (services internes). Elle est renforcée par les notions de modes externes et de modes internes qui sont respectivement des sous-ensembles des services externes et de services internes et qui sont associés à l'état de l'instrument. Le modèle générique proposé s'appuie sur un ensemble de propriétés dont la vérification garantit le bon fonctionnement de l'instrument. Ce modèle a donné naissance à une plate-forme logicielle de conception d'instruments intelligents qui comprend un langage de description (langage CAP), un compilateur de ce langage et des outils de vérification et de génération automatique d'applications. Ces outils logiciels permettent, à partir d'une description dans le langage CAP, d'engendrer automatiquement le programme exécutable d'un instrument cible ainsi que l'IHM qui lui est associé, tout en vérifiant la conformité au modèle. Ces outils ont été conçus de manière à être utilisés par des non-spécialistes du domaine, formant ainsi une chaîne de prototypage rapide. Une validation du modèle est proposée dans le cadre de la conception d'un télémètre ultrasonore à modulation de fréquence et d'un capteur de couleur.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (184 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 145-153 ( 70 réf.)

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université Savoie Mont Blanc (Le Bourget-du-Lac, Savoie). Service commun de la documentation et des bibliothèques universitaires. Section Sciences.
  • Disponible pour le PEB
  • Bibliothèque : Université Savoie Mont Blanc (Le Bourget-du-Lac, Savoie). Service commun de la documentation et des bibliothèques universitaires. Section Sciences.
  • Non disponible pour le PEB
  • Bibliothèque : Université Savoie Mont Blanc (Le Bourget-du-Lac, Savoie). Service commun de la documentation et des bibliothèques universitaires. Section Sciences.
  • Disponible pour le PEB
  • Bibliothèque : Université Savoie Mont Blanc. Bibliothèque du Laboratoire d'informatique, Systèmes, Traitement de l'information et de la connaissance (LISTIC).
  • Non disponible pour le PEB
  • Cote : T L2000/14

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèques et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Accessible pour le PEB
  • Cote : MF-2000-TAI
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.