Skip to Main content Skip to Navigation
Theses

Contribution à la modélisation réaliste et multi-échelles des systèmes bouclés temporisés

Résumé : L'analyse d'une chaîne de production manufacturière complète, composée de plusieurs systèmes bouclés temporisés, en utilisant des modèles détaillés est presque impossible à cause des problèmes liés aux tailles des modèles. Une solution pour contourner ces difficultés consiste à utiliser des techniques d'analyse multi-échelles utilisant à la fois des modèles détaillés des système bouclés, lorsque nécessaire, mais aussi des modèles abstraits de certains systèmes bouclés dès que possible. Afin de garantir les résultats lors d'analyses multi-échelles, il convient de garantir que les modèles détaillés des systèmes bouclés ne permettent pas d'évolutions indésirables ne représentant pas un comportement réaliste des système bouclés, et que les modèles abstraits des système bouclés utilisés pendant l'analyse ont un comportement identique aux modèles détaillés de ces mêmes systèmes bouclés. La première contribution de ces travaux est une méthodologie de conception de modèles détaillés, utilisant des automates temporisés, de systèmes bouclés temporisés permettant de supprimer les évolutions irréalistes. Les solutions proposées pour y parvenir se basent sur une conception modulaire, des mécanismes d'urgence et des variables partagées. La seconde contribution de ces travaux est axée sur la vérification de l'équivalence entre les modèles détaillé et abstrait d'un même système bouclé. Pour ce faire, une équivalence conforme aux exigences d'une analyse multi-échelles est retenue, puis une méthode basée sur un automate observateur-séquenceur couplé à un model-checker est décrite. Enfin, la prise en compte d'une équivalence avec tolérances (en valeur et/ou temporelle) est détaillée.
Document type :
Theses
Complete list of metadatas

Cited literature [35 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00753503
Contributor : Abes Star :  Contact
Submitted on : Monday, November 19, 2012 - 12:02:39 PM
Last modification on : Wednesday, June 10, 2020 - 8:23:45 PM
Document(s) archivé(s) le : Thursday, February 21, 2013 - 11:24:39 AM

File

Perin2012.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-00753503, version 1

Collections

Citation

Matthieu Perin. Contribution à la modélisation réaliste et multi-échelles des systèmes bouclés temporisés. Autre. École normale supérieure de Cachan - ENS Cachan, 2012. Français. ⟨NNT : 2012DENS0028⟩. ⟨tel-00753503⟩

Share

Metrics

Record views

572

Files downloads

470