基于多視圖建模的武器裝備系統(tǒng)安全性分析

聶兆偉，陳志偉，馬曉東，徐誠

（1. 南京理工大學 機械學院，江蘇，南京 210094；2. 中國運載火箭技術研究院，北京 100076；3. 西北工業(yè)大學 無人系統(tǒng)技術研究院，陜西，西安 710072）

未來戰(zhàn)爭充斥著高新技術裝備間的全面抗衡.戰(zhàn)爭涉及的作戰(zhàn)地域、作戰(zhàn)時域、作戰(zhàn)樣式、作戰(zhàn)原則、作戰(zhàn)方法、作戰(zhàn)環(huán)境將具有極大的不確定性. 而武器裝備系統(tǒng)是一個包括典型裝備、人員、工具、備件等資源以及維修、供應、儲存、訓練、戰(zhàn)備等活動的復雜系統(tǒng)，其危險物質密集、人機交互復雜，在任務過程中給作戰(zhàn)人員帶來了極大的安全隱患[1-4]. 武器裝備系統(tǒng)的任務剖面環(huán)節(jié)多，耦合關系復雜，任務形式多樣，實戰(zhàn)化需求高，傳統(tǒng)的以任務框圖法表示的任務剖面模型已無法滿足現(xiàn)代化、實戰(zhàn)化的作戰(zhàn)需求. 為了評估和提升武器裝備的安全性，必須對裝備的作戰(zhàn)任務剖面進行有效建模.

多視圖建模從不同角度對系統(tǒng)或剖面進行描述，它是復雜系統(tǒng)建模的典型策略之一，可很好描述系統(tǒng)中各方面的信息及其關聯(lián). 目前，應用多視圖理論是對體系結構和任務過程進行建模的典型方法[5-6]，最早是在第四屆軟件工程國際會議中由Mullery 提出并應用于軟件系統(tǒng)的需求分析當中. 包括Zachman 和美國國防部體系結構框架（department of defense architecture framework，DoDAF）等眾多體系結構框架都是以多視圖作為其核心的方法論[7-8]. STOLZ[9]利用多視圖建模方法在軟件領域提出了一個潛在的可重排序模型轉換的概念，它可以幫助開發(fā)人員完成設計過程，并跟蹤不同建模步驟的語義依賴性.LAMSWEERDE[10]為模型驅動的工程構建工程多視圖模型，模型集成了正在開發(fā)系統(tǒng)的目標、結構、功能和行為. 曹哲豪等[11]應用多視圖建模方法，建立艦船裝備保障系統(tǒng)的裝備、資源、組織、過程、任務5類視圖，然后分析各個視圖之間的邏輯與關聯(lián)關系，最后研究實現(xiàn)對艦船裝備保障系統(tǒng)進行分析與優(yōu)化.周永華等[12]根據(jù)智能交通系統(tǒng)的設計需求利用Rational Rose 軟件建立組織、功能、過程、信息和資源5 種視圖模型支持智能交通系統(tǒng)設計. 多視圖建模通過不同視角的描述來構建對流程的認識，即建立一組子模型或視圖模型，并建立各模型之間的關聯(lián)，實現(xiàn)模型的一體化，這樣才能對作業(yè)流程的功能、組成、結構，以及流程運行中資源（包括信息資源）的交互、影響和約束提供整體全面的認識. 在此基礎上，可對作業(yè)流程進行危險分析、結果驗證和評估，為流程的安全風險評價、設計改進可提供理論基礎和指導.

