Constraint-based configuration table generator for reliable path routing and safe timeslot allocation in SpaceWire network: Session: Networks & protocols, short paper

• Published in: 2016 International SpaceWire Conference (SpaceWire) pp. 1 - 4
• Main Authors: Yamazaki, Satoshi, Tonouchi, Toshio, Otake, Yu, Sota, Yasuhiro, Tanaka, Takahiko, Hihara, Hiroki
• Format: Conference Proceeding
• Language: English
• Published: University of Dundee 01.10.2016
• Subjects: Bandwidth; constraint satisfaction problem; Instruments; Network topology; Reliability engineering; Resource management; Routing; scheduling; Space vehicles; SpaceWire; SpaceWire-D; timeslot
• DOI: 10.1109/SpaceWire.2016.7771603

SpaceWire is valuable because it facilitates the development of spacecraft subsystems such as payload instruments, mass memory, and onboard computers. On the other hand, it takes much time and effort for developers to configure an initiator of the SpaceWire network because they have to take account of the entire SpaceWire network in a spacecraft. As the target network becomes larger, the path addressing and the packet collision-free timeslot allocation are harder for the developers to configure. Furthermore, the configuration tables of the initiator should satisfy various constraints, such as the bandwidth limitation and priority of specific packets. These constraints are different in each spacecraft. In order that the developers can design the large-scale SpaceWire network efficiently, automatic configuration table generation under the constraints is indispensable. This paper presents a constraint-based configuration table generator (CTG) that automatically provides reliable redundant path routing and collision-free timeslot allocation for required transactions in the target topology. We apply a constraint solver to the CTG to set many kinds of user-defined constraints in the network. For example, the bandwidth limitation, priority of the packets, and other various constraints can be easily inputted into the CTG. The CTG automatically generates configuration tables satisfying these constraints. Additionally, the CTG reports network topology views with bandwidth utilization ratios. This helps developers to verify whether a generated configuration is just as designed. The CTG can also notify developers that their requirements cannot be solved. In this paper, we show the feasibility and effectiveness of this tool through evaluation using a large-scale SpaceWire network case.