Construction d’un platoon en CSPllB

Authors: JACQUOT, Jean-Pierre,SOUQUIERES, Jeanine, NGUYEN, Huu Nghia

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…

Title: Construction d’un platoon en CSPllB
Authors: JACQUOT, Jean-Pierre
SOUQUIERES, Jeanine
NGUYEN, Huu Nghia
Keywords: CSPIIB;composants logiciel;platoon;vérification formelle
Issue Date: 2009
URI: http://repository.vnu.edu.vn/handle/VNU_123/338
Appears in Collections: IFI – Master Theses
Advertisements

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s