統(tǒng)一形式化系統(tǒng)建模語言（systems modeling language，SysML）是一種采用多視圖面向對象思想的建模，具有直觀、無歧義、模塊化、可重用等優(yōu)點，適用于復雜系統(tǒng)的安全性分析的建模[13]. SysML 包括了一些可以相互組合為圖表的圖形元素，每一種圖就代表了一個模型要素，提供這些圖的目的是用多個視圖來展示一個系統(tǒng)[14-15]. 雖然人們已經進行了成熟的基于利用統(tǒng)一建模語言（unified modeling language，UML）和傳統(tǒng)安全性分析方法相結合的相關研究，但大都集中在軟件系統(tǒng)方面，面對硬件結構和軟件結構更加復雜的系統(tǒng)UML 就不太適用，SysML 為面向基于模型的安全性建模及分析提供了便利[2,13-14].張學波等[15]采用SysML 及其建模工具從任務角度對TacSat-3 系統(tǒng)進行建模與仿真，體現(xiàn)了系統(tǒng)任務行為的可視化. 崔乃剛等[16]提出了以模型為中心的系統(tǒng)工程分析方法，通過SysML 建模、參數(shù)圖表示、分析模型生成、需求建模及仿真等過程分析了空射彈道導彈控制系統(tǒng)的過程集成與設計優(yōu)化框架. 陳洪輝等[17]應用SysML 對C4ISR 對系統(tǒng)的組成、接口與通信關系、系統(tǒng)功能、狀態(tài)轉移以及事件跟蹤進行了描述，詳細分析了基于SysML 的C4ISR 系統(tǒng)建模過程. 周山山[14]建立了基于SysML 的事故過程建模，并結合HAZOP 以飛行控制系統(tǒng)為例進行了安全性分析. WANG 等[18]通過轉換規(guī)則將半形式化模型SysML 轉化為新的符號模型檢查器或驗證器，實現(xiàn)了將模型檢查與SysML 相結合的方法來分析復雜系統(tǒng)的安全性. HU 等[19]提出了一個面向SysML 的系統(tǒng)設計與安全分析的框架和原型工具，并實現(xiàn)了SysML 設計模型與AltaRica 分析模型之間的映射規(guī)則. KRISHNAN 等[20]利用基于模型的系統(tǒng)工程方法將整個系統(tǒng)設計與安全生命周期進行結合，通過將系統(tǒng)設計和安全數(shù)據(jù)捕獲在單一的SysML 模型中，從而自動生成諸如故障模式和影響分析（FMEA）和故障樹等安全性文件. 該框架不需要模型轉換來確保系統(tǒng)設計和安全分析之間的一致性，從而減少了安全分析所需的資源. SysML 通常是形式化建模語言的一種手段，其本身不提供有關正確性保證的證據(jù)，但現(xiàn)階段針對SysML 的安全性分析大多利用有限狀態(tài)機實現(xiàn)定性分析，發(fā)現(xiàn)耦合危險因素. 基于SysML 的安全性分析在一定程度上是對實體系統(tǒng)試驗驗證的補充，通過仿真試驗更多起到的是摸底作用，可以和其他安全性分析手段互為補充和驗證支撐.

綜上所述，現(xiàn)階段對基于SysML 的系統(tǒng)安全性分析的研究較為側重產品或系統(tǒng)本身，而缺乏對任務過程和人機交互過程中的安全性分析. 本文針對武器裝備任務過程與人機交互過程中，任務剖面難以全面描述和安全性問題分析不夠全面等問題，開展基于多視圖的武器裝備剖面建模方法研究，提出基于多視圖的任務剖面建模與安全性分析技術，從不同角度對武器裝備復雜任務剖面進行更加完整的描述，并利用統(tǒng)一化的建模語言消除各領域的歧義.然后，利用基于SysML 的多視圖模型對武器裝備系統(tǒng)人機環(huán)交互過程的安全性進行分析，為評估和提升武器裝備的安全性和戰(zhàn)備完好性等提供技術支撐.

1 武器裝備多視圖任務剖面建模

現(xiàn)代戰(zhàn)爭中，隨著偵察技術的發(fā)展和各種精確打擊武器的出現(xiàn)，武器裝備系統(tǒng)的生存能力受到嚴重威脅. 為提高武器裝備系統(tǒng)的生存能力、快速反應能力，優(yōu)化作戰(zhàn)系統(tǒng)結構，縮短任務平均完成時間，提高作戰(zhàn)效率與效能，就必須分析、優(yōu)化武器裝備系統(tǒng)的任務剖面. 然而，現(xiàn)有的任務剖面建模通常以流程圖或示意圖的形式表示，沒有統(tǒng)一的形式與建模標準，缺乏對裝備體系結構與任務過程的統(tǒng)一形式化建模方法. 同時，武器裝備體系結構巨大、耦合關系復雜，對體系結構難以分解和解耦，作戰(zhàn)任務過程涌現(xiàn)性難以預測. 如圖1 所示為某型導彈典型任務剖面明細圖，各利益攸關方無法從該任務剖面中及時有效地獲取所需信息，且該剖面無法涵蓋任務中的各個實體屬性，如人員和設備的交互信息等. 同時，框圖法構建的任務剖面也無法支撐后續(xù)對作戰(zhàn)任務的仿真與安全性分析等工作.

