[4] Pasetti A P.A Component framework for satellite on-board software [C] // Proceedings of the 18-th Digital Avionics System Conference.Oct.1999,St.Louis,Missouri(USA).

[5] Burns A W.A structured design method for hard real-time systems [J].Real-Time Systems,1994,6:73-114.

[6] Software Engineering Laboratory,C STYLE GUIDE [Z].Goddard Space Flight Center,Maryland:1994.