面向航天领域的模型驱动软件设计开发方法  

Research on Model-Driven Aerospace Software Development Method

作　　者：张涛[1] 秦凯 王楠[2] 王海鹏[1] 梁运畅 王智飞 

机构地区：[1]西北工业大学软件与微电子学院,西安710072 [2]北京神舟航天软件技术有限公司,北京100094

出　　处：《航天控制》2017年第5期74-79,97,共7页Aerospace Control

基　　金：航天科技支撑计划(2014HTXGD);载人航天工程软件工程化基础预研课题(2016XXXX);上海航天科技创新基金(2017XXXX);航天科学技术基金项目(17XXXX);西北工业大学研究生创意创新种子基金(Z2016191);陕西省科技攻关项目(2016GY-100)

摘　　要：针对航天嵌入式任务关键软件特点,研究基于AADL模型,实现对其结构模型、行为模型、故障模型和执行模型的多维度描述。通过构造其代码规则模板,实现从模型到源程序的自动化映射,降低编程工作量。研究将AADL模型转换为故障树模型和时间自动机模型,分析验证软件安全性与可调度性;通过构建航天领域模型库,支持大规模软件复用。最后,基于所开发的航天型号软件模型驱动开发平台,对航天飞行器GNC系统的软件开发进行了初步验证,结果表明模型驱动的软件开发方法能有效提高航天型号软件开发效率和质量。Some key techniques are discussed for using the model-derived development method in aerospace domain. The AADL is used to build architecture model,environment model,behavior model,error model and execution model for aerospace software. Based on AADL model,the sourcing codes are generated automatically,which lightens the programming workload. The author manages to analyze and check its safety and sustainability by transforming ADDL model to fault tree and finite automata machine model. A aerospace domain models database can be developed to support large-scale re-use by software models. The framework of aerospace model-driven software development platform is also provided. And the space GNC system is used to verify the effectiveness of model-derived approach.

关 键 词：模型驱动软件开发 软件代码生成 软件安全性分析 软件可调度性分析 

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