Le moteur de recherche
des thèses françaises
'%3e%3cpath%20style='fill:%2300a0dc;fill-opacity:1;stroke:none;stroke-width:.144606;stroke-opacity:1;stop-color:%23000'%20d='M41.8%20100.088H52.28c.46%200%20.831.421.831.945v10.25c0%20.524-.37.946-.831.946H41.8c-.46%200-.831-.422-.831-.945v-10.251c0-.524.37-.945.831-.945z'/%3e%3cpath%20d='m47.072%20102.02-4.87%202.656%204.87%202.657%203.985-2.174v3.06h.885v-3.543m-7.969%201.851v1.771l3.1%201.691%203.098-1.691v-1.77l-3.099%201.69z'%20style='fill:%23fff;fill-opacity:1;stroke-width:.442726'/%3e%3ccircle%20style='fill:%23009f1d;fill-opacity:1;stroke:%23fff;stroke-width:.379704;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;stop-color:%23000'%20cx='54.151'%20cy='101.224'%20r='3.451'/%3e%3cpath%20d='m55.669%2099.387.659.664-3.075%203.104-1.634-1.649.66-.663.974.979%202.416-2.435'%20style='fill:%23fff;fill-opacity:1;stroke:none;stroke-width:.30061;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1'/%3e%3c/g%3e%3c/svg%3e)
Analyse temporelle des systèmes d'acquisition de données : une approche à base d'automates temporisés communicants et d'observateurs
| Auteur / Autrice : | Belgacem Ben Hedia |
| Direction : | Jean-Philippe Babau, Riadh Robbana |
| Type : | Thèse de doctorat |
| Discipline(s) : | Informatique |
| Date : | Soutenance en 2008 |
| Etablissement(s) : | Lyon, INSA en cotutelle avec Université de Tunis El-Manar. Faculté des Sciences de Tunis (Tunisie) |
| Partenaire(s) de recherche : | Equipe de recherche : CITI - Centre d'Innovation en Télécommunications et Intégration de services (Lyon, INSA) |
Mots clés
Résumé
Dans le cadre des applications temps réel de contrôle de procédé, la thèse propose une théorie et de soutils formels pour caractériser temporellement le retard des données acquises sur l'état du procédé, acquisition réalisée via un logiciel dédié appelé pilote. Le contexte et le domaine d'étude de la thèse se base sur les éléments constituant une chaîne d'acquisition de données dans un contexte de contrôle de procédé, les différentes caractéristiques temporelles et les approches pour les évaluer vis-à-vis des flots de données acheminés dans la chaîne d'acquisition. Ce travail s'appuie sur un ensemble des bases théoriques requises pour cette caractérisation, particulièrement les automates temporisés communicants, les systèmes de transitions étiqutées et la vérification formelle de propriétés sur ces automates, et en particulier les observateurs. Nous proposons d'abord de formaliser les principes formels de l'évaluation des propriétés temporelles des flots de données. L'approche se concentre sur le comportement des occurences d'un flot de données dans une chaîne d'acquisition et sur la mise en place de l'observation pour l'évaluation de leurs caractéristiques temporelles et spécialement le retard. Ensuite, nous donnons les clefs techniques de la modélisation d enotre approche en IF et nous proposons des exemples de modélisation de quelques éléments de la chaîne d'acquisition, mais aussi la modélisation de l'observation pour l'évaluation des caractéristiques temporelles. Cette modélisation s'appuie sur deux approches différentes de modélisation de la chaîne d'acquisition, un premier à un niveau de spécification et un autre à un niveau d'implémentation. Enfin, nous donnons les résultats de l'approche proposée sur des exemples de chaînes d'acquisition, et nous présentons plusieurs utilisations possibles des résultats obtenus (paramétrage ou tuning d'un pilote d'équipement, détermination du langage de retard pour une chaîne d'acquisition). Au final, l'étude de l'évaluation du retard montre l'influence des paramètres de configuration du pilote sur les retards des données traitées par l'application.