›› 2019, Vol. 39 ›› Issue (1): 11-.doi: 10.16708/j.cnki.1000-758X.2018.0065
JIANG Hong, YANG Meng-Fei, LIU Bo, LIU Hong-Jin, GONG Jian
Being aimed at highspeed SpaceWireD, a method of schedule generation was put forward, implemented with greedy algorithm combined with SMTSolver. The greedy algorithm was designed to generate a set of constraint for SMTSolver and to make the frames and frame chips distribute more uniformly in the generated schedule. The SMTSolver is an important tool and its function is to determine the satisfiability of input parameters. If it is satisfiable, the output module is the schedule wanted. In addition, new policies were proposed about setting the length of frame chips, the size of timeslots, and collision area division. The method was verified with experiments. The results show that the generation algorithm can acquire a schedule featured by approximate uniform distribution in hundreds of milliseconds.
satisfiability module theory,
JIANG Hong, YANG Meng-Fei, LIU Bo, LIU Hong-Jin, GONG Jian. A method of SpaceWireD schedule generation [J]. , 2019, 39(1): 11-.
Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks