陸 法,孫文虎,賈 鵬

(解放軍后勤學(xué)院,北京 100858)

基于SysML的模型驅(qū)動(dòng)武器裝備體系結(jié)構(gòu)設(shè)計(jì)與分析

陸 法,孫文虎,賈 鵬

(解放軍后勤學(xué)院,北京 100858)

隨著武器裝備體系規(guī)模、復(fù)雜度的不斷膨脹,模型驅(qū)動(dòng)的體系結(jié)構(gòu)設(shè)計(jì)方法成為解決復(fù)雜系統(tǒng)開發(fā)的研究熱點(diǎn)。選擇SysML(Systems Modeling Language)作為建模語言,提出了一種由三個(gè)基本步驟(能力需求分析、黑盒分析和白盒分析)組成的模型驅(qū)動(dòng)體系設(shè)計(jì)方法,探索了 SysML在體系層面建模的應(yīng)用,并針對當(dāng)前SysML建模工具在仿真可視化與系統(tǒng)分析等能力上的不足,將建模工具與仿真分析工具進(jìn)行集成,共同完成武器裝備體系結(jié)構(gòu)的設(shè)計(jì)與仿真分析。

基于模型的系統(tǒng)工程;武器裝備體系結(jié)構(gòu);模型驅(qū)動(dòng)方法;SysML

武器裝備體系結(jié)構(gòu)描述了武器裝備體系組件的結(jié)構(gòu)、組件之間的關(guān)系以及約束它們設(shè)計(jì)和發(fā)展進(jìn)的原則和指導(dǎo)方針[1]。隨著當(dāng)前體系規(guī)模、復(fù)雜度的不斷膨脹,模型驅(qū)動(dòng)的體系結(jié)構(gòu)(Model Driven Architecture)方法成為解決復(fù)雜系統(tǒng)開發(fā)和管理的突破口,是系統(tǒng)工程界廣泛研究與應(yīng)用的熱點(diǎn)[2]。MDA方法在系統(tǒng)設(shè)計(jì)的過程中將模型的構(gòu)建與分析作為工作中心,集成了包括軟件和硬件在內(nèi)的諸多領(lǐng)域模型[3],相比以文檔為中心的傳統(tǒng)方法具有更大優(yōu)勢,正逐步成為復(fù)雜系統(tǒng)設(shè)計(jì)的基礎(chǔ)[4]。

國內(nèi)外學(xué)者對模型驅(qū)動(dòng)武器裝備體系結(jié)構(gòu)設(shè)計(jì)方法的研究已經(jīng)取得一些初步成果。Piazsczyk[5]提出了一種基于DoDAF建?？蚣艿姆椒▽W(xué)；Huynh研究了SysML在武器裝備作戰(zhàn)體系建模與分析中的應(yīng)用[6]；Bienvenu嘗試?yán)肈oDAF視圖產(chǎn)品來促進(jìn)需求獲取、分析和追蹤[7]；Estefan[8]總結(jié)了當(dāng)前比較流行的模型驅(qū)動(dòng)系統(tǒng)工程方法學(xué),如 Harmony-SE方法學(xué)、基于模型的系統(tǒng)工程方法學(xué)(Vitech MBSE)等。SysML作為專門面向系統(tǒng)工程領(lǐng)域的通用建模語言,集成了結(jié)構(gòu)化分析方法和面向?qū)ο蠓椒ǖ膬?yōu)勢,目前已被多種MBSE方法(Harmony-SE[9]、RUP SE[10]等)選擇作為建模語言。但是, SysML建模工具的設(shè)計(jì)結(jié)果是對系統(tǒng)結(jié)構(gòu)的靜態(tài)描述和系統(tǒng)行為的離散狀態(tài)描述,而武器裝備體系結(jié)構(gòu)設(shè)計(jì)與分析的本質(zhì)是動(dòng)態(tài)的,需要根據(jù)使命任務(wù)和作戰(zhàn)戰(zhàn)場態(tài)勢進(jìn)行仿真可視化和系統(tǒng)分析,模型設(shè)計(jì)過程中的模型要素屬性計(jì)算、對象環(huán)境仿真則要依靠STK/MATLAB等計(jì)算仿真工具進(jìn)行。本文探索SysML語言在體系建模中的應(yīng)用,并針對當(dāng)前SysML建模工具在仿真可視化與系統(tǒng)分析等能力上的不足,將建模工具與仿真分析工具進(jìn)行集成,共同完成武器裝備體系結(jié)構(gòu)的設(shè)計(jì)與仿真分析。

