Analyzing a space-protocol: from specification, simulation to experimentation

Marc Andreu 1 Michèle Haziza 1 Claude Jard 2 Jean-Marc Jézéquel 2
1 Matra Marconi Space [Toulouse]
2 PAMPA - Models and Tools for Programming Distributed Parallel Architectures
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes
Abstract : The space industry demands that software components, like the others, draw near the "zero-default" quality. It is now acknowledged that fulfilling this goal for complex programs like distributed applications or communication protocols, requires the use of formal specifications and of computer-aided verification tools. This paper describes an evaluation led by the aerospace company Matra-Marconi-Space in cooperation with Irisa (an academic research center) on the interest and suitability of formal methods and related technologies in this context. This evaluation involves an actual Matra-Marconi-Space specific space protocol (SDM+), the use of formal methods based on the FDT Estelle, and an experimentation tool called Echidna (made at Irisa) to simulate and prototype protocols on real distributed systems. We describe here this evaluation process along with the main conclusions we drew on it.
Keywords : Formal Languages Model Validation and Analysis Network Protocols
Type de document :
Communication dans un congrès
Proc. of the Fifth International Conference on Formal Description Techniques, Oct 1992, Perros-Guirrec, France. 1992
Liste complète des métadonnées
https://hal.inria.fr/hal-00765076
Contributeur : Jean-Marc Jézéquel <>
Soumis le : mardi 12 mars 2019 - 10:24:34
Dernière modification le : mardi 12 mars 2019 - 10:41:02

Fichier

forte92.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00765076, version 1

Collections

UNIV-RENNES1 | UNIV-RENNES | UR1-UFR-ISTIC | IRISA | INRIA

Citation

Marc Andreu, Michèle Haziza, Claude Jard, Jean-Marc Jézéquel. Analyzing a space-protocol: from specification, simulation to experimentation. Proc. of the Fifth International Conference on Formal Description Techniques, Oct 1992, Perros-Guirrec, France. 1992. 〈hal-00765076〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

298

Téléchargements de fichiers

22

Contact


archive-ouverte@inria.fr