VV&A基層指標(biāo)度量模型

1引言最近幾年,開發(fā)者在軟件分析、設(shè)計、測試等階段積極地應(yīng)用建模與仿真(m＆s,modelingandsimulation)技術(shù)。然而,一個值得關(guān)注的問題就是仿真可信度(credibility)問題,沒有可信度的仿真是沒有意義的。在建模與仿真過程中,人們開始考慮一些問題,諸如:仿真模型是否真正地代表了真實世界;仿真模型產(chǎn)生的輸出數(shù)據(jù)是否和真實世界一樣;仿真模型是否具有高可靠性等。因此,建模與仿真本身的可信度評估便成為了一個不可回避的問題。目前國內(nèi)外關(guān)于建模與仿真的可信度評估主要是圍繞m＆s的校核、驗證與確認(verification、validation、andaccreditation,簡稱vv＆a)而進行的。

在深入研究vv&a過程模型的基礎(chǔ)上,建立了仿真和建模vv&a工具設(shè)計方案,詳細介紹了各個模塊的功能、相互之間的關(guān)系及工作流程。應(yīng)用odbc互連技術(shù)實現(xiàn)接口間的通信,將vv&a工具應(yīng)用于實際工程中,取得了令人滿意的結(jié)果,從而有效提高了仿真vv&a過程的經(jīng)濟性和快捷性。

hla仿真系統(tǒng)的校核、驗證與確認(vv&a)過程依賴于hla的fedep過程描述,并圍繞fedep過程展開。其步驟分為:定義聯(lián)邦目標(biāo),進行慨念型分析,設(shè)計聯(lián)邦,開發(fā)聯(lián)邦,計劃、集成并測試聯(lián)邦,運行聯(lián)邦準備輸出,分析數(shù)據(jù)、評估結(jié)果。過程包括:目標(biāo)校核、一致性校核、概念模型驗證、設(shè)計校核、聯(lián)邦驗證、確認決策、事后執(zhí)行并歸檔。

vv&a是當(dāng)前建模與仿真研究的主要熱點之一。隨著科學(xué)技術(shù)的發(fā)展,仿真對象由一般系統(tǒng)發(fā)展到復(fù)雜系統(tǒng),系統(tǒng)建模與仿真的校核、驗證和確認(vv&a)的重要性越發(fā)突出。本文追蹤了國內(nèi)外vv&a研究進展,介紹了vv&a的相關(guān)概念、基本原則、技術(shù)方法和仿真系統(tǒng)的vv&a過程,指出了國內(nèi)vv&a研究存在問題和發(fā)展方向。

本文在研究建模與仿真系統(tǒng)vv&a概念和特點的基礎(chǔ)上,提出了提高vv&a可信度和效率的有關(guān)措施。

建模與仿真生命周期中的VV&A

通過分析飛航導(dǎo)彈攻防對抗仿真系統(tǒng)的特點,構(gòu)建了系統(tǒng)的模型框架,并重點針對模型可信度低的不足,從vv&a研究的方法、原則、系統(tǒng)的仿真過程和可視化應(yīng)用等方面做了理論探討,為開展飛航導(dǎo)彈攻防對抗仿真系統(tǒng)的后續(xù)工作奠定了基礎(chǔ).

分析了傳統(tǒng)的價值樹分析方法在屬性評價數(shù)據(jù)的確認過程中的缺陷和不足,通過引入可代償系數(shù),解決不同屬性間可代償性問題。提出了一種新的改進的屬性數(shù)據(jù)確認算法,并利用matlab對算法進行了實現(xiàn),給出了應(yīng)用實例。實驗證明,該算法能更有效地解決傳統(tǒng)算法中評價值不確定、屬性代償和專家意見描述不明確等問題。

對聯(lián)邦的vv&a不僅能夠使每一步的工作得到跟蹤和衡量,還使每一步能夠減少多余的工作量,鞏固需要加強的工作,明確開發(fā)人員的角色和職責(zé),從而使人力、時間、資金等資源得到更加有效率的利用,仿真的結(jié)果變得更加可預(yù)測和準確,在很大程度上減少了編程的風(fēng)險。聯(lián)邦成員描述了仿真模型的各對象類、交互類、相關(guān)的屬性、參數(shù)等信息,而聯(lián)邦是各聯(lián)邦成員的有機集成,構(gòu)成具有特定功能的仿真系統(tǒng)。因此,聯(lián)邦成員的正確性是聯(lián)邦正確性的前提,決定了仿真系統(tǒng)的成敗。在vv&a的過程中,最好采用一些自動化工具以便于工作,同時要根據(jù)具體仿真系統(tǒng)的實際情況來確定vv&a所需要作的工作。

為了確保hla仿真系統(tǒng)的可信性,在系統(tǒng)的建模與仿真全生命周期中進行vv&a研究,意義非常重大。介紹了基于仿真組件構(gòu)建的hla仿真系統(tǒng)的體系結(jié)構(gòu),從仿真組件層、聯(lián)邦成員層和仿真聯(lián)邦層三個層面展開vv&a研究,重點介紹了仿真組件層和仿真聯(lián)邦層的vv&a工作。這些研究在xxx反艦導(dǎo)彈突防聯(lián)邦得到了應(yīng)用。對基于仿真組件構(gòu)建的hla仿真系統(tǒng)進行vv&a研究,將對系統(tǒng)的開發(fā)和改進有一定的幫助,能夠在一定程度上起到提高聯(lián)邦可信度的作用。

用于武器系統(tǒng)研制的軍用仿真系統(tǒng)是武器系統(tǒng)研制輔助決策的有效工具。軍用仿真系統(tǒng)的可信性和可用性關(guān)系到武器系統(tǒng)的研制周期、使用壽命和可靠性。該文討論了系統(tǒng)仿真在武器裝備中的應(yīng)用類型、仿真過程及武器系統(tǒng)仿真中的vv＆a技術(shù)。

針對聯(lián)邦開發(fā)和執(zhí)行過程中描述現(xiàn)實世界不準確、仿真結(jié)果可信度低等不足,引入vv＆a過程,成立vv＆a小組專門負責(zé)系統(tǒng)的校驗和驗證工作,明確了聯(lián)邦開發(fā)和執(zhí)行過程改進的全生命周期,提出了"一個目標(biāo),兩條主線"的聯(lián)邦開發(fā)和執(zhí)行過程改進策略:"一個目標(biāo)"即基于模型仿真真實世界滿足用戶需求的目標(biāo);"兩條主線"即以聯(lián)邦開發(fā)人員為中心的模型建立和實現(xiàn)路線以及以vv＆a小組為主線的校驗和驗證路線,兩者同步開展工作,互相控制和制約,共同維護系統(tǒng)的準確性和可信性。

針對m&s可靠性問題,提出一種風(fēng)險/效益分析方法,用于實現(xiàn)vv&a活動選擇的最優(yōu)化,主要工作有:提出模型與仿真(m&s)的風(fēng)險與效益在特定應(yīng)用背景下可通過影響級別及其發(fā)生概率進行量化,進而確定m&s的可靠性級別;提出可靠性級別可以確保m&s的最小化風(fēng)險和最大效益,依據(jù)所要求的可靠性級別從一系列標(biāo)準化的vv&a活動中選擇出最合適的組合,以實現(xiàn)所選擇的vv&a活動的正確性并可以監(jiān)控風(fēng)險/效益的變化對vv&a需求的影響。

vv&a是風(fēng)險驅(qū)動的,fmeca是常用的風(fēng)險分析方法。將兩者進行結(jié)合,提出一種面向建模與仿真的fmeca方法——simfmeca。首先對fmeca分析表格和過程進行擴展,然后分析一般仿真系統(tǒng)的fmi(failuremodeidentification)框架,并給出風(fēng)險和危害度評定方法,由此確定所需的vv&a投入,包括vv&a等級以及必需的vv&a活動,最后給出該方法的應(yīng)用實例。simfmeca是一種定性的方法,具有花費成本低和易于實施的特點。

針對潛艇指控算法研究對綜合聲納仿真軟件的逼真度要求,采用vv&a的技術(shù)方法對軟件循序進行了校驗工作:首先對軟件按功能模塊進行功能校核;然后依據(jù)設(shè)備工作流程對聲納仿真模型進行驗證;最后構(gòu)建聯(lián)機測試系統(tǒng),輸入實測海試數(shù)據(jù)對輸出的仿真誤差和海試誤差進行統(tǒng)計分析,并在此過程中發(fā)現(xiàn)、定位和修改了一些不足之處。驗證結(jié)果證明仿真軟件滿足設(shè)備各項戰(zhàn)技指標(biāo)要求,且符合實測海試數(shù)據(jù)特性,能夠滿足潛艇指控算法研制的需求。