1 武器裝備體系結(jié)構(gòu)建模核心要素的描述

根據(jù)對DoDAF體系的研究,體系工程活動(dòng)的核心元素描述如圖1所示,圖中各個(gè)核心要素包括:描述能力目標(biāo)、了解系統(tǒng)和系統(tǒng)元素之間的關(guān)系、評(píng)估能力目標(biāo)所需的性能、開發(fā)和進(jìn)化體系結(jié)構(gòu)、監(jiān)視和評(píng)估變化、評(píng)估需求,選擇解決方案、協(xié)調(diào)體系演化。圍繞體系外部環(huán)境需求輸入和體系結(jié)構(gòu)自身的功能需求,體系工程過程和相關(guān)活動(dòng)的各個(gè)核心要素通過不斷循環(huán)和迭代,共同完成體系結(jié)構(gòu)建模。

圖1 體系結(jié)構(gòu)建模的核心要素

武器裝備體系是一般體系的特殊化。在參考一般體系核心要素的基礎(chǔ)上,武器裝備體系結(jié)構(gòu)有獨(dú)特的建模核心要素:①需求模型。為了完成特定的使命任務(wù),武器裝備體系在不同作戰(zhàn)樣式下的作戰(zhàn)需求各不相同。為了更好對武器裝備進(jìn)行描述,應(yīng)該首先建立需求模型。②體系總體功能模型?？傮w功能模型是武器裝備體系建設(shè)的指導(dǎo)方針,是對武器裝備體系能力的總體概述。③組分系統(tǒng)結(jié)構(gòu)及其之間的關(guān)系。要對組成武器裝備體系的各分系統(tǒng)結(jié)構(gòu)進(jìn)行描述、從頂層自上而下進(jìn)行分解,分解過程重點(diǎn)描述各組分系統(tǒng)的對外接口,以說明分系統(tǒng)之間的信息共享機(jī)制。④分系統(tǒng)功能行為描述。⑤體系組分系統(tǒng)之間的信息交互、通信關(guān)系。在作戰(zhàn)過程中,武器裝備體系分系統(tǒng)之間的信息交互能力、通信可靠性等在很大程度上決定了體系的總體性能,因此,對體系組分系統(tǒng)之間的信息交換和通信的描述至關(guān)重要。

2 SysML對武器裝備體系結(jié)構(gòu)建模的支持

SysML建模支持從兩個(gè)視角對武器裝備體系結(jié)構(gòu)進(jìn)行描述:用戶視角和組分系統(tǒng)視角。用戶視角下,將得到各種用例,從而支持從不同的用戶角度對體系進(jìn)行描述。組分系統(tǒng)視角下,通過時(shí)序圖的形式來支持體系結(jié)構(gòu)的分析和優(yōu)化。SysML對系統(tǒng)的定義主要通過其結(jié)構(gòu)模型、行為模型、需求模型和參數(shù)模型來完成。其中,結(jié)構(gòu)模型側(cè)重于對系統(tǒng)的層次以及系統(tǒng)間不同對象的相互關(guān)聯(lián)關(guān)系進(jìn)行建模;行為模型主要針對基于功能的行為和基于狀態(tài)的行為進(jìn)行建模;需求模型強(qiáng)調(diào)用戶需求的層次關(guān)系、需求間的追溯關(guān)系及設(shè)計(jì)對需求的滿足情況等;參數(shù)模型主要強(qiáng)調(diào)系統(tǒng)或系統(tǒng)內(nèi)部部件間的約束關(guān)系。根據(jù)SysML各模型元素所能描述的信息,它對武器裝備體系建模核心要素的描述支持如表1所示。

表1 武器裝備體系結(jié)構(gòu)建模的SysML支持

3 基于SysML的模型驅(qū)動(dòng)武器裝備體系結(jié)構(gòu)設(shè)計(jì)

