 |
|
|
|
| HAL: hal-00003394, version 1 |
| Detailed view |  Export this paper |
|
|
| 6ème Conférence sur les Approches Formelles dans l'Assistance au Développement de Logiciels, Besançon : France (2004) |
|
|
|
|
| COAST : des réseaux de Petri à la planification assistée |
|
|
| Sébastien Bardin 1Laure Petrucci 2 |
|
|
| (2004) |
|
|
|
| COAST est un outil d'assistance à la planification militaire. Son architecture distribuée comprend un serveur constitué d'un moteur d'analyse de réseaux de Petri tandis que l'interface graphique fournie par le client permet de masquer l'utilisation des méthodes formelles. Les synchronisations entre tâches à planifier sont un aspect essentiel de COAST. Dans cet article, après une présentation générale de la problématique et de l'outil, nous décrivons les synchronisations, montrons comment elles sont modélisées et implantées. |
|
|
|
|
|
|
|
|
|
|
|
| 1: | Laboratoire Spécification et Vérification [Cachan] (LSV) |
|
|
|
CNRS : UMR8643 – INRIA – École normale supérieure de Cachan - ENS Cachan |
|
|
| 2: | Laboratoire d'informatique de Paris-nord (LIPN) |
|
|
|
CNRS : UMR7030 – Université Paris XIII - Paris Nord |
|
|
|
|
|
|
|
|
|
| Subject | : | Computer Science/Other |
|
|
| Attached file list to this document: | |||||
|
|||||
|
|
|
| hal-00003394, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00003394 | |
| oai:hal.archives-ouvertes.fr:hal-00003394 | |
| From: Laure Petrucci | |
| Submitted on: Monday, 29 November 2004 10:39:10 | |
| Updated on: Thursday, 6 July 2006 02:08:27 | |