圖1 陸基導彈典型任務剖面示意圖Fig. 1 Mission profile of land-based missile

基于多視圖的裝備安全性分析在一定程度上是對實體武器裝備開展相關安全性試驗驗證的一種有效補充，通常情況下可以利用模型檢查等方法實現(xiàn)安全性的定量仿真，本文主要針對導彈發(fā)射過程中的人機耦合作用安全性分析，采用的是定性的分析手段，旨在發(fā)現(xiàn)導彈發(fā)射任務過程中的耦合危險因素，采用多視圖思想，并利用SysML 建模可以一定程度上保證分析的完備性和歧義性問題，保證各個利益攸關方可以利用統(tǒng)一的建模語言對導彈發(fā)射任務過程的安全性進行分析.

1.1 多視圖武器裝備系統(tǒng)模型

多視圖模型是對復雜裝備系統(tǒng)在任務過程中任務過程的描述，從過程、功能、組織、資源和信息等方面分別展開，建立對任務過程的多維一體的清晰認識. 因此，本節(jié)建立一種基于多視圖的武器裝備系統(tǒng)任務剖面建模方法，全面有效地對實戰(zhàn)任務剖面下的各方面信息進行梳理，實現(xiàn)對實戰(zhàn)條件下武器裝備系統(tǒng)復雜任務剖面的建模，增強建模的全面性.

由于武器裝備任務過程自身的復雜性決定了對其描述和分析的復雜性，難以通過系統(tǒng)的單個方式的單個模型來建立，必須對應過程視圖的概念，通過不同視角的描述來構建對流程的認識，即建立一組子模型或視圖模型，并建立各模型之間的關聯(lián)，實現(xiàn)模型的一體化. 這樣才能對任務過程的功能、組成、結構，以及流程運行中信息與資源的交互、影響和約束提供整體全面的認識. 在此基礎上可對任務過程進行安全性分析、運行演示、結果驗證和評估，為流程的安全風險分析、設計改進提供理論基礎和指導.

本文以過程視圖為核心，以功能視圖、組織視圖、信息視圖、資源視圖和時序邏輯視圖為補充，從裝備系統(tǒng)組成、任務流程、維修保障等多個維度描述裝備的作戰(zhàn)使用任務剖面，形成適用于武器裝備系統(tǒng)的任務剖面建模方法. 根據(jù)多視圖任務剖面模型概念，該模型由一組子模型組成，包括過程視圖模型、功能視圖、組織視圖、信息視圖和資源視圖等，過程視圖是由任務過程的事件和活動構成，組織視圖是由人員及其組織結構構成，資源視圖是由任務過程中所需設備構成，包括作戰(zhàn)和維修保障資源. 由于任務剖面是對武器裝備任務過程的時序描述，時序邏輯視圖用以描述任務過程中事件和資源的時序關系.

該多視圖任務剖面模型可形式化以9 元組表示

式中：E為任務過程的組成事件（活動），可由過程視圖分解得到；TL為事件（活動）之間的時序邏輯視圖關系；I為任務過程中的信息傳遞與交互；M-E為任務過程硬件設備與事件（活動）的關系；M-I為任務過程硬件設備與信息的關系；P-E為任務過程人員與事件（活動）的關系；P-I為任務過程人員與信息的關系；P-M為任務過程人員與硬件設備的關系；E-Er為事件（活動）與自然或人工環(huán)境的關系.

1.2 視圖模型關系

為了適應分析任務過程的人、機、環(huán)各因素之間耦合關系的需要，還包括設備-事件視圖模型、設備-信息視圖模型、人員-事件視圖模型、人員-信息視圖模型、人員-設備視圖模型和事件-環(huán)境視圖模型. 每個子模型完成流程某個局部特征和側面的描述，不同的視圖之間相互補充，按照一定的約束和連接關系，組成在一起構成整個流程模型，具體分解視圖如圖2 所示.

圖2 多視圖流程模型示意圖Fig. 2 Multi-view process model

不同視圖間的邏輯關聯(lián)是多視圖流程模型所固有的，視圖之間的關聯(lián)分為強關聯(lián)（用實線表示）和弱關聯(lián)（用虛線表示），如圖3 所示.

圖3 任務過程中各視圖之間的關系Fig. 3 The relationship between the different views

