Analysis of SpaceWire Link Initialization Time based on Timed Automata
SpaceWire provides a full-duplex,bidirectional,point-to-point,high speed data link for on-board network.It is significant to make sure of the link connection successfully and reliably.Based on timed automata,the paper presents the modeling of the modules of Controller,Timer,Transmitter and Receiver implemented in SpaceWire link interface,and the simulation of the link initialization.The tool we adopted is Uppaal,a timed automata based model checker for real-time system.In Uppaal,we analyzed some time properties during the link initialization process.It turned out that there were details of the implementation inconsistent with the SpaceWire protocol standard.The state machine of the Controller for the link interface didnt wait enough time in some states as expected.Finally,we found out the reason caused the problem and revised the implementation.
SpaceWire Timed Automata Model Checking
Ping Luo DaiWu Chen Dong Xie Yan Zhang
Department of Information Science and Engineering Hunan University of Humanities,Science and Technology Hunan,China
国际会议
西安
英文
270-273
2019-01-19（万方平台首次上网日期，不代表论文的发表时间）