论文摘要：面向适航认证的机载软件安全性建模方法研究与应用

机载软件安全性是指机载软件运行不引起系统危害的能力，它与机载软件的实时性、可靠性、可预测性等非功能特性密切相关。目前在机载软件适航认证方面被广泛采用的标准是由美国航空无线电委员会提出的DO-178B以及最新的DO-178C。该标准是美国航空无线电技术委员会为支持含有数字计算机的机载系统和设备的研制工作而开发的。标准对软件生命周期各个阶段所要达到的目标进行了说明，对机载软件适航安全性提出了严格要求。

本课题的核心研究内容是采用UML扩展机制进行适航安全性的扩展，从而适应机载软件系统面向对象的设计需求。本文首先对DO-178C标准进行分析，重点研究了机载软件设计过程的目标以及为了达到这个目标所要进行的活动，从DO-178C标准中抽取了六类适航性安全性相关的概念，对于每个概念，定义了概念的详细含义、概念的属性和概念之间的关系，然后建立概念模型。参照提出的概念模型，提出用于构建UML Profile的指导性需求，借助于UML的扩展机制建立一个适用于机载软件建模的SAUML Profile。然后提出使用此SAUML Profile进行机载软件建模及分析的一般过程。最后本文以浮标布阵系统为例，使用提出的SAUML Profile对浮标布阵系统进行建模和分析，初步实现了机载软件适航安全性的建模。

来源：半壳优胜鲸鱼幸运星转载请保留出处和链接！

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