模型驱动的民机显示系统软件开发方法研究与应用

来源 :上海交通大学 | 被引量 : 0次 | 上传用户:echo1108
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
航空电子系统是一个包含座舱显示、飞行管理和通讯及导航等功能的复杂系统。目前国内在民机显示系统软件开发实际工程中采用以代码和文档为中心的传统软件开发方法,手工编码及验证工作量大,需求变更成本高,达到DO-178B适航要求需付出的代价高。现代软件工程中的模型驱动软件开发方法已成为国外机载软件研制中的主流方法,但是,国内在民机显示系统软件开发中使用模型驱动的方法尚属空白。如何在国内民机显示系统软件工程实际中提出并实施一套能符合适航审查Level A级目标要求的模型驱动软件开发方法,具有重大意义。针对上述问题,本文以某大型民机显示系统研发的实际项目为背景,研究提出了一种支持DO-178B标准、敏捷的、模型驱动的民机显示系统软件开发方法(Model-Driven Software Development Method for Civil Aircraft Display System,MDSDM),采用DOORS和SCADE等工具实现了从需求分析、架构设计、模型设计、代码生成、软件集成和软件验证的显示系统软件生命周期。并以发动机参数显示(EI)和简图页(Synoptic)两个典型的显示系统软件开发为例,阐述了该方法的具体应用,对该方法的可行性及有效性进行验证。本文工作主要包括:1)在需求过程中,MDSDM通过SCADE Display工具建立可视化的显示模型,及时与用户沟通并确认,并在软件设计过程中重用。EI应用实例的工程实施情况表明,需求变更率降低了52%,需求确认时间减少了33%,明显缩短了需求开发时间。2)在设计与实现过程中,MDSDM采用UML建立显示系统物理架构图、系统概要交联图和功能层级关系图;然后采用SCADE工具建立每个功能模块的架构模型、逻辑模型和细化的显示模型,基于逻辑模型与显示模型进行联合仿真以发现设计错误;基于上述SACDE模型自动生成代码;采用SCADE工具建立需求-模型-代码三者之间的可追溯关系。根据Synoptic实例的工程实施情况统计分析,项目的开发速度提升了约34%,千行代码缺陷率降低了约65%,明显提升了开发效率。3)在软件集成过程中,MDSDM提出了一种适合大规模多团队显示系统软件开发的自动化持续集成过程,设计并实现了支持上述过程的持续集成环境。该环境包括基于SVN工具的开发库、编译库和受控库,基于Bamboo的持续集成服务器,基于JIRA的集成问题管理工具。应用情况表明,软件自动化集成相较于传统集成,集成时间提高了近40倍,集成成功率提升了25%,发布周期缩短了1/3。4)软件验证包括软件需求测试、软件设计测试、软件集成测试和验证的验证等四方面,MDSDM方法的软件验证与传统方法的主要区别在于软件设计测试和集成测试。MDSDM采用SCADE工具的QTE测试环境实现基于模型的功能测试;采用SCADE工具的MTC模块实现功能模型的模型覆盖分析。应用情况表明,设计测试减少了10倍的工作量,结构或模型覆盖率分析工作量减少了23%,整个验证过程的验证活动工作量和代价减少了1/3以上。
其他文献
目的:通过观察频域OCT(spectral domain optic coherence tomography SD-OCT)与视野的相关性,评估其在监测原发性开角型青光眼(primary open angle glaucoma,POAG)病情进展方面的作
以带有内生真菌(E+)以及不带内生真菌(E-)的德兰臭草(Melica transsilvanica)种子为材料,测定NaCl盐胁迫对德兰臭草种子萌发、植株生长及生理指标的影响,明确内生真菌对德兰臭草耐
加拿大官员在2016年1月11日宣布,乌克兰已经批准任何加拿大联邦注册公司的牛肉和猪肉出口。随着乌克兰当局在2015年9月的检验成功,另外15家加拿大猪肉和牛肉公司现在都有资格
玉米-大豆间作种植技术是山东省重点推广的一项农业科技新技术,是全省粮食增产、农民增收的重要科技措施。针对德州市玉米-大豆间作种植技术示范基地的建立与实施效果,对玉米
本文利用秀丽隐杆线虫研究了14-3-3蛋白PAR-5在神经系统过量表达延长寿命的调控机制,以及AMPK蛋白AAK-2对压力应激的调控,期望进一步加深对14-3-3蛋白、AMPK两个保守的蛋白家
社会和谐是由多种和谐关系构成的和谐统一体,从执政党的视角认识这一问题,必须促进和实现六个方面的关系和谐:即党内关系的和谐、党政关系的和谐、党群关系的和谐、党际关系的和
发展大学生党员工作是高校党组织建设的一项重要的基础工程。以往对大学生入党积极分子的评价主要是定性评价,随着形势的发展已日益难以适应。本文构建了入党积极分子评价指
该文介绍了六安市裕安区绿色认证六安瓜片茶园高效管理措施,主要包括品种(苗木)选择、病虫害防治、合理施肥等。
本文采取SWOT方法对高校食堂经营的现状进行分析,结合关系营销的知识,提出对高校食堂要加强关系营销管理以改善其经营现状,提高经济效益。
针对目前研发出的新型纸纱复合制袋机只具有单色印刷功能、自动化程度不高、加工精度达不到要求的现状,本文提出了一套以西门子S7-200PLC为控制核心的纸纱复合制袋印刷一体机