Analyzing a space-protocol: from specification, simulation to experimentation - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 1992

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

Résumé

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.
Fichier principal
Vignette du fichier
forte92.pdf (132.84 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00765076 , version 1 (12-03-2019)

Identifiants

  • HAL Id : hal-00765076 , version 1

Citer

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. ⟨hal-00765076⟩
146 Consultations
17 Téléchargements

Partager

Gmail Facebook X LinkedIn More