Freshness analysis of functional sequences in launchers - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

Freshness analysis of functional sequences in launchers

Résumé

Nowadays, many embedded systems use specific data buses to guarantee the exchange of data. The next generation of space applications is moving to components off-the-shelf (COTS) technology as switched Ethernet network in order to reduce the financial cost, being attentive to the mass. However, performance should be gained without sacrificing the reliability and the properties that enabled a tele-monitoring. This paper focuses on how to obtain a single traffic capture file that will be sent over ground-board communications and how to test later the freshness requirement satisfaction. A freshness formalization is proposed as well as a freshness verification algorithm based on the analysis of single trace captured using multicast communications. An experimental evaluation has been leaded in nominal and link failure cases.
Fichier principal
Vignette du fichier
ifacconf.pdf (236.27 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01397554 , version 1 (16-11-2016)

Identifiants

  • HAL Id : hal-01397554 , version 1

Citer

Dorine Petit, Jean-Philippe Georges, Thierry Divoux, Bruno Regnier, Philippe Miramont. Freshness analysis of functional sequences in launchers. 4th IFAC Symposium on Telematics Application, Nov 2016, Porto Alegre, Brazil. ⟨hal-01397554⟩
181 Consultations
86 Téléchargements

Partager

Gmail Facebook X LinkedIn More