亚洲免费av电影一区二区三区,日韩爱爱视频,51精品视频一区二区三区,91视频爱爱,日韩欧美在线播放视频,中文字幕少妇AV,亚洲电影中文字幕,久久久久亚洲av成人网址,久久综合视频网站,国产在线不卡免费播放

        ?

        DO-254標(biāo)準(zhǔn)在機(jī)載電子硬件審定中的應(yīng)用

        2010-07-31 11:37:56鵬,田
        關(guān)鍵詞:局方構(gòu)型申請(qǐng)人

        王 鵬,田 毅

        (中國(guó)民航大學(xué)適航審定技術(shù)研究與管理中心,天津 300300)

        隨著現(xiàn)代科學(xué)技術(shù)的發(fā)展,現(xiàn)代飛機(jī)在飛行控制、綜合顯示等關(guān)鍵系統(tǒng)中越來(lái)越多地使用了復(fù)雜電子硬件,尤其是客戶化的可編程邏輯器件,這對(duì)于適航性設(shè)計(jì)和審定帶來(lái)了挑戰(zhàn)。這些復(fù)雜電子硬件的設(shè)計(jì)常常與基于微處理器控制的系統(tǒng)軟件一樣復(fù)雜,因此,隨著硬件復(fù)雜度的提高,由硬件設(shè)計(jì)錯(cuò)誤帶來(lái)的負(fù)面影響已經(jīng)越來(lái)越難以控制。為了降低這種可預(yù)見(jiàn)的風(fēng)險(xiǎn),必須通過(guò)一些標(biāo)準(zhǔn)的和可驗(yàn)證的方式,來(lái)證明在設(shè)計(jì)和審定過(guò)程中這些潛在的硬件設(shè)計(jì)錯(cuò)誤能夠被消除。

        通常,國(guó)際航空工業(yè)界采用美國(guó)RTCA協(xié)會(huì)的DO-254標(biāo)準(zhǔn)(等同于歐洲EUROCAE的ED-80標(biāo)準(zhǔn),簡(jiǎn)稱為DO-254)《機(jī)載電子硬件設(shè)計(jì)保證指南》,來(lái)保證機(jī)載電子硬件(AEH)的安全性水平。FAA、EASA通過(guò)咨詢通告認(rèn)可了這部標(biāo)準(zhǔn),申請(qǐng)人可采用此標(biāo)準(zhǔn)作為客戶化可編程邏輯器件對(duì)適航要求的符合性方法。中國(guó)民用航空局(CAAC)目前雖未頒布相關(guān)的咨詢通告或程序,但在新支線客機(jī)ARJ21-700項(xiàng)目中以問(wèn)題紀(jì)要(SE005)的形式,明確了以DO-254作為CCAR-25部1301和1309條款的符合性方法之一。

        然而,DO-254標(biāo)準(zhǔn)未能涵蓋機(jī)載電子硬件設(shè)計(jì)和審定中遇到的一些特殊工程問(wèn)題,使申請(qǐng)人和適航審定人員在工程實(shí)踐中面臨困難,需要進(jìn)一步明確。本文介紹了機(jī)載電子硬件的設(shè)計(jì)過(guò)程和批準(zhǔn),并就DO-254中沒(méi)有明確的簡(jiǎn)單電子硬件審定、成熟商用器件(COTS)、驗(yàn)證標(biāo)準(zhǔn)等工程的關(guān)鍵問(wèn)題,結(jié)合ARJ21-700型號(hào)合格審定中的實(shí)際工程經(jīng)驗(yàn)進(jìn)行了分析說(shuō)明。

        1 電子硬件設(shè)計(jì)過(guò)程和批準(zhǔn)

        1.1 硬件設(shè)計(jì)生命周期

        現(xiàn)代電子硬件設(shè)計(jì)過(guò)程中已普遍采用了硬件描述語(yǔ)言,采用以試驗(yàn)或分析為主體的傳統(tǒng)驗(yàn)證方法已不可行。因此借鑒了與機(jī)載軟件類似的管理辦法,相應(yīng)于硬件的關(guān)鍵程度,引入“設(shè)計(jì)保證”的概念,對(duì)其整個(gè)生命周期的每個(gè)過(guò)程都進(jìn)行嚴(yán)格控制,包括有效合理的計(jì)劃、對(duì)需求的確認(rèn)與驗(yàn)證(V&V)、全過(guò)程的構(gòu)型管理和質(zhì)量保證、針對(duì)不同等級(jí)的關(guān)鍵技術(shù)要求等,將由復(fù)雜電子硬件設(shè)計(jì)錯(cuò)誤造成安全問(wèn)題的可能性降到最低,以保證最終硬件產(chǎn)品的安全性水平是可接受的,并符合適航要求。

        按照DO-254標(biāo)準(zhǔn),一個(gè)典型硬件設(shè)計(jì)過(guò)程[1]如圖1所示,審定過(guò)程在此基礎(chǔ)上進(jìn)行。

        設(shè)計(jì)過(guò)程包括需求捕獲、概念設(shè)計(jì)、詳細(xì)設(shè)計(jì)、設(shè)計(jì)實(shí)現(xiàn)、生產(chǎn)過(guò)渡、持續(xù)生產(chǎn)。持續(xù)生產(chǎn)過(guò)程不在DO-254的考慮范圍。需求捕獲用來(lái)確定和記錄硬件項(xiàng)目需求,包括由預(yù)期的硬件架構(gòu)、工藝選擇、基本和可選功能、環(huán)境和性能需求所帶來(lái)的衍生需求以及由系統(tǒng)安全評(píng)估附加的需求。概念設(shè)計(jì)過(guò)程形成一個(gè)高層級(jí)的設(shè)計(jì)概念,通過(guò)對(duì)這一概念的評(píng)估,以確定最終設(shè)計(jì)實(shí)現(xiàn)符合需求的可能性,并定義硬件的體系結(jié)構(gòu)。詳細(xì)設(shè)計(jì)過(guò)程使硬件項(xiàng)目需求和概念設(shè)計(jì)信息作為詳細(xì)設(shè)計(jì)的基礎(chǔ),得出詳細(xì)設(shè)計(jì)數(shù)據(jù)。硬件設(shè)計(jì)實(shí)現(xiàn)過(guò)程利用硬件詳細(xì)設(shè)計(jì)數(shù)據(jù)形成硬件。生產(chǎn)過(guò)渡過(guò)程采用來(lái)自硬件設(shè)計(jì)實(shí)現(xiàn)和驗(yàn)證過(guò)程的輸出,將產(chǎn)品轉(zhuǎn)入生產(chǎn)。

        除設(shè)計(jì)過(guò)程外,DO-254提出了非常關(guān)鍵的支持過(guò)程,這包括確認(rèn)過(guò)程、驗(yàn)證過(guò)程、構(gòu)型管理過(guò)程、過(guò)程保證過(guò)程、審定聯(lián)絡(luò)過(guò)程。確認(rèn)過(guò)程保證系統(tǒng)安全性分析過(guò)程分配到硬件所對(duì)應(yīng)的衍生需求的正確性和完整性[2]。驗(yàn)證過(guò)程保證硬件實(shí)現(xiàn)滿足所有的需求(包括衍生需求),系統(tǒng)需求不必在硬件的V&V過(guò)程進(jìn)行確認(rèn)。構(gòu)型管理過(guò)程要提供能夠持續(xù)更替的構(gòu)型項(xiàng),再現(xiàn)必要的數(shù)據(jù)和產(chǎn)品,在必須更改時(shí)控制構(gòu)型項(xiàng)的更改。對(duì)于復(fù)雜電子硬件構(gòu)型管理,僅使用頂層圖紙是不夠的,需采用附加方法來(lái)控制客戶化可編程器件中的嵌入邏輯,硬件構(gòu)型索引便是其選擇之一。過(guò)程保證確保了開(kāi)發(fā)活動(dòng)按照計(jì)劃進(jìn)行,使生命周期目標(biāo)得到實(shí)現(xiàn),對(duì)于偏離的事件進(jìn)行了標(biāo)識(shí)。多數(shù)情況下,該活動(dòng)由獨(dú)立于開(kāi)發(fā)團(tuán)隊(duì)的質(zhì)量保證系統(tǒng)或機(jī)構(gòu)完成。各過(guò)程的關(guān)聯(lián)[3]如圖2所示。

        1.2 機(jī)載電子硬件的批準(zhǔn)方式

        機(jī)載電子硬件并沒(méi)有一個(gè)獨(dú)立的審定批準(zhǔn)證書,其總是作為飛機(jī)、系統(tǒng)或設(shè)備的一部分,不會(huì)單獨(dú)存在。它一般通過(guò)型號(hào)合格審定(TC)、補(bǔ)充型號(hào)合格審定(STC)、技術(shù)標(biāo)準(zhǔn)規(guī)定(TSO)、零部件制造人批準(zhǔn)書(PMA)等形式獲得適航批準(zhǔn)。另一方面,含有機(jī)載電子軟硬件的飛機(jī)、系統(tǒng)或設(shè)備得到批準(zhǔn)的前提之一便是所含的電子硬件和軟件已得到批準(zhǔn)。機(jī)載設(shè)備最常見(jiàn)的審定形式為隨型號(hào)合格審定和單獨(dú)審定兩種。

        在ARJ21-700型號(hào)合格審定項(xiàng)目中,對(duì)機(jī)載電子硬件的相關(guān)適航要求主要體現(xiàn)在對(duì)系統(tǒng)和設(shè)備的要求,即 CCAR25.1301“功能和安裝”、CCAR25.1309“設(shè)備、系統(tǒng)及安裝”和CCAR33.28“發(fā)動(dòng)機(jī)電氣和電子控制系統(tǒng)”(發(fā)動(dòng)機(jī)具備單獨(dú)的TC,不在該項(xiàng)目審定范圍內(nèi))。

        對(duì)于單獨(dú)審定項(xiàng)目,其審定基礎(chǔ)一般為對(duì)應(yīng)的適航標(biāo)準(zhǔn)和附加要求。在ARJ21-700項(xiàng)目中最主要的就是TSO形式。值得注意的是,許多TSO是在適航局方提出機(jī)載電子硬件審定要求前發(fā)布,可能不包含相關(guān)硬件的要求,但考慮到現(xiàn)代飛機(jī)的需求,也意味著即使新申請(qǐng)較早版本TSOA的項(xiàng)目,也必須關(guān)注機(jī)載電子硬件的適航要求。

        但無(wú)論何種審定形式,對(duì)于機(jī)載電子硬件的適航要求都是統(tǒng)一的。對(duì)于不同項(xiàng)目,審定中存在差異的是局方介入項(xiàng)目的深度,這取決于申請(qǐng)人經(jīng)驗(yàn)、申請(qǐng)人背景、工程師的設(shè)計(jì)質(zhì)量和經(jīng)驗(yàn)、項(xiàng)目的創(chuàng)新性或唯一性以及項(xiàng)目的關(guān)鍵程度等。

        中國(guó)的絕大部分申請(qǐng)人是第1次依照DO-254來(lái)開(kāi)發(fā)復(fù)雜電子硬件。CAAC的介入程度都應(yīng)當(dāng)是最高等級(jí),需要對(duì)所有的階段進(jìn)行現(xiàn)場(chǎng)審核。為了滿足符合性,適航審定貫穿于整個(gè)硬件生命周期,局方有4個(gè)典型的介入階段[4],分別是計(jì)劃評(píng)審、設(shè)計(jì)評(píng)審、確認(rèn)與驗(yàn)證評(píng)審、最終評(píng)審。對(duì)于某些項(xiàng)目,根據(jù)需求,現(xiàn)場(chǎng)審核也可能不限于這4個(gè)階段。例如:一個(gè)大系統(tǒng)擁有許多小系統(tǒng)或一個(gè)項(xiàng)目有許多問(wèn)題時(shí),局方將會(huì)要求更深的介入。

        對(duì)于國(guó)產(chǎn)型號(hào)的國(guó)外供應(yīng)商,根據(jù)具體情況,處理方式也各不相同,具體取決于中國(guó)與該國(guó)適航雙邊協(xié)議(BASA),當(dāng)然也取決于審定的類型。例如:對(duì)于美國(guó)供應(yīng)商,具有TSOA的設(shè)備就可以通過(guò)設(shè)計(jì)批準(zhǔn)認(rèn)可(VDA)的形式進(jìn)行批準(zhǔn),CAAC將主要進(jìn)行文件審定,而不會(huì)對(duì)其進(jìn)行現(xiàn)場(chǎng)審核;對(duì)于未取得TSOA隨機(jī)取證的設(shè)備,CAAC將直接負(fù)責(zé)所有審定工作。

        2 DO-254標(biāo)準(zhǔn)未能涵蓋的問(wèn)題解析

        2.1 適用范圍

        依照DO-254標(biāo)準(zhǔn)定義,DO-254適用于整個(gè)機(jī)載電子設(shè)備,但在具體實(shí)踐工程中,局方往往并不這樣要求,而是主要針對(duì)于客戶化可編程邏輯器件。

        在ARJ21-700項(xiàng)目中,有18個(gè)系統(tǒng)、33個(gè)設(shè)備,包含了可編程邏輯器件。AEH的審定主要關(guān)注于設(shè)計(jì)保證等級(jí)(DAL)為A、B、C級(jí)的下列器件:

        1)客戶化可編程器件,其中包括專用集成電路(ASIC)、可編程邏輯器件(PLD)以及在航空系統(tǒng)和設(shè)備中使用的相似電子元器件等。

        2)COTS器件,如微處理器、橋接器、圖形處理器等。

        3)知識(shí)產(chǎn)權(quán)(IP)核,如 PCI、CAN 總線等。IP 包括硬IP、軟IP和固件IP。

        其中第1)項(xiàng)必須按照DO-254進(jìn)行硬件研制。對(duì)于COTS器件和IP,基于目前工業(yè)實(shí)踐的經(jīng)驗(yàn),要求其遵循DO-254是不現(xiàn)實(shí)的。中國(guó)審定局方對(duì)于該如何處理還沒(méi)有給出指導(dǎo)性的意見(jiàn),但申請(qǐng)人可基于下述方法來(lái)表明這類器件的適航符合性:

        1)從已知關(guān)于IP功能和設(shè)計(jì)的信息中利用反向工程獲取所需要的生命周期數(shù)據(jù);

        2)加強(qiáng)IP測(cè)試與分析;

        3)設(shè)備、板卡、LRU或系統(tǒng)級(jí)體系結(jié)構(gòu)消解;

        4)產(chǎn)品服務(wù)經(jīng)驗(yàn);

        5)避免在A、B級(jí)功能中直接使用COTS產(chǎn)品。

        2.2 驗(yàn)證的完成標(biāo)準(zhǔn)

        DO-254沒(méi)有明確指出驗(yàn)證活動(dòng)的完成標(biāo)準(zhǔn),只在附錄B中討論了元素分析的使用,用于判斷完成的標(biāo)準(zhǔn)。本文并不討論所有的驗(yàn)證活動(dòng),而僅限于硬件描述語(yǔ)言(HDL)。與DO-178B不同,DO-254未針對(duì)不同的等級(jí)提出不同的“標(biāo)準(zhǔn)”覆蓋率要求,如對(duì)應(yīng)于軟件的A、B、C級(jí)要求修訂條件判斷覆蓋(MC/DC)、條件判定覆蓋(C/DC)和語(yǔ)句覆蓋。進(jìn)行代碼覆蓋率分析是為了確保驗(yàn)證過(guò)程將執(zhí)行所有的代碼、指示測(cè)試集是否完善,對(duì)于必須寫出而又無(wú)法測(cè)試到的代碼要保證其不會(huì)影響設(shè)計(jì)功能,并且找出死代碼。對(duì)于硬件來(lái)說(shuō),常見(jiàn)的有語(yǔ)句覆蓋、分支覆蓋、條件覆蓋、表達(dá)式覆蓋、有限狀態(tài)機(jī)覆蓋和翻轉(zhuǎn)覆蓋。

        語(yǔ)句覆蓋,能確保每個(gè)語(yǔ)句都被執(zhí)行,尤其是一行代碼包含多個(gè)語(yǔ)句。分支覆蓋,能說(shuō)明是否執(zhí)行了所有可能的分支。條件覆蓋著重檢查分支條件是否都執(zhí)行了。表達(dá)式覆蓋率將跟蹤輸入或輸出的狀態(tài),確保每一個(gè)輸入進(jìn)表達(dá)式的真假值都執(zhí)行了,類似于軟件中的C/DC或MC/DC覆蓋。有限狀態(tài)機(jī)覆蓋,確保測(cè)試執(zhí)行了所有狀態(tài)以及狀態(tài)的轉(zhuǎn)換。翻轉(zhuǎn)覆蓋比較容易引起迷惑,雖然很多仿真工具提供支持,但并不能真正用來(lái)做RTL代碼分析,而是在制造階段用來(lái)支持芯片測(cè)試,尋找引起芯片內(nèi)部某個(gè)節(jié)點(diǎn)停留在邏輯1或0狀態(tài)的缺陷。

        這里要指出的是,達(dá)到100%的代碼覆蓋率并不能保證設(shè)計(jì)的功能正確,還需要功能覆蓋率。功能覆蓋率包含了一套捕獲和描述設(shè)計(jì)行為的機(jī)制,自動(dòng)生成捕獲測(cè)試結(jié)果,并判斷是否違規(guī)。除此之外,對(duì)于ASIC還有固定值故障、路徑延遲故障以及橋接故障等,每種故障都有相應(yīng)指標(biāo),有時(shí)統(tǒng)稱為測(cè)試覆蓋率。

        在當(dāng)前的項(xiàng)目中,局方針對(duì)不同的案例可能會(huì)提出不同的要求,如空客A350和A380型號(hào)審定中的要求是不一樣的。無(wú)論如何申請(qǐng)人應(yīng)當(dāng)至少滿足需求的100%覆蓋,并表明與局方約定的HDL代碼的相應(yīng)覆蓋率。

        2.3 可更改客戶化可編程器件

        有些數(shù)字設(shè)備不用更換其硬件本身,就可從外部更改其內(nèi)部嵌入邏輯和功能,這就是可更改客戶化可編程器件,這些器件具有被用戶在現(xiàn)場(chǎng)改變其構(gòu)型的可能性。在機(jī)載設(shè)備中很少使用現(xiàn)場(chǎng)可更改客戶化可編程器件,因?yàn)槠渚哂胁淮_定性,但DO-254沒(méi)有就這類硬件的現(xiàn)場(chǎng)更改情況提出相關(guān)要求。在審定過(guò)程中,為保證硬件不會(huì)發(fā)生在非構(gòu)型控制狀態(tài)下的更改,就需要采取適當(dāng)?shù)拇胧┛刂破淝度脒壿嫺姆椒?。因此?duì)于此類硬件,局方要求除了DO-254外,申請(qǐng)人還必須遵循DO-178B第2.4~2.5節(jié),或者能夠證明具有相同的安全性。此外,8110.49的第5~7章也應(yīng)當(dāng)被考慮。ARJ21-700項(xiàng)目則明確規(guī)定了不允許在現(xiàn)場(chǎng)對(duì)可編程邏輯器件進(jìn)行更改。

        2.4 多時(shí)鐘域問(wèn)題

        在DO-254編寫時(shí),由于工藝和設(shè)計(jì)水平的限制,多時(shí)鐘域問(wèn)題并不是一個(gè)棘手的問(wèn)題,但在今天卻是一個(gè)普遍存在的問(wèn)題,雖然DO-254涉及到了設(shè)計(jì)裕度,但這里仍然需要強(qiáng)調(diào)。比較嚴(yán)重的是由于多時(shí)鐘域而帶來(lái)的亞穩(wěn)態(tài)特性,在普通的仿真和靜態(tài)時(shí)序分析中很難發(fā)現(xiàn)問(wèn)題,這對(duì)于安全性相關(guān)的功能帶來(lái)了潛在威脅。DO-254雖然沒(méi)有明確提出要進(jìn)行跨時(shí)鐘域的驗(yàn)證,但是要求檢查“反常行為”,而亞穩(wěn)態(tài)可以被認(rèn)為是由設(shè)計(jì)錯(cuò)誤而引起的反常行為。申請(qǐng)人應(yīng)當(dāng)提供處理亞穩(wěn)態(tài)性的數(shù)據(jù),包括是否有同步策略、同步策略如何使用以及效果如何。此外,申請(qǐng)人還應(yīng)進(jìn)行由于多時(shí)鐘域而帶來(lái)的環(huán)境方面的考慮。

        2.5 邏輯綜合問(wèn)題

        這是一個(gè)經(jīng)常被忽略的地方。DO-254要求設(shè)計(jì)的每一步都有可重復(fù)性,理想的情況下,重新運(yùn)行同樣的設(shè)計(jì)步驟,一定可以得到相同的結(jié)果。但是工具在綜合階段會(huì)進(jìn)行邊界優(yōu)化、資源共享以及流水線優(yōu)化,每次綜合可能得到不同的內(nèi)部數(shù)據(jù)和不可重復(fù)的結(jié)果。申請(qǐng)人需在此方面對(duì)工具進(jìn)行鑒定,并且在設(shè)計(jì)中考慮一些設(shè)計(jì)保證措施以保證改動(dòng)部分的設(shè)計(jì)不影響已經(jīng)固定下來(lái)的設(shè)計(jì)部分。

        2.6 簡(jiǎn)單電子硬件(SEH)的驗(yàn)證標(biāo)準(zhǔn)

        對(duì)于簡(jiǎn)單電子硬件的審定,同樣關(guān)注于客戶化可編程器件。如果申請(qǐng)人將該類器件定義為“簡(jiǎn)單”的,并且不選擇DO-254作為符合性方法,則CAAC將要求申請(qǐng)人進(jìn)行窮盡測(cè)試和分析。圖3展示了一個(gè)簡(jiǎn)單的執(zhí)行A級(jí)輸入控制功能的案例,說(shuō)明“簡(jiǎn)單”電子硬件的測(cè)試和分析要求。

        所有的輸入(429_DATA1/2、SENSOR1/2、Re復(fù)位信號(hào)、UART),輸出(OUT_A、OUT_EN),內(nèi)部信號(hào)(全局復(fù)位信號(hào)、邏輯控制信號(hào)、監(jiān)控信號(hào)等),內(nèi)部模塊(全局復(fù)位、MONITOR、LOGIC CONTROL、多路選擇器)以及器件中所有的寄存器、鎖存器、邏輯器件和門,應(yīng)該證明它們?cè)谒锌赡艿慕M合、排列和并發(fā)狀態(tài)均無(wú)異常行為。當(dāng)然也要考慮動(dòng)態(tài)特性,如輸出信號(hào)OUT_EN的建立時(shí)間應(yīng)該是有限的(如小于5 ns),并且與其他模塊是并發(fā)的。因此,在模塊層級(jí)還不能完全完成測(cè)試,需要延伸到內(nèi)部模塊,如邏輯控制模塊[5],并且最終到達(dá)寄存器傳輸級(jí)或門級(jí)。局方最認(rèn)同的驗(yàn)證方式是物理測(cè)試,這就要求申請(qǐng)人采用必要的方法以觀測(cè)內(nèi)部節(jié)點(diǎn)信號(hào)。

        除了上面提到的測(cè)試與分析之外,覆蓋分析需要證明完整地實(shí)現(xiàn)了特定標(biāo)準(zhǔn)。所有的門或節(jié)點(diǎn)及其內(nèi)部的模塊組織(如多路選擇器可能由許多的與非門、或門和觸發(fā)器組成),應(yīng)確定的是其的確執(zhí)行了恰當(dāng)?shù)牟僮鱗6]。同時(shí),還應(yīng)分析最好和最壞時(shí)序,這是硬件驗(yàn)證與軟件不同之處,在驗(yàn)證電路時(shí),設(shè)計(jì)者應(yīng)考慮電路物理特性。

        但是,在工業(yè)實(shí)際中,如果硬件邏輯如本案例一樣復(fù)雜,這幾乎不可能達(dá)到所要求的標(biāo)準(zhǔn)。如果申請(qǐng)人將如此復(fù)雜的硬件定義為“簡(jiǎn)單”,他們將要承擔(dān)巨大的風(fēng)險(xiǎn),并且有可能不得不再次按照DO-254要求重新開(kāi)始研制。當(dāng)用戶將微編碼器件用于選擇器、分頻器等簡(jiǎn)單功能時(shí),通常是可以被定義為“簡(jiǎn)單”的。

        3 結(jié)語(yǔ)

        許多國(guó)家的適航局方已認(rèn)可DO-254作為一個(gè)可接受的符合性方法來(lái)滿足機(jī)載系統(tǒng)和設(shè)備中的客戶化可編程器件相應(yīng)的規(guī)章。經(jīng)過(guò)工業(yè)證明,DO-254巨大提升了需求質(zhì)量,并明顯降低了由于錯(cuò)誤和需求缺失帶來(lái)的返工概率,提升了構(gòu)型管理,確保更高的硬件質(zhì)量。但其仍是一個(gè)不完善的標(biāo)準(zhǔn),有許多不明確問(wèn)題需要進(jìn)一步說(shuō)明。

        RTCA/SC-180委員會(huì)(DO-254)與 RTCA/SC-167委員會(huì)(DO-178B)聯(lián)系較多,因此很容易發(fā)現(xiàn)DO-254標(biāo)準(zhǔn)與機(jī)載軟件的標(biāo)準(zhǔn)DO-178B有許多過(guò)程和要求是相似的,然而恰好也是這種延承使得DO-254沒(méi)有很好考慮硬件自身的特性,如動(dòng)態(tài)測(cè)試、并發(fā)過(guò)程、時(shí)鐘偏移和時(shí)序等問(wèn)題,同時(shí)一些航空領(lǐng)域之外的工業(yè)實(shí)踐方法也沒(méi)有很好地被利用。

        對(duì)于硬件設(shè)計(jì)或者審定工程師,在遵照DO-254標(biāo)準(zhǔn)的同時(shí),還應(yīng)當(dāng)關(guān)注本文中所討論的一些關(guān)鍵問(wèn)題,這有可能成為機(jī)載電子硬件的潛在安全性問(wèn)題。本文所推薦的方法并不能直接當(dāng)作適航要求使用,但可以為審定和設(shè)計(jì)工作提供參考。

        [1]RTCA.Design Assurance Guidance for Airborne Electronic Hardwar,DO-254[S].Washington D C:RTCA Inc,2000.

        [2]SAE.Certification Considerations for Highly Integrated or Complex Aircraft Systems,ARP4754[S].Warrendale,PA:The Engineering Society for Advancing Mobility Land Sea Air and Space,1996.

        [3]PAUL S MINER,VICTOR A.A Case-Study Application of RTCA DO-254:Design Assurance Guidance for Airborne Electronic Hardware[C]//AIAA/IEEE 2000 Digital Avionics Systems Conference,Philadelphia,PA,2000.

        [4]FAA.Conducting Airborne Electronic Hardware Reviews[S].Seattle:Aircraft Certification Service,2008.

        [5]STEVEN C BELAND.Functional Failure Path Analysis of Airborne Electronic Hardware[C]//AIAA/IEEE 2000 Digital Avionics Systems Conference,Philadelphia,PA,2000.

        [6]FAA.Simple and Complex Electronic Hardware Approval Guidance,Order8110.105-Chg1[S].Seattle:Aircraft Certification Service,2008.

        猜你喜歡
        局方構(gòu)型申請(qǐng)人
        分子和離子立體構(gòu)型的判定
        C919機(jī)進(jìn)入局方審定試飛階段 民航上海審定中心簽發(fā)大型客機(jī)首個(gè)型號(hào)檢查核準(zhǔn)書
        四十感懷
        Y12F飛機(jī)噪聲局方并行試飛適航審定技術(shù)
        7月1日起澳洲簽證費(fèi)將全面漲價(jià)上調(diào)幅度達(dá)到5.4%
        留學(xué)(2019年12期)2019-07-29 07:04:12
        《日本藏西夏文文獻(xiàn)》收錄漢文刻本《太平惠民合劑局方》殘片考
        西夏學(xué)(2018年1期)2018-04-29 09:08:16
        航天器受迫繞飛構(gòu)型設(shè)計(jì)與控制
        一種含碘氫碘酸濃度的分析方法
        一種黃霉素A組分的分離純化方法
        11
        无码中文字幕av免费放| 国产成人精品久久综合| 国产在线不卡一区二区三区| 亚洲午夜精品久久久久久抢 | 国产精品午夜福利亚洲综合网| 看日本全黄色免费a级| 米奇777四色精品人人爽| 久久精品免费免费直播| 亚洲国产精品成人av| 亚洲精品国产第一综合色吧| 伊在人天堂亚洲香蕉精品区| 澳门毛片精品一区二区三区| 日美韩精品一区二区三区| 久久久99精品免费视频| 久久久久久亚洲精品中文字幕| 精品久久久久久无码不卡| 亚洲中文字幕亚洲中文| 美女露出粉嫩小奶头在视频18禁| 日本做受高潮好舒服视频 | 亚洲成色www久久网站夜月| 久久亚洲av成人无码软件| sm免费人成虐漫画网站| 国产超碰人人做人人爽av大片 | 国产亚洲精品综合在线网站 | 午夜内射中出视频| 天天躁日日操狠狠操欧美老妇| 人妻乱交手机在线播放| 欧美成人猛片aaaaaaa| 236宅宅理论片免费 | 刺激一区仑乱| 99久久免费精品高清特色大片 | 午夜天堂精品久久久久| 四虎影视在线观看2413| 日本一区不卡高清在线观看| 亚洲综合网国产精品一区| 黑人巨茎大战欧美白妇| 久久久国产不卡一区二区| 中文字幕在线乱码av| 凹凸在线无码免费视频| 韩国精品一区二区三区| 国产精品女同av在线观看|