| 基于模型的民用飞机软件开发技术研究 |
| |
| 引用本文： | 林枫.基于模型的民用飞机软件开发技术研究[J].工业控制计算机,2011,24(12):37-38,41. |
| |
| 作者姓名： | 林枫 |
| |
| 作者单位： | 上海飞机设计研究院综合航电部,上海,200235 |
| |
| 摘 要： | 针对我国民用飞机研制过程中,基于模型的机载软件开发技术进行研究,通过一种基于模型的开发工具,建立了一个机载软件模块的模型,在这个模型上进行仿真测试,然后完成基于模型的结构覆盖率分析,最后通过这个工具的认证级代码生成器生成高安全性的源代码,对源代码进行集成测试。最后对这种开发方式的优缺点及开发中应注意的问题进行了概括总结。
|
| 关 键 词： | 基于模型 KCG SCADE DO-178B 认证 模型覆盖率分析 |
Research for Model-based Development Technology of Civil Aircraft's Software |
| |
| Abstract: | This paper researchs model-based development technology of civil aircraft’s software.By a sort of model-based tool,modling for a software requirement,simulating the model.Also,applying model-based structural coverage analysis to this model.Finally,addressing the strongpoint and weakness of this technology. |
| |
| Keywords: | model-based KCG SCADE DO-178B certification model coverage analysis |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
