模型驱动的反应式系统软件开发方法与应用  

Development and Application of Reactive System Software Based on MBD

作　　者：谭琪璘 毛宁[1] TAN Qi lin;MAO Ning(Xi′an Aeronautics Computing Technique Research Institute,AVIC,Xi′an 710068,China)

机构地区：[1]航空工业西安航空计算技术研究所,陕西西安710068

出　　处：《航空计算技术》2018年第5期76-79,84,共5页Aeronautical Computing Technique

基　　金：工信部民用飞机专项科研项目资助(MJ-2017-D-28)

摘　　要：传统的软件开发方法已无法应对由复杂反应式系统的并发、混合与实时性特点所带来的挑战。以实际项目出发,从分析、设计及验证3方面介绍了模型驱动的反应式系统软件开发过程及建模方法。通过多目标平台的集成与应用,验证了模型驱动软件开发方法能够有效提高反应式系统软件的开发效率及准确性。The traditional software development methods have been unable to deal with the serious challenges,which is taken by the features of complex Reactive Systems,such as intercurrent,mixed and real timed.Based on the real application,MBD（Model Based Development） method is introduced from software analysis,design and verify.Through integrations and applications with different platforms,the efficiency and accuracy of the development can be effectively improved by using this method.

关 键 词：模型驱动 反应式系统软件 虚拟验证 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]