论文摘要：安全关键软件过程定义与监控技术的研究与实现

随着航空领域应用中计算机技术的广泛使用，各类机载设备和航空电子信息系统的关键功能越来越多的依靠软件来实现， 对软件的安全性、可靠性和可信性在航空领域有着更高的要求。本课题针对安全关键软件基础研究中的关键问题以及安全关键软件开发过程管理和质量控制这一薄弱环节开展研究，具有理论价值，同时在我国航空机载软件采用适航要求开发中有很好的应用前景。RTCA DO-178B标准是世界民用航空领域在试航取证过程中所广泛采用的适航标准，也是我国认可的民用航空机载设备和系统软件的适航审查依据。首先，本文阐述了机载软件开发过程定义与监控研究的背景和意义，明确了本课题要解决的问题，并对软件过程建模技术、DO-178B软件生命周期及软件开发过程模型进行了深入研究。其次，本文在研究DO-178B的基础上，运用工作流建模技术，针对软件开发过程，使用UML建模语言建立了基于DO-178B标准的软件开发过程模型。然后，本文在软件开发过程模型的基础上，研究了工作流技术中的柔性技术，根据模型实例化项目软件开发过程的方法，依据相应软件等级给出了软件开发过程执行中相应的活动转换规则，及基于所实例化的软件开发过程对软件开发过程进行监控的方法。最后，本文在以上研究的基础上，结合软件过程管理平台QESuite，开发实现了一个基于DO-178B标准的软件开发过程建模与监控的工具。该工具提供了项目定制、软件开发过程建模、软件过程监控、流程项目实例化等基本功能，为软件开发人员基于DO-178B标准开发软件提供有力的支持。

来源：半壳优胜育转载请保留出处和链接！

本文链接：http://87cpy.com/200683.html