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

作者：谭琪璘; 毛宁

来源：航空计算技术, 2018, 48(05): 76-84.

• 模型驱动
• 反应式系统软件
• 虚拟验证

传统的软件开发方法已无法应对由复杂反应式系统的并发、混合与实时性特点所带来的挑战。以实际项目出发,从分析、设计及验证3方面介绍了模型驱动的反应式系统软件开发过程及建模方法。通过多目标平台的集成与应用,验证了模型驱动软件开发方法能够有效提高反应式系统软件的开发效率及准确性。