Formal specification of satellite on-board networks requirements - Archive ouverte HAL Access content directly
Preprints, Working Papers, ... Year : 2020

Formal specification of satellite on-board networks requirements

Abstract

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
Origin : Files produced by the author(s)

Dates and versions

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

Identifiers

  • HAL Id : hal-02926971 , version 1

Cite

Pierre-Julien Chaine, Marc Boyer, Claire Pagetti, Franck Wartel. Formal specification of satellite on-board networks requirements. 2020. ⟨hal-02926971⟩
236 View
177 Download

Share

Gmail Facebook X LinkedIn More