事件視圖表示組成任務過程的事件或者活動，可以梳理任務過程中發(fā)生事件的隸屬關系. 同時，時序邏輯視圖可以梳理事件和活動的發(fā)生次序與邏輯關系. 任務過程中信息的產生與傳遞在時序邏輯視圖中以事件或活動的狀態(tài)改變來表示，信息視圖也可以專門表示人員與人員和人員與設備之間的信息交互. 各個視圖之間具有的耦合關系可以形成新的耦合關系視圖可以用于人、機、環(huán)耦合的安全性分析.

2 基于SysML 的裝備任務剖面建模

SysML 針對系統(tǒng)工程領域的需求和特點，為系統(tǒng)的描述提供了多視角的可視化圖形，它綜合了面向對象方法和面向過程方法在系統(tǒng)設計中的優(yōu)點，提高了建模的正確性，減少了描述的二義性，增強了模型的可讀性. SysML 的圖形主要包括三大部分：行為圖、結構圖和需求圖. 其中，行為圖用來描述系統(tǒng)對象的動態(tài)行為結構；結構圖用來描述系統(tǒng)對象的靜態(tài)結構；需求圖是交叉結構的一種，它既可以用來描述靜態(tài)結構，也可以用來描述動態(tài)行為. SysML 所構建模型的功能/物理結構更加貼近于真實的系統(tǒng)，能夠從需求到性能、從靜態(tài)結構到動態(tài)行為等多種角度來開展安全分析工作.

現(xiàn)有武器裝備任務剖面未充分考慮人機環(huán)耦合關系，導致任務剖面層次分解不夠細化，模型構建過于寬泛或者單一，缺乏較為完整、統(tǒng)一的武器裝備系統(tǒng)任務剖面的建模描述方法. SysML 是一種功能強大、應用廣泛的形式化標準建模語言，對武器裝備體系任務剖面建模有著良好的適用性，也可以支持任務過程的安全性分析. 本節(jié)給出基于SysML 的武器裝備任務剖面建模的實施流程如圖4 所示. 首先，進行武器系統(tǒng)組成識別，任務過程、組織結構分解和時序邏輯分解，然后利用分解結果和統(tǒng)一形式化建模語言SysML 中的結構圖、狀態(tài)圖、活動圖和順序圖等進行多視圖描述. 其中，功能視圖和資源視圖可用結構圖描述，過程視圖可用活動圖描述，組織視圖可用狀態(tài)圖和活動圖描述，信息和時序邏輯視圖可用順序圖描述等，最終形成基于SysML 的任務剖面模型.

圖4 基于SysML 的武器裝備任務剖面建模流程Fig. 4 Modeling process of weapon mission profile based on SysML

本文以某陸基導彈武器系統(tǒng)發(fā)射過程為例進行基于SysML 的多視圖任務剖面建模. 發(fā)射系統(tǒng)涉及發(fā)射車、導彈、保障系統(tǒng)和若干操作人員. 導彈發(fā)射過程復雜，涉及因素較多，包括設備部分：如發(fā)射車、導彈、保障系統(tǒng)等；人員：駕駛員、操作員、指揮官等；環(huán)境：風、雨、大霧、沙塵、雷電等. 本節(jié)基于多視圖建模思想，確定所需描述武器裝備系統(tǒng)作戰(zhàn)任務所需的功能、資源、過程、信息等多視圖模型，然后選取適當?shù)腟ysML 圖對武器裝備組成的功能、資源、過程等視圖進行描述，從而消除了不同方法在對武器裝備任務過程描述及屬于上的差異，避免了符號表示于利益攸關方在理解上的混亂. 導彈的SysML建模實施方式如下.

2.1 導彈塊定義圖和結構圖建模

導彈包含的危險源主要為：發(fā)動機、彈射動力裝置和火工品. 這些導彈的狀態(tài)本身包含的危險源可通過SysML 中的塊定義圖（block definition diagram，BDD）表現(xiàn)出來，塊定義圖分析導彈使用過程所涉及到的各類因素，包括人員、外部設備和導彈內部危險源等，明確各因素之間的層次關系和隸屬關系，以及各因素的特有屬性. 在此基礎上，用例圖（use case，UC）可以建立起人員、設備和設備執(zhí)行的任務的橋梁.

陸基導彈發(fā)射過程結構視圖示例如圖5、圖6所示.

