2Olympic Manufacturer Group(OMG). Model Driven Architecture (MDA)[EB/OL]. (2010-10-20). http://www.omg.org/mda/.
3Feiler P H, Gluch D P, Hudak J J. The Architecture Analysis and Design Language(AADL): An Introduction[C] //Proc. of Int’l Society of Automotive Engineers Conference. Pittsburgh, USA: [s. n.] , 2006.
4Sokolsky O, Lee I, Clarke D. Schedulability Analysis of AADL Models[C] //Proc. of the 20th Parallel and Distributed Processing Symposium. Rhodes Island, Greece: [s. n.] , 2006.
5Joshi A, Vestal S, Binns P. Automatic Generation of Static Fault Trees from AADL Models[C] //Proc. of the 37th Annual IEEE/IFIP Int’l Conference on Dependable Systems and Networks Workshop on Architecting Dependable Systems. Edinburgh, UK: [s. n.] , 2007.
6Blanquart J P, Rossignol A, Thomas D. Toward Model-based Engineering for Space Embedded Systems and Software[C] //Proc. of the 3rd European Congress on Embedded Real Time Software. Toulouse, France: [s. n.] , 2006.
