Computing the exact worst-case End-to-end delays in a Spacewire network using Timed Automata

Jérôme Ermont (1, 2) , Christian Fraboul (1)

1 IRIT-RMESS - Réseaux, Mobiles, Embarqués, Sans fil, Satellites
2 Toulouse INP - Institut National Polytechnique (Toulouse)

Spacewire is a real-time communication network for use onboard satellites. It has been designed to transmit both payload and control/command data. To guarantee that communications respect the real-time constraints, designers use tools to compute the worst-case end-to-end delays. Among these tools, recursive flow analysis and Network Calculus approaches have been studied. This paper proposes to use the model-checking approach based on timed automata to compute the exact worstcase end-to-end delays and two case studies are presented.

Mots clés: Système d'exploitation

Domaines: Réseaux et télécommunications [cs.NI]; Système d'exploitation [cs.OS]; Architectures Matérielles [cs.AR]; Systèmes embarqués

Jérôme Ermont, Christian Fraboul. Computing the exact worst-case End-to-end delays in a Spacewire network using Timed Automata. 19th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2013), Apr 2013, Philadelphie, PA, United States. pp. 5-8. ⟨hal-01228709⟩