圖5 陸基導彈發(fā)射過程塊定義圖Fig. 5 Block definition diagram of missile launching

圖6 發(fā)射階段行為過程活動結構圖Fig. 6 Structure diagram of missile launching behavior

2.2 導彈狀態(tài)圖建模

在陸基導彈發(fā)射過程中，體現(xiàn)了復雜的人-機-環(huán)的耦合關系，發(fā)射指揮官根據(jù)陸基導彈及發(fā)射車狀態(tài)給操作員提出具體的發(fā)射指令. 操作員在指令以及發(fā)射控制系統(tǒng)的指示下，通過指控系統(tǒng)控制導彈突防信息和戰(zhàn)斗部參數(shù)等，同時陸基導彈的實時的狀態(tài)又要反饋到指揮官，形成閉環(huán).

陸基導彈發(fā)射的狀態(tài)圖如圖7 所示.

圖7 陸基導彈發(fā)射過程狀態(tài)圖Fig. 7 State diagram of land-based missile launching

陸基導彈測試系統(tǒng)狀態(tài)圖示例如圖8 所示.

圖8 導彈測試系統(tǒng)狀態(tài)圖Fig. 8 State diagram of missile test system

操作員狀態(tài)圖示例如圖9 所示.

圖9 操作員狀態(tài)圖Fig. 9 State diagram of operator

2.3 導彈活動圖建模

在對導彈發(fā)射過程進行描述分析的基礎上，基于SysML 的活動圖開展過程邏輯建模，明確關鍵活動之間的輸入輸出邏輯關系. 基于SysML 中的活動圖，在過程分解結構的基礎上，分析各行為單元之間的因果邏輯關系，具體描述行為過程中各基本行為單元的邏輯序列，行為單元之間的輸入輸出關系，建立行為過程的動態(tài)描述.

操作員的活動圖示例如圖10 所示.

圖10 操作員活動圖Fig. 10 Activity diagram of operator

導彈活動圖示例如圖11 所示.

圖11 車載導彈活動圖Fig. 11 Activity diagram of vehicular missile

2.4 導彈順序圖建模

基于SysML 的順序圖，在過程分解結構的基礎上，針對行為過程中的各類因素之間的信息及控制的傳遞關系，進行時序邏輯描述. 對行為過程中的輸入和輸出信息對象的關系以及時間上的邏輯關系進行描述，包括信息對象的屬性及其操作、繼承和關聯(lián)關系；以及信息傳遞、行為操作在時間上的先后、交互關系等. 在對陸基導彈任務過程進行描述分析的基礎上，基于SysML 的順序圖開展時序建模，明確關鍵發(fā)射車、導彈、操作與指揮人員以及保障系統(tǒng)等各對象之間交互的時序關系以及信息傳遞關系，如圖12 所示.

圖12 陸基導彈發(fā)射過程時序關系圖Fig. 12 Process sequence diagram of land-based missile launching

3 基于SysML 的裝備安全性分析

基于SysML 的多視圖建模，一般包括以下過程：首先開展武器裝備系統(tǒng)行為過程分析，在明確系統(tǒng)行為過程所涉及的實體屬性的基礎上，開展人員、設備、環(huán)境單因素危險分析，進而開展人、機、環(huán)耦合的安全性分析；然后，結合行為過程時序邏輯與因果邏輯關系建立過程模型，進而分析導致事故發(fā)生的因素及因素組合，具體如圖13 所示.

圖13 武器裝備系統(tǒng)任務過程風險分析Fig. 13 Risk analysis of weapon mission process

人、機、環(huán)耦合關系分析主要用于分析武器裝備任務過程中與人員和環(huán)境交互過程的時序關系和因果邏輯，為了描述與分析人、機、環(huán)實體間的耦合關聯(lián)關系，利用設備-事件視圖模型、設備-信息視圖模型、人員-事件視圖模型、人員-信息視圖模型、人員-設備視圖模型和事件-環(huán)境視圖模型進行詳細地描述和耦合危險分析，從而實現(xiàn)導彈武器發(fā)射過程的風險分析. 本文提出的耦合風險分析過程，首先，利用塊定義圖和結果圖對通過對人、機、環(huán)耦合關系進行確定. 然后，識別其中的耦合危險因素，并識別出耦合危險的原因、涉及的能量和危險物質. 最后，確定耦合危險后果的嚴重性等級，從而形成基于SysML 的導彈發(fā)射過程安全性分析表，指導設計人員對耦合危險進行設計改進，從而提高武器裝備的安全性設計水平. 由于論文篇幅限制，本文以陸基導彈武器系統(tǒng)發(fā)射過程為典型研究對象，針對人員-事件視圖（P-Emod）和人員-設備視圖（P-Mmod）進行安全性分析過程說明.

