LIP6 1997/039

• Rapports de recherche
  Depuis les Spécifications Formelles à l'Implémentation de Systèmes Répartis: Une approche Multi-Formalisme
• A. Diagne, F. Kordon
• 22 pages - 19/12/1997- document en - http://www.lip6.fr/lip6/reports/1997/lip6.1997.039.ps.gz - 96 Ko
• Contact : Alioune.Diagne (at) nulllip6.fr, Fabrice.Kordon (at) nulllip6.fr
• Ancien Thème : SRC
Cet article présente une méthodologie pour la construction de systèmes répartis sûrs. Cette méthodologie considère à la fois les aspects conceptuels et opérationnels de la description d'un système. Au niveau conceptuel, nous insistons sur les propriétés de vivacité et de sûreté attendues. De telles propriétés doivent être posées puis vérifiées. Au niveau opérationnel, nous insistons sur les propriétés permettant d'optimiser l'application correspondante. La traçabilité entre ces deux niveaux est supportée de manière semi-automatique. Elle préserve les propriétés prouvées et écarte l'information irrelevante pour la génération de code. Cet article, après avoir présenté les principes de la méthodologie, propose une application sur un exemple simple.
• Mots clés : Spécifications Formelles, Réseaux de Petri, Validation, Vérification, Traçabilité de choix de conception, Prototypage, Systèmes Répartis
• Directeur de la publication : Denis.Poitrenaud (at) nulllip6.fr