基于模型的民用飞机软件开发技术研究  

Research for Model-based Development Technology of Civil Aircraft's Software

作　　者：林枫[1] 

机构地区：[1]上海飞机设计研究院综合航电部,上海200235

出　　处：《工业控制计算机》2011年第12期37-38,41,共3页Industrial Control Computer

摘　　要：针对我国民用飞机研制过程中,基于模型的机载软件开发技术进行研究,通过一种基于模型的开发工具,建立了一个机载软件模块的模型,在这个模型上进行仿真测试,然后完成基于模型的结构覆盖率分析,最后通过这个工具的认证级代码生成器生成高安全性的源代码,对源代码进行集成测试。最后对这种开发方式的优缺点及开发中应注意的问题进行了概括总结。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.

关 键 词：基于模型 KCG SCADE DO-178B 认证 模型覆盖率分析 

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