 |
|
|
|
| HAL : hal-00003394, version 1 |
| Fiche détaillée |  Récupérer au format |
|
|
| 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 |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Autre |
|
|
| Liste des fichiers attachés à ce document : | |||||
|
|||||
|
|
|
| hal-00003394, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00003394 | |
| oai:hal.archives-ouvertes.fr:hal-00003394 | |
| Contributeur : Laure Petrucci | |
| Soumis le : Lundi 29 Novembre 2004, 10:39:10 | |
| Dernière modification le : Jeudi 6 Juillet 2006, 02:08:27 | |
