Architecture et Services des Intergiciels Temps Réel
L'utilisation d'intergiciels pour la réalisation de systèmes temps réel répartis embarqus (TR2E) nécessite la preuve des propriétés de bon fonctionnement de l'intergiciel et une mesure de son impact sur la sémantique du système. Parallèlement, l'intergiciel doit être adaptable et...
Main Author: | |
---|---|
Published: |
Télécom ParisTech
2005
|
Subjects: | |
Online Access: | http://pastel.archives-ouvertes.fr/pastel-00001458 http://pastel.archives-ouvertes.fr/docs/00/50/00/77/PDF/memoire.pdf |
id |
ndltd-CCSD-oai-pastel.archives-ouvertes.fr-pastel-00001458 |
---|---|
record_format |
oai_dc |
spelling |
ndltd-CCSD-oai-pastel.archives-ouvertes.fr-pastel-000014582013-01-07T17:40:50Z http://pastel.archives-ouvertes.fr/pastel-00001458 http://pastel.archives-ouvertes.fr/docs/00/50/00/77/PDF/memoire.pdf Architecture et Services des Intergiciels Temps Réel Hugues, Jerome Répartition Temps Réel Embarqué Vérification L'utilisation d'intergiciels pour la réalisation de systèmes temps réel répartis embarqus (TR2E) nécessite la preuve des propriétés de bon fonctionnement de l'intergiciel et une mesure de son impact sur la sémantique du système. Parallèlement, l'intergiciel doit être adaptable et répondre à de nombreuses contraintes (plate-forme d'exécution, ressources, interfaces de communication, ...). Cette thèse propose une architecture adaptable d'intergiciel qui permet 1) l'adaptabilité de ses fonctions élémentaires aux besoins de l'utilisateur, 2) la vérification formelle des propriétés de l'intergiciel. Cette architecture étend celle de l'intergiciel schizophrène. Elle fournit une séparation claire entre la boucle de contrôle et les services fonctionnels de l'intergiciel, facilitant le support de plusieurs politiques de concurrence et de gestions des ressources. Nous avons validé notre proposition en vérifiant formellement les propriétés causales de deux configurations de l'intergiciel, en étendant les mécanismes de l'intergiciel pour proposer une implantation complète des spcifications RTCORBA et DDS, ainsi qu'un guide pour le support d'autres classes d'intergiciels. Enfin, nous proposons une analyse complète des performances, du déterminisme et de l'empreinte mémoire de configurations significatives de l'intergiciel. 2005-09 PhD thesis Télécom ParisTech |
collection |
NDLTD |
sources |
NDLTD |
topic |
Répartition Temps Réel Embarqué Vérification |
spellingShingle |
Répartition Temps Réel Embarqué Vérification Hugues, Jerome Architecture et Services des Intergiciels Temps Réel |
description |
L'utilisation d'intergiciels pour la réalisation de systèmes temps réel répartis embarqus (TR2E) nécessite la preuve des propriétés de bon fonctionnement de l'intergiciel et une mesure de son impact sur la sémantique du système. Parallèlement, l'intergiciel doit être adaptable et répondre à de nombreuses contraintes (plate-forme d'exécution, ressources, interfaces de communication, ...). Cette thèse propose une architecture adaptable d'intergiciel qui permet 1) l'adaptabilité de ses fonctions élémentaires aux besoins de l'utilisateur, 2) la vérification formelle des propriétés de l'intergiciel. Cette architecture étend celle de l'intergiciel schizophrène. Elle fournit une séparation claire entre la boucle de contrôle et les services fonctionnels de l'intergiciel, facilitant le support de plusieurs politiques de concurrence et de gestions des ressources. Nous avons validé notre proposition en vérifiant formellement les propriétés causales de deux configurations de l'intergiciel, en étendant les mécanismes de l'intergiciel pour proposer une implantation complète des spcifications RTCORBA et DDS, ainsi qu'un guide pour le support d'autres classes d'intergiciels. Enfin, nous proposons une analyse complète des performances, du déterminisme et de l'empreinte mémoire de configurations significatives de l'intergiciel. |
author |
Hugues, Jerome |
author_facet |
Hugues, Jerome |
author_sort |
Hugues, Jerome |
title |
Architecture et Services des Intergiciels Temps Réel |
title_short |
Architecture et Services des Intergiciels Temps Réel |
title_full |
Architecture et Services des Intergiciels Temps Réel |
title_fullStr |
Architecture et Services des Intergiciels Temps Réel |
title_full_unstemmed |
Architecture et Services des Intergiciels Temps Réel |
title_sort |
architecture et services des intergiciels temps réel |
publisher |
Télécom ParisTech |
publishDate |
2005 |
url |
http://pastel.archives-ouvertes.fr/pastel-00001458 http://pastel.archives-ouvertes.fr/docs/00/50/00/77/PDF/memoire.pdf |
work_keys_str_mv |
AT huguesjerome architectureetservicesdesintergicielstempsreel |
_version_ |
1716396409952927744 |