vv&a(verification,validationandaccreditation)是仿真建?？尚哦仍u估工作的基礎(chǔ),vv&a工作是建模仿真必不可缺的一部分。vv&a標(biāo)準化對vv&a工作的推進意義重大。介紹了國際上當(dāng)前主要的vv&a標(biāo)準化工作,包括美國國防部vv&a建議規(guī)范系列,ieee1278.4規(guī)范,thalesjp11.20revva項目,itopv&v項目,sisovv&aoverlay項目和msg-019/tg-016項目等,并對它們的vv&a角色定義、vv&a過程定義以及核心思想、方法論等方面進行了詳細的比較,最后,分析這些標(biāo)準的特點、相互關(guān)系、發(fā)展方向和對我們的借鑒意義。

為了確保復(fù)雜大系統(tǒng)仿真(lcss)的可信性,應(yīng)該在建模與仿真(m&s)的全生命周期中開展校核、驗證與確認(vv&a)研究。對lcss的vv&a進行了理論研究,提出其方法論與原則;以基于仿真組件構(gòu)建的hla仿真系統(tǒng)為例,從仿真組件層、聯(lián)邦成員層及聯(lián)邦層三個層面研究了vv&a過程,并將這些研究應(yīng)用于反艦導(dǎo)彈突防聯(lián)邦仿真中。實踐表明,研究對lcss的vv&a工作具有很好的指導(dǎo)作用,有力地保障了仿真的可信性。

在國外,尤其是美國,建模與仿真(modelingandsimulation,m＆s)及校核、驗證與確認(verification,validationandaccreditation,vv＆a)相關(guān)概念、定義和術(shù)語的研究已趨于成熟。我國目前在該領(lǐng)域的研究仍是空白。通過研究國內(nèi)外大量相關(guān)資料,深入分析了建模與仿真vv＆a概念、定義和術(shù)語研究的重要意義;根據(jù)建立定義和術(shù)語的一般原則,為部分概念撰寫定義,并賦予每個概念指稱,同時也分析了常見的一些不恰當(dāng)?shù)男g(shù)語。這不僅有助于人們對建模與仿真vv＆a概念性研究引起重視;而且也有助于人們進行建模與仿真vv＆a相關(guān)概念、定義和術(shù)語的研究。

為了對建模與仿真(modelingandsimulation,m&s)以及校核、驗證與確認(verification、validationandaccreditaion,vv&a)活動的全生命周期予以有效管理,提高建模與仿真的可信性,設(shè)計了建模與仿真及vv&a管理系統(tǒng)(modeling＆simulationandvv&amanagementsystem,msvms)。msvms以一套完備的m&s及vv&a信息管理分布式數(shù)據(jù)庫為核心,采用對m&s及vv&a開發(fā)應(yīng)用過程中各種狀態(tài)信息與事件信息記錄的方式,對m&s以及vv&a全生命周期進行管理,并具有通用性和靈活性的特點。該系統(tǒng)已經(jīng)成功用于管理某型地空導(dǎo)彈建模與仿真試驗,為整個系統(tǒng)的確認與驗收提供了有益的幫助。

在建模的過程中,數(shù)據(jù)在一定程度上決定了我們建立的模型能否真實地反映實際;因此,所用的數(shù)據(jù)是不是正確就是建模成功與否的關(guān)鍵。該文首先介紹了建模與仿真過程中數(shù)據(jù)的概念和分類;接著討論了數(shù)據(jù)校核、驗證和確認的概念,并簡要地介紹了數(shù)據(jù)校核、驗證和確認的一般過程和方法。最后,給出了數(shù)據(jù)校核、驗證和確認的一個實例。

hla作為一個新的仿真技術(shù)框架,較dis系統(tǒng)更具有靈活性、可擴充性、互操作性和可重用性,因此更適合于建立大型復(fù)雜分布交互仿真系統(tǒng),對hla系統(tǒng)的校核、驗證和確認技術(shù)對于提高仿真系統(tǒng)的置信度顯得尤為重要。介紹了hla系統(tǒng)的標(biāo)準開發(fā)過程模型fedep,討論了覆蓋于fedep上的vv&a九步過程模型,分析了vv&a活動與聯(lián)邦逼真度評估的關(guān)系。最后進行了總結(jié)

如何提高仿真系統(tǒng)的可信度，對于仿真系統(tǒng)開發(fā)者和用戶來說都是一項項十分關(guān)心的事務(wù)。vv＆a貫穿于整個仿真系統(tǒng)開發(fā)過程，它是對建模和仿真結(jié)果進行校核、驗證和確認的一種技術(shù)，vv＆a的提出為保證仿真系統(tǒng)的可信度提供了理論和技術(shù)支持，但由于仿真系統(tǒng)的復(fù)雜性和vv＆a的發(fā)展現(xiàn)狀，vv＆a過程中難免會犯各種錯誤，本文針對vv＆a中經(jīng)常出現(xiàn)的三類錯誤分析。