根據(jù)SysML對武器裝備體系結(jié)構(gòu)建模核心要素描述的支撐程度,探索研究基于SysML的模型驅(qū)動(dòng)武器裝備體系結(jié)構(gòu)設(shè)計(jì)方法，如圖2所示。整個(gè)流程從武器裝備體系的需求分析開始。根據(jù)武器裝備體系建設(shè)利益相關(guān)者對體系能力的期望、不同作戰(zhàn)樣式下的使命任務(wù)和作戰(zhàn)基本需求構(gòu)建需求圖,需求圖包括用戶需求文檔的輸入和將用戶需求轉(zhuǎn)換成系統(tǒng)需求,系統(tǒng)需求牽引出武器裝備體系應(yīng)具備的能力,形成武器裝備體系的整體功能用例模型及需求模型,并利用需求與模型知識(shí)庫對其進(jìn)行管理。武器裝備體系每個(gè)功能需求用一個(gè)用例進(jìn)行描述,以驅(qū)動(dòng)后續(xù)的建模流程。針對每個(gè)用例,構(gòu)建出武器裝備體系為完成用例所要進(jìn)行的活動(dòng),形成用例活動(dòng)模型。用例活動(dòng)模型描述了武器裝備體系與外部環(huán)境的信息交互,其由多個(gè)完整的活動(dòng)流程共同組成。每一個(gè)完整的活動(dòng)流程可以用黑盒時(shí)序圖表示,即對武器裝備體系進(jìn)行黑盒分析,描述武器裝備體系在作戰(zhàn)活動(dòng)中的外部行為功能,其主要確定了武器裝備體系與用戶、外部環(huán)境的接口。然后根據(jù)武器裝備體系建設(shè)需求對子系統(tǒng)進(jìn)行權(quán)衡選擇,確定武器裝備體系的組成系統(tǒng),將黑盒活動(dòng)模型中的活動(dòng)進(jìn)行分配,在活動(dòng)分配過程中定義了子系統(tǒng)之間的接口,即對武器裝備體系進(jìn)行白盒分析。白盒分析主要確定了體系內(nèi)部系統(tǒng)完成使命任務(wù)的功能行為。依次迭代,繼續(xù)對體系建模進(jìn)行更深層次的剖析,迭代的次數(shù)取決于建模粒度的大小。整個(gè)過程自上而下,依次對體系的結(jié)構(gòu)和對應(yīng)的功能模型進(jìn)行分解,最后得出滿足建模粒度的各個(gè)體系組成部分的功能模型、對外接口和組成部分之間的信息交互關(guān)系。

圖2 基于SysML的模型驅(qū)動(dòng)體系結(jié)構(gòu)設(shè)計(jì)過程

4 集成仿真分析工具對體系結(jié)構(gòu)模型進(jìn)行分析

通過SysML多視圖建?？梢缘玫届o態(tài)的武器裝備體系結(jié)構(gòu)模型,對武器裝備體系結(jié)構(gòu)的功能進(jìn)行動(dòng)態(tài)檢驗(yàn),就要將靜態(tài)的體系結(jié)模型轉(zhuǎn)換成可視化的可執(zhí)行模型。本文選擇IBM Rational Rhapsody 作為武器裝備體系結(jié)構(gòu)設(shè)計(jì)的建模工具,如圖3所示。

圖3 Rhapsody與STK模型交互

在應(yīng)用SysML描述系統(tǒng)體系結(jié)構(gòu)的基礎(chǔ)上,將 Rhapsody與STK進(jìn)行綜合集成,實(shí)現(xiàn)在Rhapsody中構(gòu)建的相關(guān)模型轉(zhuǎn)變?yōu)镾TK中的仿真模型,兩個(gè)工具的模型可互操作，并具備雙向可追溯特性,運(yùn)用STK對體系結(jié)構(gòu)模型進(jìn)行動(dòng)態(tài)功能分析、屬性量化計(jì)算和可視化仿真。

Rhapsody與STK工具綜合集成的實(shí)現(xiàn)。如下所述Rhapsody建模工具為外部程序提供了操作接口和事件回調(diào)接口,通過操作接口可以對模型進(jìn)行建立、修改、刪除等操作,通過事件回調(diào)接口可以監(jiān)控工具建模過程發(fā)生的事件。STK自帶的STK/Connect模塊可以與軟件開發(fā)平臺(tái)實(shí)現(xiàn)互聯(lián),它提供了一種使用客戶端到服務(wù)器方式連接STK的工作方式,用于給第三方的應(yīng)用程序提供一個(gè)向STK引擎發(fā)送指令和接收數(shù)據(jù)的通信路徑。為實(shí)現(xiàn)Rhapsody與STK工具綜合集成,本文以Microsoft Visual Studio 2010 作為Rhapsody和STK的互聯(lián)平臺(tái),具體步驟為:

