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