飞行控制系统数字化设计技术研究
|
摘要
“飞机数字化工程”是我国航空工业部门针对飞机传统研制方法存在的各种问题而启动的一项重要工程,其目的是通过该工程的研究推动数字化设计技术在飞机研制中的应用,解决传统研制方法存在的质量低、周期长和花费大等问题。飞控系统数字化设计是“飞机数字化工程”的重要组成部分,本文对此开展了深入的研究。
首先,提出飞控系统数字化设计工程的总体方案。具体包括:①给出数字化设计的概念,结合飞控系统特点及其传统设计方法提出飞控系统分层数字化设计思路;②在此基础上研究飞控系统数字化设计环境的功能结构,并将其划分为顶层设计数字化设计环境、领域工程层次数字化设计环境及辅助功能环境三部分;③在研究分析当前技术的基础上,分别确定三部分的设计建模语言以及基于COTS技术的搭建方案。
第二,对顶层数字化设计技术中的若干关键问题进行深入研究。具体包括:①以飞控系统设计为背景研究顶层数字化设计核心建模语言SysML的规范及图符;②深入分析SysML模型的体系结构、运行原理及底层代码组成,在此基础上给出基于SysML与Simulink的飞控系统概念样机组成方案,并研究SysML模型与Simuilnk模型之间的协同仿真及仿真可视化原理及实现;③在飞控系统传统顶层设计方法的基础上,结合SysML特点研究并设计飞控系统顶层数字化设计过程模型;
第三,对领域工程层次的软件数字化设计技术进行深入的研究。具体包括:①以飞控软件数字化设计为背景研究软件数字化设计建模语言UML的规范及图符;②基于UML与SysML的同源性,在裁剪基于SysML顶层数字化设计过程模型的基础上设计基于UML的飞控软件(或其它机载应用软件)数字化设计过程模型;③研究飞控软件UML模型向特定目标平台源代码转换的关键因素——OXF框架适配器工作原理,并设计针对ArmLinux平台的适配器;
第四,对支持顶层数字化设计的文档自动生成技术和模型数据管理技术进行深入的研究。具体包括:①研究确定顶层数字化设计文档自动生成方案,在此基础上设计与顶层数字化设计过程模型相匹配的文档模板;②在研究分析飞控系统顶层数字化设计产生的各类模型基础上,设计顶层数字化设计模型数据管理系统;
第五,以案例无人机Predator的飞控系统PFCS为对象进行了数字化设计实践。首先进行顶层数字化设计,得到运行正确且满足设计要求的Predator飞控系统概念样机;然后基于PFCS概念样机中的相关模块对飞控软件进行数字化设计,得到满足设计要求的Predator飞控软件UML模型及软件代码。
最后,对研究工作进行总结与展望。具体包括:①总结本文研究工作所取得的研究成果及创新;②提出进一步完善相关研究工作的思路。
“Aircraft Digital Design & Manufacture Engineering (ADDME)”is a project that China aviation industry department starts for overcoming the disadvantages of traditional design method of aircraft, such as low quality, long period and costly. Digital design of Flight Control System (FCS) is an important part of ADDME, this paper focuses on it and does some research.
First of all, the overall scheme of FCS digital design is proposed. The details include:①The concept of digital design and layered digital design idea of FCS is proposed.②On this basis, the function architecture of FCS digital design is researched and divided into three parts: top level digital design, domain level digital design and auxiliary functions.③Based on the currently technical conditions, the design & modeling language and supporting environments based on COTS are designed.
The second part of this paper deeply researches on the top level digital design technology. The details include:①Specification, diagrams and application in FCS design of SysML, which is the core design & modeling language of top level digital design, are researched.②The structure, working principle and code component of SysML model built on top level design environments are analyzed firstly, on this basis, the FCS concept prototype schemes composed of SysML and Simulink model is given, and the collaborative simulation principle and simulation visualization problem are researched.③Based on traditional design process of FCS and characteristic of SysML, the top level digital design process model of FCS is studied and presented.④The top level digital design is finished by treating the FCS of UAV Predator as a research object, and the FCS concept prototype of Predator, which runs correctly and meets the design requirements, is obtained.
The third part of this paper deeply researches on the software digital design technology of the domain level. The details include:①Specification, diagrams and application in flight control software design of UML are researched.②According the same characteristics of UML and SysML, the software digital design process model is presented based on cut and modification of high level process model.③OXF framework adapter design principle, which is the key factor of transforming from flight control software UML model to specific target platform source code, is researched.④As treating UAV Predator as a research object, the software digital design is finished, and the UML model of its flight control software, which meets the design requirements, is obtained.
The fourth part of this paper deeply researches on the auxiliary function technology which supports the top level digital design. The details include:①The scheme of automatically generating high level digital design document is determined, on this basis, the document template, which matches the process model of top level digital design, is designed, then relevant design documents for Predator FCS designed in chapter 3 are generated.②Based on the analysis of models generated from top level digital design, its model management system is designed.
At last, the research in this paper is concluded and prospected. The details include:①The achievements and innovation of this research are concluded.②The thought of completing relevant research work is proposed.
首先,提出飞控系统数字化设计工程的总体方案。具体包括:①给出数字化设计的概念,结合飞控系统特点及其传统设计方法提出飞控系统分层数字化设计思路;②在此基础上研究飞控系统数字化设计环境的功能结构,并将其划分为顶层设计数字化设计环境、领域工程层次数字化设计环境及辅助功能环境三部分;③在研究分析当前技术的基础上,分别确定三部分的设计建模语言以及基于COTS技术的搭建方案。
第二,对顶层数字化设计技术中的若干关键问题进行深入研究。具体包括:①以飞控系统设计为背景研究顶层数字化设计核心建模语言SysML的规范及图符;②深入分析SysML模型的体系结构、运行原理及底层代码组成,在此基础上给出基于SysML与Simulink的飞控系统概念样机组成方案,并研究SysML模型与Simuilnk模型之间的协同仿真及仿真可视化原理及实现;③在飞控系统传统顶层设计方法的基础上,结合SysML特点研究并设计飞控系统顶层数字化设计过程模型;
第三,对领域工程层次的软件数字化设计技术进行深入的研究。具体包括:①以飞控软件数字化设计为背景研究软件数字化设计建模语言UML的规范及图符;②基于UML与SysML的同源性,在裁剪基于SysML顶层数字化设计过程模型的基础上设计基于UML的飞控软件(或其它机载应用软件)数字化设计过程模型;③研究飞控软件UML模型向特定目标平台源代码转换的关键因素——OXF框架适配器工作原理,并设计针对ArmLinux平台的适配器;
第四,对支持顶层数字化设计的文档自动生成技术和模型数据管理技术进行深入的研究。具体包括:①研究确定顶层数字化设计文档自动生成方案,在此基础上设计与顶层数字化设计过程模型相匹配的文档模板;②在研究分析飞控系统顶层数字化设计产生的各类模型基础上,设计顶层数字化设计模型数据管理系统;
第五,以案例无人机Predator的飞控系统PFCS为对象进行了数字化设计实践。首先进行顶层数字化设计,得到运行正确且满足设计要求的Predator飞控系统概念样机;然后基于PFCS概念样机中的相关模块对飞控软件进行数字化设计,得到满足设计要求的Predator飞控软件UML模型及软件代码。
最后,对研究工作进行总结与展望。具体包括:①总结本文研究工作所取得的研究成果及创新;②提出进一步完善相关研究工作的思路。
“Aircraft Digital Design & Manufacture Engineering (ADDME)”is a project that China aviation industry department starts for overcoming the disadvantages of traditional design method of aircraft, such as low quality, long period and costly. Digital design of Flight Control System (FCS) is an important part of ADDME, this paper focuses on it and does some research.
First of all, the overall scheme of FCS digital design is proposed. The details include:①The concept of digital design and layered digital design idea of FCS is proposed.②On this basis, the function architecture of FCS digital design is researched and divided into three parts: top level digital design, domain level digital design and auxiliary functions.③Based on the currently technical conditions, the design & modeling language and supporting environments based on COTS are designed.
The second part of this paper deeply researches on the top level digital design technology. The details include:①Specification, diagrams and application in FCS design of SysML, which is the core design & modeling language of top level digital design, are researched.②The structure, working principle and code component of SysML model built on top level design environments are analyzed firstly, on this basis, the FCS concept prototype schemes composed of SysML and Simulink model is given, and the collaborative simulation principle and simulation visualization problem are researched.③Based on traditional design process of FCS and characteristic of SysML, the top level digital design process model of FCS is studied and presented.④The top level digital design is finished by treating the FCS of UAV Predator as a research object, and the FCS concept prototype of Predator, which runs correctly and meets the design requirements, is obtained.
The third part of this paper deeply researches on the software digital design technology of the domain level. The details include:①Specification, diagrams and application in flight control software design of UML are researched.②According the same characteristics of UML and SysML, the software digital design process model is presented based on cut and modification of high level process model.③OXF framework adapter design principle, which is the key factor of transforming from flight control software UML model to specific target platform source code, is researched.④As treating UAV Predator as a research object, the software digital design is finished, and the UML model of its flight control software, which meets the design requirements, is obtained.
The fourth part of this paper deeply researches on the auxiliary function technology which supports the top level digital design. The details include:①The scheme of automatically generating high level digital design document is determined, on this basis, the document template, which matches the process model of top level digital design, is designed, then relevant design documents for Predator FCS designed in chapter 3 are generated.②Based on the analysis of models generated from top level digital design, its model management system is designed.
At last, the research in this paper is concluded and prospected. The details include:①The achievements and innovation of this research are concluded.②The thought of completing relevant research work is proposed.
引文
[1].黄迪生.数字化协同与大飞机工程.中国制造业信息化,2008,(18):13~15.
[2].唐荣锡.中国有技术中国人能造大飞机——国家重视航空工业的数字化技术建设.中国制造业信息化,2008,(9):10~12.
[3].黄宁,崔德刚.数字化技术在JSF飞机研制中的应用.国际航空,2002,(8):68~69
[4].黄建云.数字化技术在成都飞机设计研究所的应用.国际航空,2002.(9):40~42.
[5].丘宏俊,陶华,高晓兵.飞机数字化装备若干问题的思考.航空制造技术,2006,(10):50~54.
[6].西安飞机设计研究所.中国首架飞机电子样机问世.航空工程与维修,2001,(4):12~14.
[7].冯雷,范玉青.飞机数字化设计工程数据管理技术研究.2004,10(2):183~187.
[8].郑国磊,朱心雄,许德,等.飞机装配型架中骨架的数字化设计原理及实现.航空学报, 2005, 26 (2):229~233.
[9].徐微,王普.数字化设计制造技术在飞机研制的应用研究与实践.航空制造技术,2001,(4): 19~34.
[10].于勇,陶剑,范玉青.大型飞机数字化设计制造技术应用综述.航空制造技术,2009,(11):56~60.
[11].邵毅,张开富,李原,等.飞机数字化产品开发.航空制造技术,2003,(9):31~37.
[12].卢鹄,范玉青.飞机结构产品的数字化定义.北京航空航天大学学报,2006,32(5):526~530.
[13]. VIVACE introduction: Aircraft studies. [EB/OL], http://www.vivaceproject.com/index.php.
[14].张明廉.飞行控制系统.北京:航空工业出版社,1994:1~390.
[15].吴森堂,费玉华.飞行控制系统.北京:北京航空航天大学出版社,2005:1~367.
[16].吴建民,敬忠良,肖刚.基于模型仿真的航空电子系统螺旋式开发方法.系统工程与电子技术, 2007, 29(3):488~491.
[17].李伯虎,柴旭东.复杂产品虚拟样机工程.计算机集成制造系统, 2002, 8(9):678~683.
[18].蒋彩云,王维平,李群.SysML:一种新的系统建模语言.系统仿真学报, 2006, 18(6): 1483~1492.
[19]. INCOSE. INCOSE systems engineering handbook. [EB/OL] http://www.incose.org/.
[20]. NASA headquarters. Systems engineering handbook. [EB/OL]www.nasa.org.
[21]. A.Wayne Wymore. Model based system engineering. USA: CRC press, 1993:1~701.
[22]. D. Harel, H. Lachover, A. Naamad,etc. STATEMATE:A Working Environment for the Development of Complex Reactive Systems. IEEE Transaction on Software Engineering, 1990, 16(4):403~414.
[23]. OMG. UML Infrastructure Specification Version 2.0. [EB/OL] http://www.omg.org/spec/UML / 2.0/ Infrastructure/PDF/,2005.
[24]. OMG. UML Superstructure Specification Version 2.0. [EB/OL] http://www.omg.org/spec/UML/ 2.0/Superstructure/PDF/,2005.
[25]. OMG.SysML Specification Version 1.2. [EB/OL] http://www.omg.org/spec/SysML/1.0/PDF/, 2007.
[26]. OMG. Model Driven Architecture Specification. [EB/OL] http://www.omg.org/mda/specs.htm, 2007.
[27]. Miller Joaquin, Mukerji Jishnu. MDA Guide Version 1.0.[EB/OL] http://www.omg.org/mda/ specs.htm, 2003.
[28]. Keleppe Anneke. MDA explained, the model driven architecture:practice and promise. USA:Addison-Wesley, 2003:15~71.
[29].来猛,赵建华,李宣东,等.MDA的设想与实现.计算机工程与设计, 2004, 25(11): 1876~1902.
[30].李伯虎,朱文海,刘杰,等.复杂产品虚拟样机技术的研究与实践.测控技术, 2001, 20(11):1~6.
[31].熊光楞,陈晓波,郭斌.复杂产品设计的仿真现状及发展趋势.计算机集成制造系统, 2002, 8(9):673~677.
[32].杨磊.虚拟样机技术及其在航天遥感器研发中的应用,[博士学位论文].湖南长沙:国防科技大学, 2008.
[33].邸彦强,李伯虎,柴旭东,等.多学科虚拟样机协同建模与仿真平台及其关键技术研究.计算机集成制造系统, 2005, 11(7):901~908.
[34].侯宝存,柴旭东,李伯虎,等.面向多学科虚拟样机协同仿真的仿真网格技术研究..计算机集成制造系统, 2006, 12(12):2004~2010.
[35].李伯虎,张霖,王时龙,等.云制造——面向服务的网络化制造新模式.计算机集成制造系统, 2010, 16(1):1~7.
[36].李伯虎,柴旭东,朱文海,等.复杂产品协同制造支撑环境技术的研究.计算机集成制造系统, 2003, 9(8):691~696.
[37].王鹏,李伯虎,柴旭东,等.复杂产品虚拟样机协同建模仿真技术研究.系统仿真学报, 2004, 16(2):274~277.
[38]. Xuqiang Ling,Xiaodong Huang,Bohu Li,etc.SimFaster:a Modeling and Simulation Platform with Multiviews for Complex System.The International Journal of Computation and Mathematics in Electrical and Electronic Engineering, 2009, 28(6):1546~1559.
[39].王鹏,李伯虎,柴旭东,等.复杂产品多学科虚拟样机顶层建模语言研究.计算机集成制造系统,2006, 12(10):1605~1611.
[40].宋晓,李伯虎,柴旭东.复杂产品虚拟样机工程中模型库管理系统的研究与实现.计算机集成制造系统, 2004, 10(12):1546~1550.
[41].宋晓,龚光红,李伯虎.基于本体的仿真系统全生命周期管理.北京航空航天大学学报, 2007, 33(8): 906~910.
[42].施国强,朱耀琴,李伯虎,等.复杂虚拟样机工程的项目管理技术研究.系统仿真学报, 2005, 17(8): 1905~1908.
[43].宫谊凡,蒲小勃,刘军,等.基于UML语言的航空电子系统快速原型设计.系统仿真学报, 2007, 19(4): 749~753.
[44].秦旭东,陈宗基,高金源,等.飞控系统虚拟设计环境.北京航空航天大学学报, 2005, 31(12): 1274~1278.
[45].陈宗基,秦旭东,黄浩东.飞控系统虚拟原型技术.航空学报,2002,23(5):441~447.
[46].陈宗基,孙晓哲,秦旭东.民机飞控计算机系统虚拟样机验证平台研究.系统仿真学报, 2008, 20(15): 4057~4063.
[47].黄浩东,陈宗基.虚拟原型技术及控制工程中的虚拟原型机.北京航空航天大学学报, 1999, 25(3): 284~287.
[48].姚勇,范文慧,熊光楞.复杂产品开发过程仿真及其优化方法研究.系统仿真学报, 2006, 18(3):726~730.
[49].范文慧,肖田元,郭斌,等.基于HLA与DEVS的综合保障分布式仿真的研究.系统仿真学报, 2006, 18(Spec 2):300~303.
[50].张和明,熊光楞.Web的多学科协同设计与仿真平台及其关键技术.计算机集成制造系统系统, 2003, 9(8):704~709.
[51].熊光楞,陈晓波,郭斌.复杂产品设计的仿真现状及发展趋势.计算机集成制造系统, 2002, 8(9):673~677.
[52].王克明,熊光楞.复杂产品的协同设计与仿真.计算机集成制造系统,2003,9(Spec):15~19.
[53]. Noor Ahmed, Venneri Samue. ISE: Intelligent synthesis environment for future aerospace systems. IEEE Aerospace and Electric System, 2008, 23(4):31~44.
[54]. Craig D.A., Monell D.W., Moore A.A.,etc. Development and utilization status of NASA’s advanced engineering environment-ISE. IEEE Aerospace Conference Proceedings,USA:Institute of Electrical and Electronics Engineers Computer Society, 2001:73537~73538.
[55]. Rogers Eric, Hale Joseph P., Zook Keith, etc. Requirements development for the NASA advanced engineering environment(AEE). 42nd AIAA Aerospace Sciences Meeting and ExhibitProceedings, USA:AIAA, 2004: 9784~9789.
[56].吴建民,敬忠良,肖刚.基于原型仿真的航空电子系统螺旋式开发方法.系统工程与电子技术, 2007, 29(3):488~491.
[57].刘冬.基于COTS的航空电子软件开发.航空电子技术, 2005, 36(4):25~30.
[58]. Sahraoui Nacera. Applying specification methods to complex systems. Proceedings of the 1997 IEEE International Conference on Systems, Man, and Cybernetics, USA:IEEE, 1997: 4488~4491
[59]. Harel David.Statecharts: a visual formalism for complex systems.Science of computer programming, 1987, 8(3):231~274.
[60]. Harel David, Pnueli A. . On the formal semantics of statecharts. Proceedings - Symposium on Logic in Computer Science, USA:IEEE, 1987:54~64.
[61]. Harel David. Statecharts in making: a personal account. Communications of ACM, 2009, 52(3): 67~75.
[62]. Harel David, Lachover Hagi,Naamad Ammon, etc. STATEMATE: A working environment for the development of complex reactive systems. IEEE Transactions on Software Engineering, 1990, 16(4): 403~414.
[63]. R.J. Wieringa. Design Methods for Reactive Systems: Yourdon, Statemate, and the UML. USA: Morgan Kaufmann,2003:1~309.
[64]. Harel David, Naamad Ammon. STATEMATE semantics of statecharts. ACM Transactions on Software Engineering and Methodology, 1996, 5(4): 293~333.
[65]. David Harel, M. Politi. Modeling reactive systems with statecharts: the STATEMATE approach. USA: McGraw-Hill, 1998:1~258.
[66]. Bogdanov K, Holcombe M. Statechart testing method for aircraft control systems[J]. Software Testing, Verification and Reliability. 2001,11(1):39~54.
[67]. Romdhani M., Jeffroy A., Chazelles P.D, etc. Modeling and rapid prototyping of avionics using Statemate. Proceedings of 6th IEEE international workshop on rapid system prototyping, USA:IEEE, 1995:62~67.
[68]. Gries M.J.. System Engineering for the 777 autopilot flight director system. Proceedings of 14th Digital Avionics Systems Conference, USA:IEEE, 1995:403~409.
[69].杨忠.无人机飞控系统虚拟原型及物理验证相关技术研究,[博士后出站报告].江苏南京:南京航空航天大学, 2004.
[70]. Jo Hyun-jeong, Yoon yong-ki, Hwang Jong-Gyo. Analysis of the formal specificationapplication for train control systems. Journal of Electrical Engineering and Technology, 2009, 4(1):87~92.
[71]. Jo Hyun-jeong, Hwang Jong-Gyo, Yoon yong-ki. Formal requirements specification in safety-critical railway signaling system. Transmission and Distribution Conference and Exposition: Asia and Pacific, USA:IEEE computer society, 2009:1~4.
[72]. B?de Eckard, Hertstritt Marc, Hermanns Holgers, etc. Compositional performability evaluation for STATEMATE. Third International Conference on the Quantitative Evaluation of Systems, USA:IEEE, 2006:167~176.
[73].杨忠,陈晔,沈春林.复杂嵌入式系统原型设计工具STATEMATE.计算机工程与应用, 2005, (9): 116~119.
[74].杨忠,谭皓,樊琼剑,等.飞行器控制软件的Statechart原型及其验证.南京航空航天大学学报, 2005, 37(2):217~221.
[75].杨忠,沈春林,刘久富.一种UAV飞行控制器虚拟原型设计与验证新技术.信息与控制, 2005, 34(1):81~85.
[76].刘兴华,曹云峰,沈春林.模型驱动的复杂反应式系统顶层设计与验证.系统仿真学报, 2009, 21(14):4284~7287.
[77].杨晖.先进无人机自主控制技术研究,[博士学位论文].陕西西安:西北工业大学,2004.
[78]. Fan Qiong-Jian, Yang Zhong, Fang Ting, etc. Hardware-in-the-loop simulation testbed design of FCS-VP based on STATEMATE.Chinese control and decision conference 2008, USA:IEEE computer society, 2008: 4633~4636.
[79]. Fan Qiong-Jian, Yang Zhong, Fang Ting, etc. A virtual prototype design approach of the embedded hybrid system. 3rd International Conference on Innovative Computing Information and Control,USA:IEEE computer society,2008:65~68.
[80].樊琼剑,杨忠,冯茂岩,等.多无人机编队飞行硬件在环测试硬件平台系统的研究.仪器仪表学报, 2009, 30(3): 503~508.
[81]. Jakob Axelsson. Model Based Systems Engineering Using a Continuous-time Extension of the United Modeling Language (UML). Systems Engineering (S1098-1241), 2002, 5(3):165~179.
[82]. Liu Jiu-fu, Yang Zhong. UML and B method based analysis and refinement for flight control software of unmanned aerial vehicle. Proceedings - International Conference on Computer Science and Software Engineering 2008,USA: IEEE computer society,2008: 1135~1141.
[83]. Ingmar Ogren. Possible Tailoring of the UML for Systems Engineering Purposes. Systems Engineering, 2000, 3(4): 212~224.
[84]. Willard Brian. UML for systems engineering. Computer Standards and Interfaces, 2007, 29(1): 69~81.
[85]. OMG Systems Engineering Domain Special Interest Group (SE-DSIG). UML for systems engineering RFP. [EB/OL] http://www.omg.org/syseng/UML_for_SE_RFP.htm.
[86]. Hause Matthew, Thom Francis, Moore Alan. Inside SysML. IEE Electronics Systems and Software, 2005, 3(3):20~25.
[87]. Hause Matthew. SysML - making UML more effective for systems engineers. IEE Seminar on UML Systems Engineering, UK: IEE, 2005:127~147.
[88]. I-Logix. I-Logix moves in on SysML. IEE Electronics Systems and Software, 2004, 2(6):47~47.
[89]. Rao Manohar. SysML with ARTiSAN studio.Proceedings - 2005 IEEE Symposium on Visual Languages and Human-Centric computing, USA: IEEE computer society,2005:15~15.
[90].石福丽,黄炎炎,朱一凡,等.基于SysML的无人侦察机需求描述方法研究.计算机仿真, 2007, 24(6):53~56.
[91].田川,田罡,刘笑达,等.系统建模语言(SysML)及其在DoDAF产品描述中的应用.火力与指挥控制,2008, 33(9): 102~106.
[92].张学波,赵立军,王斌.基于SysML的TacSat-3卫星建模技术研究.装备指挥技术学院学报, 2009, 20(2):92~96.
[93].吴娟,王明哲,万华京.基于SysML的系统体系结构产品设计.系统工程与电子技术, 2006, 28(4) :594~598.
[94]. Turki Skander, Soriano Thierry, Sghaier Adel. Mechatronic systems modeling with SysML: A bond graphs addendum for energy analysis. WSEAS Transactions on Systems,2004,4(5): 617~624.
[95]. Mazzini Silvia, Stragapeda Alessandra. SYSML: A language for space system engineering. Proceedings of Data Systems In Aerospace 2008, Netherlands: European Space Agency, 2008: 5~12.
[96]. Hause Matthew. Designing mission-critical systems using omg sysml. Electronics World, 2004, 118(1865):20~22.
[97]. Kawahara Ryo, Nakamura Hiroaki, Doltan Dolev, etc. Verification of embedded system's specification using collaborative simulation of SysML and simulink models. International Conference on Model-Based Systems Engineering 2009, USA: IEEE Computer Society, 2009:21~28.
[98]. Qamar Ahsan, During Carl, Wikander Jan. Designing mechatronic systems, a model-basedperspective, an attempt to achieve SysML-Matlab/Simulink model integration. IEEE/ASME International Conference on Advanced Intelligent Mechatronics, USA: IEEE, 2009: 1306~1311.
[99]. Claver Charles F., Dubois-Felsmann Gregory, Delgado Francisco. Using SysML for MBSE analysis of the LSST system. Proceedings of SPIE - The International Society for Optical Engineering, USA: SPIE, 2010.
[100]. Johnson Tomas A, Jobe Jonathan M., Paredis Christiaan J.J. Modeling continuous system dynamics in SysML. Proceedings of ASME International Mechanical Engineering Congress and Exposition, USA: ASME, 2008:197-205.
[101]. Jesús Martínez, Pedro Merino, Alberto Salmerón. UML-Based Model Dirven Development for HSDPA Design. IEEE Software, 2009, 26(3): 26~33.
[102].文武红.Rhapsody在柴油机电子控制上的应用研究,[硕士学位论文].山西太原:中北大学,2005.
[103].高军礼.基于模型驱动开发方法的开放式结构计算机数控系统的研究,[博士学位论文].广东广州:华南理工大学,2005.
[104].杨国青.基于模型驱动的汽车电子软件开发方法研究,[博士学位论文].浙江杭州:浙江大学,2006.
[105].高志刚.基于模型的汽车电子软件综合方法研究,[博士学位论文].浙江杭州:浙江大学,2008.
[106]. Baufreton P., Rosay C. . Software aspects of qualification in the SafeAir II project. Proceedings of 10th International Conference on Cybernetics and Informatics Technologies, Systems and Applications, USA: IIIS, 2004: 67~68.
[107]. Pnueli A.. Embedded systems: challenges in specification and verification. Proceedings of Second International Conference on Embedded Software, Germany: Springer-Verlag, 2002:1~14.
[108]. D.A. Vanbeek, J.E. Rooda. Multi-Domain Modelling, Simulation, and Control.Proceedings of 4th International Conference on Automation of Mixed Processes, Germany: Springer-Verlag, 2000:193~146.
[109].陈无畏,时培成,高立新,等. ADAMS和Matlab的EPS和整车系统的联合仿真.农业机械学报, 2007, 38(2): 22~34.
[110].刘贵杰,王猛,何波.基于Adams与Matlab/Simulink的水下自航行器协同仿真.机械工程学报, 2009, 45(10): 22~29.
[111].黎海青,郭百巍,徐红.基于ADAMS与SIMULINK的舵机虚拟样机建模和仿真.系统仿真学报, 2009, 21(21): 6886~6888.
[112].张云清,马开献,田强,等.基于ADAMS和MATLAB协同仿真的四轮转向模糊控制策略研究.计算机集成制造系统,2007,13(6):1234~1240.
[113]. Fan Brian S., Khajepour Amir, Kazerani Mehrdad. Fuel efficiency comparison between a conventional and a hybrid vehicle using a model based on MATLAB/Simulink and ADAMS. Proceedings of the 2008 ASME International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, USA: ASME, 2008: 855~863.
[114].熊光楞.协同仿真与虚拟样机技术.北京:清华大学出版社,2004:1~247.
[115]. IEEE, IEEE Std 1516-2000, IEEE Standard for Modeling and Simulation (M&S) High Level Architecture (HLA)—Framework and Rules, USA:IEEE, 2000.
[116]. IEEE, IEEE Std 1516.1-2000, IEEE Standard for Modeling and Simulation (M&S) High Level Architecture (HLA) Federate Interface Specification, USA:IEEE, 2000.
[117]. IEEE, IEEE Std 1516.2-2000, IEEE Standard for Modeling and Simulation (M&S) High Level Architecture (HLA) Object Model Template (OMT) Specification, USA: IEEE, 2000.
[118]. IEEE, IEEE Std 1516.3-2003, High Level Architecture (HLA) federation development and execution process (FEDEP), USA: IEEE, 2003.
[119].熊光楞,王克明,郭斌.数字化设计与虚拟样机技术.CAD/CAM与制造业信息化, 2004, (2):3~4.
[120].沙正平.杨文华,倪景连,等.《飞机设计手册》第四册:军用飞机总体设计.北京:航空工业出版社,2005:1~625.
[121].王永熙,张忠孝,朱序忠,等.《飞机设计手册》第十二分册:飞行控制系统与液压系统设计.北京:航空工业出版社,2003:1~682.
[122].蒋枫,何茂源,蒲小勃,等.《飞机设计手册》第十七分册:航空电子系统及仪表.北京:航空工业出版社,2001:1~512.
[123].何火军,曹云峰,刘兴华.无人机飞行控制系统虚拟样机平台.应用科学学报, 2009, 27(6): 637~643.
[124].蔡安.民用飞机研制数字化协同环境建设思考.航空制造技术,2009,(11):42~44.
[125]. Banerjee A., Ray S., Dasqupta P., etc. A dynamic assertion-based verification platform for UML statecharts over Rhapsody. IEEE Region 10 Conference, USA: IEEE, 2008:1~6.
[126]. Crane Michelle L., Dingel Juerqen. UML vs. classical vs. rhapsody statecharts: Not all models are created equal. Software and Systems Modeling, 2007, 6(4):415~435.
[127]. Schinz lngo, Toben Tobe, Mrugalla Christian. The rhapsody UML verification environment. Proceedings of the Second International Conference on Software Engineering and Formal Methods, USA: IEEE Computer Society, 2004:174~183.
[128]. Eran Grey, David Harel, Eldad Palatshy. A Complete Lifecycle Model-Based Development System Proceedings of the Third International Conference on Integrated Formal Methods. Germany: Springer-Verlag, 2002:1~10.
[129]. Sanford Friedenthal, Alan Moore, Rick Steiner. A Practical Guide to SysML: The Systems Modeling Language. USA: Morgan Kaufmann, 2009, 1~576.
[130]. Tim weilkiens. Systems engineering with SysML/UML: Modeling, Analysis, Design. USA: Morgan Kaufmann, 2008, 1~320.
[131]. J. Holt, S. Perry. SysML for Systems Engineering. UK: IET, 2007:1~352.
[132]. Mourad Debbabi, Fawzi Hassaine, Yosr Jarraya, etc. Verification and Validation in Systems Engineering: Assessing UML/SysML Design models. Germany: Springer, 2010:1~270.
[133]. OMG. OMG Systems Modeling Language (OMG SysML?) V1.0 Specification. [EB/OL] http://www.omg.org/spec/SysML/1.0/PDF.
[134]. Bruce Powel Douglass. Doing hard time: developing Real-time systems with uml, objects, frameworks, and patterns. USA: Addison-Wesley Professional, 1999:1~749.
[135].伍江华.C4ISR体系结构建模与设计技术研究,[博士学位论文].黑龙江哈尔滨:哈尔滨工程大学,2008.
[136].高晓峰,尚利宏,金惠华.框架技术在嵌入式系统中的应用.计算机工程与应用, 2002, (22): 124~127.
[137].左光,熊运鸿.一种基于UML的实时框架的分析与应用.中山大学学报论丛, 2002, 22(3): 163~168.
[138]. Miro Semek. Practical Statecharts in C/C++ (Second Edition).USA: Newnes, 2008:1~700.
[139].杨涤,李立涛,杨旭.系统实时仿真开发环境及应用.北京:清华大学出版社,2002:1~304.
[140].高焕堂.UML嵌入式设计.北京:清华大学出版社,2008:1~450.
[141].刁成嘉.UML系统建模与分析设计.北京:机械工业出版社,2007:1~324.
[142]. Grady Booch, James Rumbaugh, Ivar Jacobson. Unified Modeling Language User Guide (the second edition). USA: Addison-Wesley Professional, 2005:1~496.
[143]. James Rumbaugh, Ivar Jacobson, Grady Booch. Unified Modeling Language Reference Manual (the second edition). USA: Addison-Wesley Professional, 2010:1~721.
[144].何火军.基于虚拟样机平台的某型无人机飞控系统建模与仿真研究,[硕士学位论文].江苏南京,南京航空航天大学,2010.
[145].中国人民解放军总装备部,GJB438B-2009,军用软件开发文档通用要求,北京,2009.
[146].中华人民共和国国家质量监督检验检疫总局,中国国家标准化管理委员会, GB/T11457-2006,信息技术软件工程术语,2006.
[147].曹美文.基于DSP的MAV控制律设计与工程实现, [硕士学位论文].江苏南京,南京航空航天大学,2006.
[2].唐荣锡.中国有技术中国人能造大飞机——国家重视航空工业的数字化技术建设.中国制造业信息化,2008,(9):10~12.
[3].黄宁,崔德刚.数字化技术在JSF飞机研制中的应用.国际航空,2002,(8):68~69
[4].黄建云.数字化技术在成都飞机设计研究所的应用.国际航空,2002.(9):40~42.
[5].丘宏俊,陶华,高晓兵.飞机数字化装备若干问题的思考.航空制造技术,2006,(10):50~54.
[6].西安飞机设计研究所.中国首架飞机电子样机问世.航空工程与维修,2001,(4):12~14.
[7].冯雷,范玉青.飞机数字化设计工程数据管理技术研究.2004,10(2):183~187.
[8].郑国磊,朱心雄,许德,等.飞机装配型架中骨架的数字化设计原理及实现.航空学报, 2005, 26 (2):229~233.
[9].徐微,王普.数字化设计制造技术在飞机研制的应用研究与实践.航空制造技术,2001,(4): 19~34.
[10].于勇,陶剑,范玉青.大型飞机数字化设计制造技术应用综述.航空制造技术,2009,(11):56~60.
[11].邵毅,张开富,李原,等.飞机数字化产品开发.航空制造技术,2003,(9):31~37.
[12].卢鹄,范玉青.飞机结构产品的数字化定义.北京航空航天大学学报,2006,32(5):526~530.
[13]. VIVACE introduction: Aircraft studies. [EB/OL], http://www.vivaceproject.com/index.php.
[14].张明廉.飞行控制系统.北京:航空工业出版社,1994:1~390.
[15].吴森堂,费玉华.飞行控制系统.北京:北京航空航天大学出版社,2005:1~367.
[16].吴建民,敬忠良,肖刚.基于模型仿真的航空电子系统螺旋式开发方法.系统工程与电子技术, 2007, 29(3):488~491.
[17].李伯虎,柴旭东.复杂产品虚拟样机工程.计算机集成制造系统, 2002, 8(9):678~683.
[18].蒋彩云,王维平,李群.SysML:一种新的系统建模语言.系统仿真学报, 2006, 18(6): 1483~1492.
[19]. INCOSE. INCOSE systems engineering handbook. [EB/OL] http://www.incose.org/.
[20]. NASA headquarters. Systems engineering handbook. [EB/OL]www.nasa.org.
[21]. A.Wayne Wymore. Model based system engineering. USA: CRC press, 1993:1~701.
[22]. D. Harel, H. Lachover, A. Naamad,etc. STATEMATE:A Working Environment for the Development of Complex Reactive Systems. IEEE Transaction on Software Engineering, 1990, 16(4):403~414.
[23]. OMG. UML Infrastructure Specification Version 2.0. [EB/OL] http://www.omg.org/spec/UML / 2.0/ Infrastructure/PDF/,2005.
[24]. OMG. UML Superstructure Specification Version 2.0. [EB/OL] http://www.omg.org/spec/UML/ 2.0/Superstructure/PDF/,2005.
[25]. OMG.SysML Specification Version 1.2. [EB/OL] http://www.omg.org/spec/SysML/1.0/PDF/, 2007.
[26]. OMG. Model Driven Architecture Specification. [EB/OL] http://www.omg.org/mda/specs.htm, 2007.
[27]. Miller Joaquin, Mukerji Jishnu. MDA Guide Version 1.0.[EB/OL] http://www.omg.org/mda/ specs.htm, 2003.
[28]. Keleppe Anneke. MDA explained, the model driven architecture:practice and promise. USA:Addison-Wesley, 2003:15~71.
[29].来猛,赵建华,李宣东,等.MDA的设想与实现.计算机工程与设计, 2004, 25(11): 1876~1902.
[30].李伯虎,朱文海,刘杰,等.复杂产品虚拟样机技术的研究与实践.测控技术, 2001, 20(11):1~6.
[31].熊光楞,陈晓波,郭斌.复杂产品设计的仿真现状及发展趋势.计算机集成制造系统, 2002, 8(9):673~677.
[32].杨磊.虚拟样机技术及其在航天遥感器研发中的应用,[博士学位论文].湖南长沙:国防科技大学, 2008.
[33].邸彦强,李伯虎,柴旭东,等.多学科虚拟样机协同建模与仿真平台及其关键技术研究.计算机集成制造系统, 2005, 11(7):901~908.
[34].侯宝存,柴旭东,李伯虎,等.面向多学科虚拟样机协同仿真的仿真网格技术研究..计算机集成制造系统, 2006, 12(12):2004~2010.
[35].李伯虎,张霖,王时龙,等.云制造——面向服务的网络化制造新模式.计算机集成制造系统, 2010, 16(1):1~7.
[36].李伯虎,柴旭东,朱文海,等.复杂产品协同制造支撑环境技术的研究.计算机集成制造系统, 2003, 9(8):691~696.
[37].王鹏,李伯虎,柴旭东,等.复杂产品虚拟样机协同建模仿真技术研究.系统仿真学报, 2004, 16(2):274~277.
[38]. Xuqiang Ling,Xiaodong Huang,Bohu Li,etc.SimFaster:a Modeling and Simulation Platform with Multiviews for Complex System.The International Journal of Computation and Mathematics in Electrical and Electronic Engineering, 2009, 28(6):1546~1559.
[39].王鹏,李伯虎,柴旭东,等.复杂产品多学科虚拟样机顶层建模语言研究.计算机集成制造系统,2006, 12(10):1605~1611.
[40].宋晓,李伯虎,柴旭东.复杂产品虚拟样机工程中模型库管理系统的研究与实现.计算机集成制造系统, 2004, 10(12):1546~1550.
[41].宋晓,龚光红,李伯虎.基于本体的仿真系统全生命周期管理.北京航空航天大学学报, 2007, 33(8): 906~910.
[42].施国强,朱耀琴,李伯虎,等.复杂虚拟样机工程的项目管理技术研究.系统仿真学报, 2005, 17(8): 1905~1908.
[43].宫谊凡,蒲小勃,刘军,等.基于UML语言的航空电子系统快速原型设计.系统仿真学报, 2007, 19(4): 749~753.
[44].秦旭东,陈宗基,高金源,等.飞控系统虚拟设计环境.北京航空航天大学学报, 2005, 31(12): 1274~1278.
[45].陈宗基,秦旭东,黄浩东.飞控系统虚拟原型技术.航空学报,2002,23(5):441~447.
[46].陈宗基,孙晓哲,秦旭东.民机飞控计算机系统虚拟样机验证平台研究.系统仿真学报, 2008, 20(15): 4057~4063.
[47].黄浩东,陈宗基.虚拟原型技术及控制工程中的虚拟原型机.北京航空航天大学学报, 1999, 25(3): 284~287.
[48].姚勇,范文慧,熊光楞.复杂产品开发过程仿真及其优化方法研究.系统仿真学报, 2006, 18(3):726~730.
[49].范文慧,肖田元,郭斌,等.基于HLA与DEVS的综合保障分布式仿真的研究.系统仿真学报, 2006, 18(Spec 2):300~303.
[50].张和明,熊光楞.Web的多学科协同设计与仿真平台及其关键技术.计算机集成制造系统系统, 2003, 9(8):704~709.
[51].熊光楞,陈晓波,郭斌.复杂产品设计的仿真现状及发展趋势.计算机集成制造系统, 2002, 8(9):673~677.
[52].王克明,熊光楞.复杂产品的协同设计与仿真.计算机集成制造系统,2003,9(Spec):15~19.
[53]. Noor Ahmed, Venneri Samue. ISE: Intelligent synthesis environment for future aerospace systems. IEEE Aerospace and Electric System, 2008, 23(4):31~44.
[54]. Craig D.A., Monell D.W., Moore A.A.,etc. Development and utilization status of NASA’s advanced engineering environment-ISE. IEEE Aerospace Conference Proceedings,USA:Institute of Electrical and Electronics Engineers Computer Society, 2001:73537~73538.
[55]. Rogers Eric, Hale Joseph P., Zook Keith, etc. Requirements development for the NASA advanced engineering environment(AEE). 42nd AIAA Aerospace Sciences Meeting and ExhibitProceedings, USA:AIAA, 2004: 9784~9789.
[56].吴建民,敬忠良,肖刚.基于原型仿真的航空电子系统螺旋式开发方法.系统工程与电子技术, 2007, 29(3):488~491.
[57].刘冬.基于COTS的航空电子软件开发.航空电子技术, 2005, 36(4):25~30.
[58]. Sahraoui Nacera. Applying specification methods to complex systems. Proceedings of the 1997 IEEE International Conference on Systems, Man, and Cybernetics, USA:IEEE, 1997: 4488~4491
[59]. Harel David.Statecharts: a visual formalism for complex systems.Science of computer programming, 1987, 8(3):231~274.
[60]. Harel David, Pnueli A. . On the formal semantics of statecharts. Proceedings - Symposium on Logic in Computer Science, USA:IEEE, 1987:54~64.
[61]. Harel David. Statecharts in making: a personal account. Communications of ACM, 2009, 52(3): 67~75.
[62]. Harel David, Lachover Hagi,Naamad Ammon, etc. STATEMATE: A working environment for the development of complex reactive systems. IEEE Transactions on Software Engineering, 1990, 16(4): 403~414.
[63]. R.J. Wieringa. Design Methods for Reactive Systems: Yourdon, Statemate, and the UML. USA: Morgan Kaufmann,2003:1~309.
[64]. Harel David, Naamad Ammon. STATEMATE semantics of statecharts. ACM Transactions on Software Engineering and Methodology, 1996, 5(4): 293~333.
[65]. David Harel, M. Politi. Modeling reactive systems with statecharts: the STATEMATE approach. USA: McGraw-Hill, 1998:1~258.
[66]. Bogdanov K, Holcombe M. Statechart testing method for aircraft control systems[J]. Software Testing, Verification and Reliability. 2001,11(1):39~54.
[67]. Romdhani M., Jeffroy A., Chazelles P.D, etc. Modeling and rapid prototyping of avionics using Statemate. Proceedings of 6th IEEE international workshop on rapid system prototyping, USA:IEEE, 1995:62~67.
[68]. Gries M.J.. System Engineering for the 777 autopilot flight director system. Proceedings of 14th Digital Avionics Systems Conference, USA:IEEE, 1995:403~409.
[69].杨忠.无人机飞控系统虚拟原型及物理验证相关技术研究,[博士后出站报告].江苏南京:南京航空航天大学, 2004.
[70]. Jo Hyun-jeong, Yoon yong-ki, Hwang Jong-Gyo. Analysis of the formal specificationapplication for train control systems. Journal of Electrical Engineering and Technology, 2009, 4(1):87~92.
[71]. Jo Hyun-jeong, Hwang Jong-Gyo, Yoon yong-ki. Formal requirements specification in safety-critical railway signaling system. Transmission and Distribution Conference and Exposition: Asia and Pacific, USA:IEEE computer society, 2009:1~4.
[72]. B?de Eckard, Hertstritt Marc, Hermanns Holgers, etc. Compositional performability evaluation for STATEMATE. Third International Conference on the Quantitative Evaluation of Systems, USA:IEEE, 2006:167~176.
[73].杨忠,陈晔,沈春林.复杂嵌入式系统原型设计工具STATEMATE.计算机工程与应用, 2005, (9): 116~119.
[74].杨忠,谭皓,樊琼剑,等.飞行器控制软件的Statechart原型及其验证.南京航空航天大学学报, 2005, 37(2):217~221.
[75].杨忠,沈春林,刘久富.一种UAV飞行控制器虚拟原型设计与验证新技术.信息与控制, 2005, 34(1):81~85.
[76].刘兴华,曹云峰,沈春林.模型驱动的复杂反应式系统顶层设计与验证.系统仿真学报, 2009, 21(14):4284~7287.
[77].杨晖.先进无人机自主控制技术研究,[博士学位论文].陕西西安:西北工业大学,2004.
[78]. Fan Qiong-Jian, Yang Zhong, Fang Ting, etc. Hardware-in-the-loop simulation testbed design of FCS-VP based on STATEMATE.Chinese control and decision conference 2008, USA:IEEE computer society, 2008: 4633~4636.
[79]. Fan Qiong-Jian, Yang Zhong, Fang Ting, etc. A virtual prototype design approach of the embedded hybrid system. 3rd International Conference on Innovative Computing Information and Control,USA:IEEE computer society,2008:65~68.
[80].樊琼剑,杨忠,冯茂岩,等.多无人机编队飞行硬件在环测试硬件平台系统的研究.仪器仪表学报, 2009, 30(3): 503~508.
[81]. Jakob Axelsson. Model Based Systems Engineering Using a Continuous-time Extension of the United Modeling Language (UML). Systems Engineering (S1098-1241), 2002, 5(3):165~179.
[82]. Liu Jiu-fu, Yang Zhong. UML and B method based analysis and refinement for flight control software of unmanned aerial vehicle. Proceedings - International Conference on Computer Science and Software Engineering 2008,USA: IEEE computer society,2008: 1135~1141.
[83]. Ingmar Ogren. Possible Tailoring of the UML for Systems Engineering Purposes. Systems Engineering, 2000, 3(4): 212~224.
[84]. Willard Brian. UML for systems engineering. Computer Standards and Interfaces, 2007, 29(1): 69~81.
[85]. OMG Systems Engineering Domain Special Interest Group (SE-DSIG). UML for systems engineering RFP. [EB/OL] http://www.omg.org/syseng/UML_for_SE_RFP.htm.
[86]. Hause Matthew, Thom Francis, Moore Alan. Inside SysML. IEE Electronics Systems and Software, 2005, 3(3):20~25.
[87]. Hause Matthew. SysML - making UML more effective for systems engineers. IEE Seminar on UML Systems Engineering, UK: IEE, 2005:127~147.
[88]. I-Logix. I-Logix moves in on SysML. IEE Electronics Systems and Software, 2004, 2(6):47~47.
[89]. Rao Manohar. SysML with ARTiSAN studio.Proceedings - 2005 IEEE Symposium on Visual Languages and Human-Centric computing, USA: IEEE computer society,2005:15~15.
[90].石福丽,黄炎炎,朱一凡,等.基于SysML的无人侦察机需求描述方法研究.计算机仿真, 2007, 24(6):53~56.
[91].田川,田罡,刘笑达,等.系统建模语言(SysML)及其在DoDAF产品描述中的应用.火力与指挥控制,2008, 33(9): 102~106.
[92].张学波,赵立军,王斌.基于SysML的TacSat-3卫星建模技术研究.装备指挥技术学院学报, 2009, 20(2):92~96.
[93].吴娟,王明哲,万华京.基于SysML的系统体系结构产品设计.系统工程与电子技术, 2006, 28(4) :594~598.
[94]. Turki Skander, Soriano Thierry, Sghaier Adel. Mechatronic systems modeling with SysML: A bond graphs addendum for energy analysis. WSEAS Transactions on Systems,2004,4(5): 617~624.
[95]. Mazzini Silvia, Stragapeda Alessandra. SYSML: A language for space system engineering. Proceedings of Data Systems In Aerospace 2008, Netherlands: European Space Agency, 2008: 5~12.
[96]. Hause Matthew. Designing mission-critical systems using omg sysml. Electronics World, 2004, 118(1865):20~22.
[97]. Kawahara Ryo, Nakamura Hiroaki, Doltan Dolev, etc. Verification of embedded system's specification using collaborative simulation of SysML and simulink models. International Conference on Model-Based Systems Engineering 2009, USA: IEEE Computer Society, 2009:21~28.
[98]. Qamar Ahsan, During Carl, Wikander Jan. Designing mechatronic systems, a model-basedperspective, an attempt to achieve SysML-Matlab/Simulink model integration. IEEE/ASME International Conference on Advanced Intelligent Mechatronics, USA: IEEE, 2009: 1306~1311.
[99]. Claver Charles F., Dubois-Felsmann Gregory, Delgado Francisco. Using SysML for MBSE analysis of the LSST system. Proceedings of SPIE - The International Society for Optical Engineering, USA: SPIE, 2010.
[100]. Johnson Tomas A, Jobe Jonathan M., Paredis Christiaan J.J. Modeling continuous system dynamics in SysML. Proceedings of ASME International Mechanical Engineering Congress and Exposition, USA: ASME, 2008:197-205.
[101]. Jesús Martínez, Pedro Merino, Alberto Salmerón. UML-Based Model Dirven Development for HSDPA Design. IEEE Software, 2009, 26(3): 26~33.
[102].文武红.Rhapsody在柴油机电子控制上的应用研究,[硕士学位论文].山西太原:中北大学,2005.
[103].高军礼.基于模型驱动开发方法的开放式结构计算机数控系统的研究,[博士学位论文].广东广州:华南理工大学,2005.
[104].杨国青.基于模型驱动的汽车电子软件开发方法研究,[博士学位论文].浙江杭州:浙江大学,2006.
[105].高志刚.基于模型的汽车电子软件综合方法研究,[博士学位论文].浙江杭州:浙江大学,2008.
[106]. Baufreton P., Rosay C. . Software aspects of qualification in the SafeAir II project. Proceedings of 10th International Conference on Cybernetics and Informatics Technologies, Systems and Applications, USA: IIIS, 2004: 67~68.
[107]. Pnueli A.. Embedded systems: challenges in specification and verification. Proceedings of Second International Conference on Embedded Software, Germany: Springer-Verlag, 2002:1~14.
[108]. D.A. Vanbeek, J.E. Rooda. Multi-Domain Modelling, Simulation, and Control.Proceedings of 4th International Conference on Automation of Mixed Processes, Germany: Springer-Verlag, 2000:193~146.
[109].陈无畏,时培成,高立新,等. ADAMS和Matlab的EPS和整车系统的联合仿真.农业机械学报, 2007, 38(2): 22~34.
[110].刘贵杰,王猛,何波.基于Adams与Matlab/Simulink的水下自航行器协同仿真.机械工程学报, 2009, 45(10): 22~29.
[111].黎海青,郭百巍,徐红.基于ADAMS与SIMULINK的舵机虚拟样机建模和仿真.系统仿真学报, 2009, 21(21): 6886~6888.
[112].张云清,马开献,田强,等.基于ADAMS和MATLAB协同仿真的四轮转向模糊控制策略研究.计算机集成制造系统,2007,13(6):1234~1240.
[113]. Fan Brian S., Khajepour Amir, Kazerani Mehrdad. Fuel efficiency comparison between a conventional and a hybrid vehicle using a model based on MATLAB/Simulink and ADAMS. Proceedings of the 2008 ASME International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, USA: ASME, 2008: 855~863.
[114].熊光楞.协同仿真与虚拟样机技术.北京:清华大学出版社,2004:1~247.
[115]. IEEE, IEEE Std 1516-2000, IEEE Standard for Modeling and Simulation (M&S) High Level Architecture (HLA)—Framework and Rules, USA:IEEE, 2000.
[116]. IEEE, IEEE Std 1516.1-2000, IEEE Standard for Modeling and Simulation (M&S) High Level Architecture (HLA) Federate Interface Specification, USA:IEEE, 2000.
[117]. IEEE, IEEE Std 1516.2-2000, IEEE Standard for Modeling and Simulation (M&S) High Level Architecture (HLA) Object Model Template (OMT) Specification, USA: IEEE, 2000.
[118]. IEEE, IEEE Std 1516.3-2003, High Level Architecture (HLA) federation development and execution process (FEDEP), USA: IEEE, 2003.
[119].熊光楞,王克明,郭斌.数字化设计与虚拟样机技术.CAD/CAM与制造业信息化, 2004, (2):3~4.
[120].沙正平.杨文华,倪景连,等.《飞机设计手册》第四册:军用飞机总体设计.北京:航空工业出版社,2005:1~625.
[121].王永熙,张忠孝,朱序忠,等.《飞机设计手册》第十二分册:飞行控制系统与液压系统设计.北京:航空工业出版社,2003:1~682.
[122].蒋枫,何茂源,蒲小勃,等.《飞机设计手册》第十七分册:航空电子系统及仪表.北京:航空工业出版社,2001:1~512.
[123].何火军,曹云峰,刘兴华.无人机飞行控制系统虚拟样机平台.应用科学学报, 2009, 27(6): 637~643.
[124].蔡安.民用飞机研制数字化协同环境建设思考.航空制造技术,2009,(11):42~44.
[125]. Banerjee A., Ray S., Dasqupta P., etc. A dynamic assertion-based verification platform for UML statecharts over Rhapsody. IEEE Region 10 Conference, USA: IEEE, 2008:1~6.
[126]. Crane Michelle L., Dingel Juerqen. UML vs. classical vs. rhapsody statecharts: Not all models are created equal. Software and Systems Modeling, 2007, 6(4):415~435.
[127]. Schinz lngo, Toben Tobe, Mrugalla Christian. The rhapsody UML verification environment. Proceedings of the Second International Conference on Software Engineering and Formal Methods, USA: IEEE Computer Society, 2004:174~183.
[128]. Eran Grey, David Harel, Eldad Palatshy. A Complete Lifecycle Model-Based Development System Proceedings of the Third International Conference on Integrated Formal Methods. Germany: Springer-Verlag, 2002:1~10.
[129]. Sanford Friedenthal, Alan Moore, Rick Steiner. A Practical Guide to SysML: The Systems Modeling Language. USA: Morgan Kaufmann, 2009, 1~576.
[130]. Tim weilkiens. Systems engineering with SysML/UML: Modeling, Analysis, Design. USA: Morgan Kaufmann, 2008, 1~320.
[131]. J. Holt, S. Perry. SysML for Systems Engineering. UK: IET, 2007:1~352.
[132]. Mourad Debbabi, Fawzi Hassaine, Yosr Jarraya, etc. Verification and Validation in Systems Engineering: Assessing UML/SysML Design models. Germany: Springer, 2010:1~270.
[133]. OMG. OMG Systems Modeling Language (OMG SysML?) V1.0 Specification. [EB/OL] http://www.omg.org/spec/SysML/1.0/PDF.
[134]. Bruce Powel Douglass. Doing hard time: developing Real-time systems with uml, objects, frameworks, and patterns. USA: Addison-Wesley Professional, 1999:1~749.
[135].伍江华.C4ISR体系结构建模与设计技术研究,[博士学位论文].黑龙江哈尔滨:哈尔滨工程大学,2008.
[136].高晓峰,尚利宏,金惠华.框架技术在嵌入式系统中的应用.计算机工程与应用, 2002, (22): 124~127.
[137].左光,熊运鸿.一种基于UML的实时框架的分析与应用.中山大学学报论丛, 2002, 22(3): 163~168.
[138]. Miro Semek. Practical Statecharts in C/C++ (Second Edition).USA: Newnes, 2008:1~700.
[139].杨涤,李立涛,杨旭.系统实时仿真开发环境及应用.北京:清华大学出版社,2002:1~304.
[140].高焕堂.UML嵌入式设计.北京:清华大学出版社,2008:1~450.
[141].刁成嘉.UML系统建模与分析设计.北京:机械工业出版社,2007:1~324.
[142]. Grady Booch, James Rumbaugh, Ivar Jacobson. Unified Modeling Language User Guide (the second edition). USA: Addison-Wesley Professional, 2005:1~496.
[143]. James Rumbaugh, Ivar Jacobson, Grady Booch. Unified Modeling Language Reference Manual (the second edition). USA: Addison-Wesley Professional, 2010:1~721.
[144].何火军.基于虚拟样机平台的某型无人机飞控系统建模与仿真研究,[硕士学位论文].江苏南京,南京航空航天大学,2010.
[145].中国人民解放军总装备部,GJB438B-2009,军用软件开发文档通用要求,北京,2009.
[146].中华人民共和国国家质量监督检验检疫总局,中国国家标准化管理委员会, GB/T11457-2006,信息技术软件工程术语,2006.
[147].曹美文.基于DSP的MAV控制律设计与工程实现, [硕士学位论文].江苏南京,南京航空航天大学,2006.