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

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

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

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