Construction d'un platoon en CSPllB
Ce travail a été réalisé dans le cadre des projets TACOS et CRISTAL qui ont pour but de construire un système des véhicules autonomes en libre-service. Dans ce système, les véhicules peuvent se déplacer en convoi. Nous partons d'une modélisation d'un convoi en CSPjjB. Elle décrit les pr...
Saved in:
Main Authors: | , , |
---|---|
Format: | Theses and Dissertations |
Language: | French |
Published: |
2015
|
Subjects: | |
Online Access: | http://repository.vnu.edu.vn/handle/VNU_123/338 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Vietnam National University, Hanoi |
Language: | French |
id |
oai:112.137.131.14:VNU_123-338 |
---|---|
record_format |
dspace |
spelling |
oai:112.137.131.14:VNU_123-3382017-04-05T14:15:16Z Construction d'un platoon en CSPllB JACQUOT, Jean-Pierre SOUQUIERES, Jeanine NGUYEN, Huu Nghia CSPIIB composants logiciel platoon vérification formelle Ce travail a été réalisé dans le cadre des projets TACOS et CRISTAL qui ont pour but de construire un système des véhicules autonomes en libre-service. Dans ce système, les véhicules peuvent se déplacer en convoi. Nous partons d'une modélisation d'un convoi en CSPjjB. Elle décrit les processus internes des véhicules membres qui maintiennent la distance entre véhicules, de sorte que la propriété de déplacement en convoi est conservée. Le travail de stage a eu pour premier but de modéliser en CSPjjB les processus internes des véhicules pour accrocher et décrocher d'un convoi. Nous avons amélioré le modèle existant pour avoir un nouveau modèle qui présente les processus de quatre modes de fonctionnement : déplacement en convoi, décrochage d'un convoi, déplacement indépendant et accrochage à un convoi. Un second axe a été consacré à la théorie de l'approche CSPjjB. CSPjjB, qui apparait dans les années 2000, est la combinaison de la méthode B et de l'algèbre CSP. Elle n'est pas encore totalement achevée. Une modélisation en CSPjjB comporte plusieurs composants CSPjjB. Chaque composant CSPjjB contient une machine B et un contrôleur CSP. Il existe des outils pour vérifier les machines B et leur contrôleur CSP. Cependant, il n'existe pas encore d'outil qui permet de vérifier la cohérence entre la machine B et son contrôleur CSP. Nous avons construit un logiciel qui permet de résoudre ce problème. 2015-08-03T08:33:57Z 2015-08-03T08:33:57Z 2009 Thesis http://repository.vnu.edu.vn/handle/VNU_123/338 fr application/pdf |
institution |
Vietnam National University, Hanoi |
building |
VNU Library & Information Center |
country |
Vietnam |
collection |
VNU Digital Repository |
language |
French |
topic |
CSPIIB composants logiciel platoon vérification formelle |
spellingShingle |
CSPIIB composants logiciel platoon vérification formelle JACQUOT, Jean-Pierre SOUQUIERES, Jeanine NGUYEN, Huu Nghia Construction d'un platoon en CSPllB |
description |
Ce travail a été réalisé dans le cadre des projets TACOS et CRISTAL
qui ont pour but de construire un système des véhicules autonomes en libre-service.
Dans ce système, les véhicules peuvent se déplacer en convoi. Nous partons d'une
modélisation d'un convoi en CSPjjB. Elle décrit les processus internes des véhicules
membres qui maintiennent la distance entre véhicules, de sorte que la propriété de
déplacement en convoi est conservée. Le travail de stage a eu pour premier but de
modéliser en CSPjjB les processus internes des véhicules pour accrocher et décrocher
d'un convoi. Nous avons amélioré le modèle existant pour avoir un nouveau modèle
qui présente les processus de quatre modes de fonctionnement : déplacement en
convoi, décrochage d'un convoi, déplacement indépendant et accrochage à un convoi.
Un second axe a été consacré à la théorie de l'approche CSPjjB. CSPjjB, qui apparait
dans les années 2000, est la combinaison de la méthode B et de l'algèbre CSP.
Elle n'est pas encore totalement achevée. Une modélisation en CSPjjB comporte
plusieurs composants CSPjjB. Chaque composant CSPjjB contient une machine B et
un contrôleur CSP. Il existe des outils pour vérifier les machines B et leur contrôleur
CSP. Cependant, il n'existe pas encore d'outil qui permet de vérifier la cohérence
entre la machine B et son contrôleur CSP. Nous avons construit un logiciel qui
permet de résoudre ce problème. |
format |
Theses and Dissertations |
author |
JACQUOT, Jean-Pierre SOUQUIERES, Jeanine NGUYEN, Huu Nghia |
author_facet |
JACQUOT, Jean-Pierre SOUQUIERES, Jeanine NGUYEN, Huu Nghia |
author_sort |
JACQUOT, Jean-Pierre |
title |
Construction d'un platoon en CSPllB |
title_short |
Construction d'un platoon en CSPllB |
title_full |
Construction d'un platoon en CSPllB |
title_fullStr |
Construction d'un platoon en CSPllB |
title_full_unstemmed |
Construction d'un platoon en CSPllB |
title_sort |
construction d'un platoon en cspllb |
publishDate |
2015 |
url |
http://repository.vnu.edu.vn/handle/VNU_123/338 |
_version_ |
1680965114678738944 |