%0 Conference Proceedings
%T Modeling SpaceWire networks with network calculus
%+ Département de Mathématiques, Informatique, Automatique (DMIA)
%+ Réseaux, Mobiles, Embarqués, Sans fil, Satellites (IRIT-RMESS)
%+ Institut National Polytechnique (Toulouse) (Toulouse INP)
%A Ferrandiz, Thomas
%A Frances, Fabrice
%A Fraboul, Christian
%< avec comité de lecture
%@ 978-1-4503-1008-6
%( WCTT '11: Proceedings of the 1st International Workshop on Worst-Case Traversal Time
%B 1st International Workshop on Worst-Case Traversal Time (WCTT 2011)
%C Vienne, Austria
%I ACM: Association for Computing Machinery
%P 51-57
%8 2011-11-29
%D 2011
%R 10.1145/2071589.2071596
%K Network calculus
%K Spacewire
%Z Computer Science [cs]/Embedded SystemsConference papers
%X The SpaceWire network standard is promoted by the ESA and is scheduled to be used as the sole on-board network for future satellites. This network uses a wormhole routing mechanism that can lead to packet blocking in routers and consequently to variable end-to-end delays. As the network will be shared by real-time and non real-time traffic, network designers require a tool to check that temporal constraints are verified for all the critical messages. Network Calculus can be used for evaluating worst-case end-to-end delays. However, we first have to model SpaceWire components through the definition of service curves. In this paper, we propose a new Network Calculus element that we call the Wormhole Section. This element allows us to better model a wormhole network than the usual multiplexer and demultiplexer elements used in the context of usual Store-and-Forward networks. Then, we show how to combine Wormhole Section elements to compute the end-to-end service curve offered to a flow and illustrate its use on a industrial case study.
%G English
%2 https://hal.science/hal-04026464v1/document
%2 https://hal.science/hal-04026464v1/file/Frances_5129.pdf
%L hal-04026464
%U https://hal.science/hal-04026464
%~ UNIV-TLSE2
%~ UNIV-TLSE3
%~ CNRS
%~ UT1-CAPITOLE
%~ IRIT
%~ IRIT-RMESS
%~ IRIT-ASR
%~ IRIT-INPT
%~ TOULOUSE-INP
%~ UNIV-UT3
%~ UT3-INP
%~ UT3-TOULOUSEINP