3.1 人員-事件視圖（P-E mod）的耦合危險分析

設備-事件視圖的耦合關系主要有以下兩類：

①CP-E1：同一事件涉及多個人員. 識別方式：對人員-事件關系視圖進行橫向掃描. 例如，導彈發(fā)射準備這一事件需要指揮員和操作員協(xié)調配合完成.

②CP-E2：同一人員涉及多個事件. 識別方式：對人員-事件關系視圖進行縱向掃描. 例如，操作員既需要進行起豎下放導彈，又需要執(zhí)行發(fā)射前的綜合檢查等，該類事件需要明確其時序的先后關系.

通過對導彈SysML 圖分析得出導彈發(fā)射過程人員-事件視圖的耦合危險分析如表1 所示.

表1 導彈發(fā)射人員-事件的耦合危險Tab. 1 Risk analysis of missile operator-event coupling

3.2 人員-設備視圖（P-M mod）的耦合危險分析

導彈發(fā)射過程人員-設備視圖的耦合有以下三類：

①CP-M1：人機耦合，即人員對設備的操縱，設備對人員的響應.

②CP-M2：同一設備涉及多個人員.

③CP-M3：同一人員涉及多個設備.

通過對導彈SysML 圖分析得出導彈發(fā)射過程中的操作員和發(fā)射車的耦合危險如表2 所示.

表2 導彈發(fā)射過程人員-設備耦合危險識別Tab. 2 Operator-weapon coupling hazard identification in missile launching

同理，對導彈武器系統(tǒng)SysML 的結構圖、狀態(tài)圖、活動圖和順序圖進行分析，可以按照上述耦合關系識別、耦合危險識別、耦合危險原因分析的過程對事件視圖（E）、信息視圖（I）、時序邏輯視圖（TL）及補充視圖M-E，M-I，P-E，P-I，P-M和E-Er進行分析.

綜合上述9 類視圖，以導彈武器系統(tǒng)的I、II 類危險源識別結果為輸入，識別{E, TL, I, M-E, M-I, P-E,P-I, P-M, E-Er}9 類視圖中實體或耦合環(huán)節(jié)可能造成的危險源失控的后果和影響，具體結果如表3 所示.根據(jù)分析得到，由于人、機、環(huán)耦合錯誤或缺失導致無法形成合作會導致的耦合危險后果為任務失敗，而形成錯誤的合作則可能導致任務失敗或彈毀人亡.因此，在安全性設計的時候尤其要注重導致合作錯誤的人、機、環(huán)耦合危險因素.

表3 基于SysML 的導彈發(fā)射過程安全性分析表Tab. 3 Safety analysis table of missile launching based on SysML

4 結 論

本文針對武器裝備系統(tǒng)行為過程的時空性、層次性、結構性以及實體性等特性，通過不同的視角對武器裝備的任務過程進行描述，從而對不同作業(yè)過程的功能、結構、活動，以及作業(yè)過程中資源（包括信息資源）的交互、狀態(tài)和約束形成整體、全面的認識. 然后，提出了基于多視圖的武器裝備系統(tǒng)任務剖面建模方法，利用統(tǒng)一形式化建模語言SysML 對多視圖模型進行描述進而實現(xiàn)對武器裝備任務過程整體的描述，即建立一組子模型或圖模型，并建立各模型之間的關聯(lián)，實現(xiàn)模型的一體化，從而全面有效地對實戰(zhàn)任務剖面下的各方面信息進行全面梳理，實現(xiàn)對戰(zhàn)條件下的武器裝備任務剖面建模，從而保證建模的全面性和完整性. 最后，以某型陸基導彈武器系統(tǒng)為例，根據(jù)SysML 中的結構圖、狀態(tài)圖等，對導彈發(fā)射過程中人員、發(fā)射車等實體耦合的安全性進行分析，并驗證了提出方法的可行性與適用性，為武器裝備安全性與作戰(zhàn)效能提升提供技術支持.