Computer Science ›› 2015, Vol. 42 ›› Issue (12): 95-97.
Previous Articles Next Articles
SUN Lei, YANG Hai-yan and WU Ji
[1] Airlines Electronic Engineering Committee[S].Avionics Application Software Standard Interface.Aeronautical Radio,1997 [2] Wilson A,Preyssler T.Incremental Certification and Integrated Modular Avionics[J].Aerospace and Electronic Systems Magazine,IEEE,2009,24(11):10-15 [3] Parkinson P,Kinnan L.Safety-critical software development for integrated modular avionics[J].Embedded System Engineering,2003,11(7):40-41 [4] Jouault F,Allilaire F,Bézivin J,et al.ATL:a QVT-like transformation language[C]∥Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems,languages,and applications.ACM,2006:719-720 [5] 罗国庆.VxWorks与嵌入式开发[M].北京:中国机械工业出版社,2003 [6] http://www.windriver.com/products/platforms/safety_critical_arinc_653/index.html [7] OMG.QVT Query/views/Transformations RFP,OMG Docu-ment ad.http://www.omg.org/cgi-bin/doc?ad/2002-4-10 [8] Van Amstel M,Bosems S,Kurtev I,et al.Performance in model transformations:experiments with ATL and QVT[M]∥Theory and Practice of Model Transformations.Springer Berlin Heidelberg,2011:198-212 [9] OMG.Unified Modeling Language Specification,Version 2.0,OMG Document formal.http://www.omg.org/spec/UML/2.0 [10] Vanderperren Y,Dehaene W.From UML/SysML to Matlab/Simulink:current state and future perspectives[C]∥Procee-dings of the Conference on Design,Automation and Test in Europe(DATE 2006).Munich,Germany,2006:93-93 [11] 耿素云,屈婉玲.离散数学[M].北京:清华大学出版社,2004 |
No related articles found! |
|