基于規(guī)則的機載軟件驗證活動專家系統(tǒng)生成方法.pdf

1、近年來,隨著我國航空航天業(yè)的快速發(fā)展,機載軟件的產(chǎn)業(yè)規(guī)模迅速擴大;嵌入式機載軟件的開發(fā)和驗證正逐漸成為工業(yè)界、學(xué)術(shù)界的研究熱點。當(dāng)前,機載軟件要進入國際市場,就必須通過機載軟件適航認證標(biāo)準(zhǔn)DO-178C的認證。在DO-178C規(guī)定的認證活動中,驗證活動的工作占到60％以上。機載軟件的認證、驗收,需要相關(guān)專家進行多次檢查、審核,并提出具體的整改要求,直至機載軟件達到認證標(biāo)準(zhǔn)。這個認證過程通常需要耗費大量的人力、物力和時間。
　　本文

2、在對DO-178C認證標(biāo)準(zhǔn)要求的驗證活動進行分析研究后,將通過Prolog程序構(gòu)建基于規(guī)則的專家系統(tǒng),并將它應(yīng)用到機載軟件驗證的測試和分析活動中。用擅長文本處理和正則表達式的Perl直接生成Prolog專家系統(tǒng),方便了該專家系統(tǒng)的后期維護和實時更新。在驗證活動的測試階段,通過Perl腳本生成基于規(guī)則的Prolog專家系統(tǒng),實現(xiàn)了驗證活動規(guī)定的需求追溯。在分析活動中,引入故障模式和影響分析法(FMEA)專家系統(tǒng),生成基于規(guī)則的FMEA樹搜

3、索Prolog專家系統(tǒng),以實現(xiàn)對軟件失效模式的查詢和全面跟蹤記錄。
　　將由Prolog構(gòu)造的專家系統(tǒng)使用在機載軟件的開發(fā)過程中,能對機載軟件需求進行實時追溯,以滿足DO-178C對需求追溯的要求,并使得機載軟件項目的相關(guān)負責(zé)人及時掌握軟件開發(fā)過程中的變更需求或特定需求的狀態(tài)和覆蓋情況。通過采用Prolog的FMEA專家系統(tǒng)來進行驗證的分析活動,可以定位出具體的失效模式和危害等級,為機載軟件項目的后續(xù)任務(wù)提供經(jīng)驗總結(jié)和處理措施。從