题目：面向适航标准的可跟踪性模型研究与应用

  机载软件是运行在飞机中的嵌入式软件，在飞机投入商用运营前，运行在其中的机载软件必须通过相关的适航安全认证标准。而“可跟踪性”作为当今软件的一个重要的品质，它也被适航安全认证标准DO-178C严格的要求。

  良好的可跟踪性不仅是机载软件取得安全认证的前提之一，它也对安全性验证、变更影响分析等软件活动有着重要的作用，然而，目前很多安全关键领域的软件都达不到相关安全认证标准的可跟踪性要求。

  为了使机载软件的可跟踪性达到适航安全认证标准DO-178C的内容要求，本课题的研究内容分为两部分：

（1）通过对适航标准DO-178C的内容研究，提炼出机载软件开发生命周期各个阶段的可跟踪性建模要素以及标准对生命周期数据的可跟踪性要求，并借助于UML扩展机制，建立了相应的UML Profile，以支持机载软件开发期间的可跟踪性建模。

（2）以面向标准的可跟踪性模型，提出相应的可跟踪性分析方法，可用于分析软件制品间可跟踪性关系的合法性、软件制品的正向可跟踪性、软件制品的逆向可跟踪性等可跟踪性问题，从而确保模型符合DO-178C的可跟踪性要求。

  在文章的最后部分，本文设计并实现了面向适航标准的可跟踪性模型的建模与分析工具，并以浮标布阵系统为例，建立了可跟踪性模型，并给出相应的分析结果示例。