Formal specification of satellite on-board networks requirements

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.