1Friedenthal S, Moore A, Steiner R. Integrating SysML into a sys-tems development environment [M], A Practical Guide to SysML.2nd ed. [S. 1. ]. Elsevier, 2012: 523 - 556.
2Koonga C S,Shihb C, Hsiungc P A, et al. Automatic testing en-vironment for multi -Core embedded software ATEMES [J]. TheJournal of Systems and Software, 2012,85 (1): 43 - 60.
3ADS2: Avionics development system 2nd generation [EB/OL].www. techsat. com. 2004.