摘要
传统的软件开发方法已无法应对由复杂反应式系统的并发、混合与实时性特点所带来的挑战。以实际项目出发,从分析、设计及验证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.
作者
谭琪璘
毛宁
TAN Qi lin;MAO Ning(Xi′an Aeronautics Computing Technique Research Institute,AVIC,Xi′an 710068,China)
出处
《航空计算技术》
2018年第5期76-79,84,共5页
Aeronautical Computing Technique
基金
工信部民用飞机专项科研项目资助(MJ-2017-D-28)
关键词
模型驱动
反应式系统软件
虚拟验证
MBD
reactive system software application
virtual validation