1)在Visual Studio.NET環(huán)境中創(chuàng)建與Rhapsody關(guān)聯(lián)的自動(dòng)化腳本。創(chuàng)建自動(dòng)化腳本需要兩個(gè)組件：Rational Rhapsody COM 類型庫(rhapsody.tlb)；Rhapsody提供的一個(gè)可執(zhí)行的COM服務(wù)功能。

2)創(chuàng)建Rhapsody的數(shù)據(jù)模型和STK的數(shù)據(jù)模型。創(chuàng)建數(shù)據(jù)模型的目的是通過定義數(shù)據(jù)模型實(shí)現(xiàn)Rhapsody和STK模型元素之間的映射,通過Visual Studio.NET環(huán)境來專門處理這兩個(gè)工具之間的模型映射。

圖4 仿真分析效果圖

3)將Visual Studio 2010分別與Rhapsody和STK關(guān)聯(lián),使用TCP/IP協(xié)議來完成Rhapsody和STK兩個(gè)工具之間的進(jìn)程通信。

4)在.NET環(huán)境中嵌入STK/X。在Visual Studio.NET環(huán)境中創(chuàng)建工程文件,然后創(chuàng)建一個(gè)工具交互平臺(tái),用于添加驅(qū)動(dòng)STK/X組件。

5)上述步驟實(shí)現(xiàn)后,可在Rhapsody中嵌入功能性插件,這些插件調(diào)用第三方工具上定義的功能對模型進(jìn)行運(yùn)轉(zhuǎn),打開STK的2D/3D場景展示、分析模塊引擎等。將模型轉(zhuǎn)換完成后效果如圖4所示。

模型轉(zhuǎn)換成功后,將自動(dòng)彈出STK的2D和3D場景界面。一方面將Rhapsody模型轉(zhuǎn)換成STK場景提高了建模的真實(shí)程度,系統(tǒng)論證人員將看到作戰(zhàn)想定的實(shí)景展示;另一方面,系統(tǒng)論證人員還可以利用STK的強(qiáng)大分析功能對模型進(jìn)行進(jìn)一步的分析評(píng)估,如圖5所示,可以使用STK模型進(jìn)行AER(AzimuthRangElevation)分析。

圖5 運(yùn)用STK模型進(jìn)行AER分析

基于SysML建模語言的Rhapsody和STK的集成,使得武器裝備體系結(jié)構(gòu)論證從單一平臺(tái)或者單一論證工具發(fā)展到集成不同工具和不同模型的綜合平臺(tái)論證成為可能,對后續(xù)的體系結(jié)構(gòu)評(píng)估分析有強(qiáng)大的支撐作用:

1)模型執(zhí)行分析。有效實(shí)現(xiàn)體系結(jié)構(gòu)設(shè)計(jì)的迭代開發(fā)過程,通過基于模型的調(diào)試,開發(fā)過程中更正模型的錯(cuò)誤,有效解決了傳統(tǒng)的系統(tǒng)開發(fā)設(shè)計(jì)結(jié)束后再進(jìn)行測試帶來的重復(fù)工作。在模型構(gòu)建過程中即可對系統(tǒng)進(jìn)行可視化分析和模型邏輯準(zhǔn)確性驗(yàn)證,大大減少了系統(tǒng)后續(xù)設(shè)計(jì)的復(fù)雜度。

2)結(jié)果反饋分析。通過可執(zhí)行模型獲取分析結(jié)果,確定對武器裝備體系哪些部分進(jìn)行完善,從而進(jìn)入模型驅(qū)動(dòng)設(shè)計(jì)開發(fā)的下一個(gè)迭代過程。

3)實(shí)現(xiàn)信息化作戰(zhàn)裝備作戰(zhàn)能力與信息交互過程的三維空間展示,有效展示在信息系統(tǒng)的支持下形成的具有信息流關(guān)系的網(wǎng)絡(luò)體系,包括通信關(guān)系和指揮控制關(guān)系等。支持陸海空天一體化戰(zhàn)術(shù)聯(lián)合通信系統(tǒng)可視化仿真。實(shí)現(xiàn)空間實(shí)體的飛行任務(wù)3D視效、飛行仿真器整合等。

