-
题名面向航天领域的模型驱动软件设计开发方法
被引量:4
- 1
-
-
作者
张涛
秦凯
王楠
王海鹏
梁运畅
王智飞
-
机构
西北工业大学软件与微电子学院
北京神舟航天软件技术有限公司
-
出处
《航天控制》
CSCD
北大核心
2017年第5期74-79,97,共7页
-
基金
航天科技支撑计划(2014HTXGD)
载人航天工程软件工程化基础预研课题(2016XXXX)
+3 种基金
上海航天科技创新基金(2017XXXX)
航天科学技术基金项目(17XXXX)
西北工业大学研究生创意创新种子基金(Z2016191)
陕西省科技攻关项目(2016GY-100)
-
文摘
针对航天嵌入式任务关键软件特点,研究基于AADL模型,实现对其结构模型、行为模型、故障模型和执行模型的多维度描述。通过构造其代码规则模板,实现从模型到源程序的自动化映射,降低编程工作量。研究将AADL模型转换为故障树模型和时间自动机模型,分析验证软件安全性与可调度性;通过构建航天领域模型库,支持大规模软件复用。最后,基于所开发的航天型号软件模型驱动开发平台,对航天飞行器GNC系统的软件开发进行了初步验证,结果表明模型驱动的软件开发方法能有效提高航天型号软件开发效率和质量。
-
关键词
模型驱动软件开发
软件代码生成
软件安全性分析
软件可调度性分析
-
Keywords
Model-driven software development
Software code generation
Software safety analysis
Soft-ware schedule risk
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-