Formal specification of satellite on-board networks requirements - Réseaux, Mobiles, Embarqués, Sans fil, Satellites Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2020

Formal specification of satellite on-board networks requirements

Résumé

This report proposes a formal introduction to the satellite on-board network requirements. These requirements have been sorted into several categories: Input Contracts which describe constraints on the injection of the messages of the flows in the system (network), Generic Constraints which describe generic constraints as well as medium specific constraints, Quality of Service Constraints which describe constraints on the reception of messages of the flows in the system and Precedence Constraints which describe temporal relationships between flows. One category of constraints have been left behind : Fault Tolerance Constraints, they will not be described in this document.
Fichier principal
Vignette du fichier
Formal-Specification-Satellite-Network-Requirements.pdf (980.42 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-02926971 , version 1 (01-09-2020)

Identifiants

  • HAL Id : hal-02926971 , version 1

Citer

Pierre-Julien Chaine, Marc Boyer, Claire Pagetti, Franck Wartel. Formal specification of satellite on-board networks requirements. 2020. ⟨hal-02926971⟩
240 Consultations
181 Téléchargements

Partager

Gmail Facebook X LinkedIn More