免费论文摘要：面向适航规范的可盯梢性模子接洽与运用

  机载软硬件是运转在铁鸟中的嵌入式软硬件，在铁鸟加入商用经营前，运转在个中的机载软硬件必需经过关系的适航安定认证规范。而“可盯梢性”动作现在软硬件的一个要害的品德，它也被适航安定认证规范DO-178C庄重的诉求。  杰出的可盯梢性不只是机载软硬件博得安定认证的基础之一，它也对安定性考证、变换感化领会等软硬件震动有着要害的效率，但是，暂时很多安定要害范围的软硬件都达不到关系安定认证规范的可盯梢性诉求。  为了使机载软硬件的可盯梢性到达适航安定认证规范DO-178C的实质诉求，本课题的接洽实质分为两局部：（1）经过对适航规范DO-178C的实质接洽，提炼出机载软硬件开拓人命周期各个阶段的可盯梢性建立模型因素以及规范对人命周期数据的可盯梢性诉求，并借助于UML扩充体制，创造了相映的UML Profile，以扶助机载软硬件开拓功夫的可盯梢性建立模型。（2）以面向规范的可盯梢性模子，提出相映的可盯梢性领会本领，可用来领会软硬件成品间可盯梢性联系的正当性、软硬件成品的正向可盯梢性、软硬件成品的逆向可盯梢性等可盯梢性题目，进而保证模子适合DO-178C的可盯梢性诉求。  在作品的结果局部，正文安排并实行了面向适航规范的可盯梢性模子的建立模型与领会东西，并以浮标排阵体例为例，创造了可盯梢性模子，并给出相映的领会截止示例。

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

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