Rechercher

[PRA02] Application des réseaux de Haut-Niveau à la vérification automatique de programmes Ada95 concurrents

Chapitres de Livre : January 2002,

Auteurs: J. Pradat-Peyre

motcle:
Résumé: Les réseaux de Petri et leurs abréviations (e.g. réseaux colorés ou bien formés) offrent un bon compromis entre pouvoir d'expression et possibilités d'analyse automatique (voir par exemple le chapitre 8 du livre "Les réseaux de Petri: Modèles Fondamentaux" dans la même collection). Cependant, l'expression de solutions à l'aide de ces formalismes nécessite une bonne expérience en modélisation\,: il faut maîtriser le formalisme et il faut savoir faire les bonnes abstractions. Nous étudions dans ce chapitre la possibilité de vérifier des solutions de problèmes concurrents exprimées dans le langage Ada. Ce langage offre en effet une sémantique précise de la concurrence et des mécanismes de haut niveau (tâches, rendez-vous et objets protégés) pour exprimer celle-ci.

Commentaires: "Vérification et Mise en Oeuvre des Réseaux de Petri"; Traité IC2 - Série Informatique et systèmes d'information Edition Hermes -

BibTeX

@inbook {
PRA02,
title="{}",
chapter="{Application des réseaux de Haut-Niveau à la vérification automatique de programmes Ada95 concurrents}",
author="J. Pradat-Peyre",
year=2002,
note="{"Vérification et Mise en Oeuvre des Réseaux de Petri"; Traité IC2 - Série Informatique et systèmes d'information Edition Hermes - }",
}