5 結(jié)束語

模型驅(qū)動(dòng)體系結(jié)構(gòu)設(shè)計(jì)方法有效處理了復(fù)雜系統(tǒng)設(shè)計(jì)和管理的復(fù)雜度問題,其設(shè)計(jì)成果便于重用和迭代修改,并且可以將設(shè)計(jì)結(jié)果模型轉(zhuǎn)換成可執(zhí)行仿真的分析模型,真正實(shí)現(xiàn)了設(shè)計(jì)與仿真分析的無縫連接,實(shí)現(xiàn)了體系結(jié)構(gòu)建模與系統(tǒng)工程流程的結(jié)合,將建模工具與仿真分析工具進(jìn)行集成的舉措彌補(bǔ)了SysML建模工具在仿真可視化與系統(tǒng)分析等能力上的缺陷,大大提高了模型設(shè)計(jì)的健壯性。

[1] DoD Architecture Framework Working Group.DoD architecture framework version 2.0[R]U.S:Department of Defense,2009.

[2] 楊克巍.體系需求工程技術(shù)與方法[M]. 北京：科學(xué)出版社,2011.

[3] Fisher J. Model-based Systems Engineering: A New Paradigm[J]. INCOSE Insight, 1998, 1(3): 3-16.

[4] Ober,I.More Meaningful UML Models.Technology of Object-Oriented Languages and Systems Proceedings[C]. 37th International Conference on,20-23 Nov.2000:146-157.

[5] Piaszczyk C. Model Based Systems Engineering with Department of Defense Architectural Framework[J]. Systems Engineering.2011,14(3):305-326.

[6] Huynh T V, Osmundson J S. A System Engineering Methodology for Analyzing System of Systems Using the Systems Modeling Language (SysML)[R]. Naval Postgraduate School,2007.

[7] Bienvenu M P, Goodwin K A. The DoD AF views as requirements vehicles in an MDA systems development process[C]. Proc. of 2004 Command and Control Research and Technology Symposium.

[8] Estefan A.J. Survey of Model-based Systems Engineering(MBSE) Methodologies[R]. Seattle: INCOSE MBSE Focus Group, 2008.

[9] Hoffman H P. Harmony/SE: A SysML Based Systems Engineering Process[C].Proc. of Innovation 2008: Telelogic User Group Conference, 2008.

[10]Friedenthal S, Moore A, Steiner R. A Practical Guide to SysML: Systems Modeling Language, Second Edition[M]. San Francisco, CA: Morgan Kaufmann OMG Press, 2012.

[11]吳娟, 王明哲, 方華京. 基于SysML 的系統(tǒng)體系結(jié)構(gòu)產(chǎn)品設(shè)計(jì)[J]. 系統(tǒng)工程與電子技術(shù),2000, 28(4): 594-598.

[12]陳洪輝. 基于多視圖的C4ISR系統(tǒng)需求一致性驗(yàn)證方法研究[D]. 長沙: 國防科技大學(xué), 2007.

Model Driven Weapon System-of-Systems Architecture Design and Analysis Based on SysML

LU Fa， SUN Wen-hu, JIA Peng

(Logistic College of PLA, Beijing 100858, China)

With increase of scale and complexity of Weapon System-of-Systems, model driven architecture design method has become a research hotspot of complex system development. This paper uses systems modeling language (SysML) and proposes a model driven architecture design method composed of capability requirement analysis, black-box analysis and white-box analysis. The application of SysML in architecture modeling is presented. Because the SysML tool is insufficient in simulation visualization and system analysis, the modeling tool is integrated with the simulation analysis tool in design and simulation analysis of weapon equipment architecture.

model based system engineering; Weapon System-of-Systems Architecture; model driven method; SysML

2016-10-09

陸 法(1989-),男，廣西來后人，碩士，講師，研究方向?yàn)轶w系結(jié)構(gòu)。 孫文虎(1973-),男，副教授。 賈 鵬(1981-)，女，博士，講師。

1673-3819(2017)01-0044-04

E917

A

10.3969/j.issn.1673-3819.2017.01.010

修回日期： 2016-11-14