A timed communication behaviour model for distributed systems

Yanwen Chen 1
1 SCALE - Safe Composition of Autonomous applications with Large-SCALE Execution environment
CRISAM - Inria Sophia Antipolis - Méditerranée , COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Résumé : Cette thèse présente un nouveau modèle temporisé appelé timed-pNets pour la modélisation et la vérification des comportements des systèmes distribués hétérogènes. Un défi essentiel de ces systèmes est de spécifier correctement les contraintes de temps du système, dans la mesure où les nœuds dans les systèmes distribués n'ont pas l'horloge physique commune. Timed-pNets utilise un modèle de temps basé sur des horloges logiques, de manière à ce que les mesures de temps dans ce modèle ne reposent pas sur une horloge physique commune. Les timed-pNets ont une structure hiérarchique en arbre: les feuilles de cet arbre sont des Systèmes de Transition Étiquetés paramétrés temporisés (timed-LTSs), et les autres nœuds sont des dispositifs de synchronisation qui permettent de composer les comportements de leurs sous-réseaux. A chaque nœud d'un timed-pNet peut être associée une spécification temporisée, qui consiste en un ensemble d’horloges logiques et de relations sur ces horloges. Les spécifications temporisées sont utilisées pour spécifier les comportements du système, y compris les communications synchrones et asynchrones. Grâce à la spécification temporisée, les timed-pNets peuvent modéliser des systèmes de manière flexible. Les analyses des limites de temps, de la sûreté et de la latence sont discutées par l'étude des conflits de relations entre les horloges logiques du système. Nous utilisons un scénario d'insertion de voitures dans les systèmes de transport intelligents (ITS) comme un exemple pour illustrer l'utilisation de notre modèle timed-pNets. Finalement, l'outil TimeSquare est utilisé pour effectuer une simulation logique et vérifier la validité de notre modèle.
Type de document :
Thèse
Other [cs.OH]. Université Nice Sophia Antipolis, 2014. English. <NNT : 2014NICE4090>
Liste complète des métadonnées

https://tel.archives-ouvertes.fr/tel-01127353
Contributeur : Abes Star <>
Soumis le : samedi 7 mars 2015 - 02:02:25
Dernière modification le : mercredi 14 décembre 2016 - 01:07:14
Document(s) archivé(s) le : lundi 8 juin 2015 - 13:50:36

Fichier

2014NICE4090.pdf
Version validée par le jury (STAR)

Identifiants

  • HAL Id : tel-01127353, version 1

Collections

Citation

Yanwen Chen. A timed communication behaviour model for distributed systems. Other [cs.OH]. Université Nice Sophia Antipolis, 2014. English. <NNT : 2014NICE4090>. <tel-01127353>

Partager

Métriques

Consultations de
la notice

180

Téléchargements du document

297