DO-178B介紹

INTRODUCTION

DO-178B，機(jī)載系統(tǒng)和設(shè)備認(rèn)證中的軟件考慮，在電子硬件被要求符合 DO-254 之前多年就已發(fā)布和采納。DO-178B 的先行一步對(duì)電子硬件開(kāi)發(fā)帶來(lái)兩個(gè)特別的后果。首先，使得硬件制造商有了一種傾向，為了避免 DO-178B 對(duì)軟件開(kāi)發(fā)造成的時(shí)間和工作量（認(rèn)為的和實(shí)際的）的增加，要把系統(tǒng)功能從軟件移植到硬件。當(dāng)然，這個(gè)想法是，如果設(shè)備功能可以被移植到電子硬件，它就不需要受到昂貴并且困難的 DO-178B 設(shè)計(jì)保證過(guò)程的支配。

第二個(gè)后果是，在機(jī)載設(shè)計(jì)保證的圈子里，從 DO-178B 而來(lái)的術(shù)語(yǔ)、概念和過(guò)程是如此深入人心，它仍然強(qiáng)烈影響到 DO-254 在硬件中如何應(yīng)用與實(shí)現(xiàn)。顯而易見(jiàn)，硬件和軟件存在本質(zhì)的區(qū)別，因此在設(shè)計(jì)保證上應(yīng)該被區(qū)別對(duì)待，但是這個(gè)樸素的常識(shí)常常被 DO-178B的慣性思維所影響。

所以該如何比較 DO-254 和 DO-178B（或 DO-178C6）呢？區(qū)別有這么大么？因?yàn)閮蓚€(gè)文件都提供了開(kāi)發(fā)過(guò)程的指南，它們?cè)趦?nèi)容上和思想上呈現(xiàn)驚人的相似性。事實(shí)上，從高層角度看，它們的途徑和基本概念非常相似。這些相似之處可以總結(jié)為如下幾點(diǎn)：

它們安全性的背景和基礎(chǔ)是相同的。

都依賴于過(guò)程和設(shè)計(jì)保證。

都使用生命周期階段來(lái)管理開(kāi)發(fā)

都使用過(guò)程保證（軟件的質(zhì)量保證）、配置管理、以及驗(yàn)證的整體性過(guò)程。

驗(yàn)證是基于需求的。

都包含了工具鑒定。

DO-178B和DO-254比較

SPRING

因此從大的方面上看兩個(gè)文件非常相似。但是，當(dāng)仔細(xì)查看設(shè)計(jì)保證概念和過(guò)程的細(xì)節(jié)時(shí)，許多差異就浮現(xiàn)出來(lái)了，一些差異是如此之大，使得 DO-178 的概念用在硬件開(kāi)發(fā)上不會(huì)產(chǎn)生所期待的設(shè)計(jì)保證的效果。DO-254 和 DO-178 的差異（就硬件與軟件而言）細(xì)節(jié)如下表。

表：DO-254 與 DO-178B/C 的差異

解析

SPRING

一些差異看起來(lái)瑣碎和無(wú)足輕重，另一些差異較大，如果按照 DO-178 的理解去影響DO-254 在硬件上的應(yīng)用，會(huì)造成嚴(yán)重后果。在應(yīng)用 DO-254 時(shí)，所有的差異應(yīng)該被仔細(xì)考慮和研究，找到混淆和誤解之處。通常來(lái)說(shuō)，軟件的定義、技術(shù)和過(guò)程不應(yīng)該被用于硬件。

SPRING

也許最隱蔽的、易混淆的和不容易改正的差異是派生需求的定義。DO-178B 在設(shè)計(jì)保證領(lǐng)域的長(zhǎng)期支配地位造成一種強(qiáng)大的慣性，特別是在那些有軟件背景的人，或者使用DO-178B 語(yǔ)言的人，會(huì)假定 DO-254 定義與 DO-178B 是一樣的，或更普遍的情況，認(rèn)為 DO-178B 的定義是通用的，因此像應(yīng)用在軟件里一樣地應(yīng)用于硬件。然而，雖然兩個(gè)文檔都在詞匯表中定義了派生需求作為設(shè)計(jì)過(guò)程中產(chǎn)生的額外需求，可能可以或不可以直接追蹤到更高一級(jí)的需求，DO-178B 的小節(jié) 5.0縮小了派生需求的定義為不能追蹤到更高一級(jí)需求的需求。

DO-178B 小節(jié) 5.0的定義取代了詞匯表中的定義，并且由于 DO-178B 的長(zhǎng)時(shí)期的支配地位，這個(gè)定義被作為派生需求的更常用的定義。這從很多方面來(lái)說(shuō)是不幸的，一個(gè)顯著問(wèn)題是 DO-254 中的過(guò)程（特別是驗(yàn)證過(guò)程）被設(shè)計(jì)為使用 DO-254 的定義，之后我們有更詳細(xì)的描述，如果將 DO-178B 的定義用于 DO-254 的過(guò)程就會(huì)產(chǎn)生問(wèn)題。

原文標(biāo)題：DO-254和DO-178B的區(qū)別（三）

文章出處：【微信公眾號(hào)：FPGA技術(shù)聯(lián)盟】歡迎添加關(guān)注！文章轉(zhuǎn)載請(qǐng)注明出處。

責(zé)任編輯：haq