Modeling a spacewire architecture using timed automata to compute worst-case end-to-end delays
Ermont , Jérôme
Fraboul , Christian
- Publisher: HAL CCSD
[ INFO.INFO-NI ] Computer Science [cs]/Networking and Internet Architecture [cs.NI] | Systèmes embarqués | [ INFO.INFO-AR ] Computer Science [cs]/Hardware Architecture [cs.AR] | Worst-case delays analysis | Réseaux et télécommunications | Spacewire network | Timed automata | [ INFO.INFO-ES ] Computer Science [cs]/Embedded Systems | Système d'exploitation | Architectures Matérielles | UPPAAL modeling | [ INFO.INFO-OS ] Computer Science [cs]/Operating Systems [cs.OS]
International audience; 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. A case study based on an industrial one is shown. Our approach is compared with recursive flow analysis and Network Calculus.