Accéder directement au contenu Accéder directement à la navigation
Thèse

Évaluation des bornes des performances temporelles des Architectures d'Automatisation en Réseau par preuves itératives de propriétés logiques

Résumé : Ce mémoire de thèse propose une approche pour l'obtention des bornes des performances temporelles d'une Architecture d'Automatisation en Réseau par preuves itératives de propriétés d'atteignabilité sur un modèle formel de l'architecture. Ces propriétés d'atteignabilité sont définies grâce à un automate observateur temporisé et paramétré, dont les gardes de certaines transitions sont fonction d'un paramètre temporel. A chaque itération, les résultats de preuves permettent de déterminer la valeur de ce paramètre pour la prochaine itération ; un algorithme de recherche par dichotomie assure la convergence des itérations. La mise en œuvre de cette approche sur des architectures de taille non triviale a nécessité le développement d'une méthode d'abstraction qui comporte deux étapes : simplification de la structure et modification des modèles formels des composants figurant dans la structure simplifiée, ceci afin de prendre en compte les phénomènes de concurrence entre requêtes émises par différents composants. Ces contributions formelles et méthodologiques ont été validées expérimentalement par le traitement de plusieurs cas de taille et complexité croissantes, basés sur le protocole Modbus TCP/IP.
Liste complète des métadonnées

Littérature citée [63 références]  Voir  Masquer  Télécharger

https://tel.archives-ouvertes.fr/tel-00405783
Contributeur : Silvain Ruel <>
Soumis le : mardi 21 juillet 2009 - 10:23:01
Dernière modification le : jeudi 9 février 2017 - 15:53:25
Document(s) archivé(s) le : mardi 15 juin 2010 - 19:03:17

Fichier

Identifiants

  • HAL Id : tel-00405783, version 1

Collections

Citation

Silvain Ruel. Évaluation des bornes des performances temporelles des Architectures d'Automatisation en Réseau par preuves itératives de propriétés logiques. Automatique / Robotique. École normale supérieure de Cachan - ENS Cachan, 2009. Français. ⟨tel-00405783⟩

Partager

Métriques

Consultations de la notice

363

Téléchargements de fichiers

693