技術(shù)特征：

1.一種基于FRAM的工藝規(guī)程風(fēng)險(xiǎn)評(píng)價(jià)方法，其特征在于：其包括以下步驟：

S1、利用FRAM對(duì)工藝規(guī)程進(jìn)行建模：確定工藝規(guī)程的活動(dòng)子模塊，對(duì)活動(dòng)子模塊進(jìn)行變異以及變異的耦合分析，根據(jù)分析結(jié)果進(jìn)行建模；

S2、建立基于FRAM的工藝規(guī)程風(fēng)險(xiǎn)評(píng)價(jià)方法：通過(guò)模型檢測(cè)對(duì)所建模型進(jìn)行分析，得到不期望事件的發(fā)生路徑，根據(jù)路徑中變異傳播的方式識(shí)別路徑中的關(guān)鍵工藝活動(dòng)，根據(jù)關(guān)鍵工藝活動(dòng)呈現(xiàn)的變異狀態(tài)識(shí)別工藝規(guī)程中存在的相關(guān)缺陷；

S4、針對(duì)工藝規(guī)程中存在的相關(guān)缺陷提出工藝規(guī)程改進(jìn)方案：基于消除發(fā)生路徑的目的，從抑制或消除路徑中關(guān)鍵工藝活動(dòng)變異的角度提出工藝規(guī)程改進(jìn)方案；

S5、對(duì)工藝規(guī)程改進(jìn)方案進(jìn)行驗(yàn)證：計(jì)算工藝規(guī)程改進(jìn)方案的有效性Z，當(dāng)工藝規(guī)程改進(jìn)方案的有效性Z小于0時(shí)，判定為工藝規(guī)程改進(jìn)方案有效，且絕對(duì)值越大表示改進(jìn)越有效，相反則判定為改進(jìn)方案無(wú)效，工藝規(guī)程改進(jìn)方案的有效性Z的計(jì)算公式如下：

其中，A為改進(jìn)后工藝規(guī)程不期望事件的發(fā)生路徑的數(shù)量，A°為改進(jìn)前工藝規(guī)程不期望事件的發(fā)生路徑的數(shù)量。

2.根據(jù)權(quán)利要求1所述的基于FRAM的工藝規(guī)程風(fēng)險(xiǎn)評(píng)價(jià)方法，其特征在于：工藝規(guī)程改進(jìn)方案包括工藝活動(dòng)替換、工藝活動(dòng)分隔細(xì)化、進(jìn)一步全面具體化描述工藝活動(dòng)以及增加必須的工藝活動(dòng)。

3.根據(jù)權(quán)利要求1所述的基于FRAM的工藝規(guī)程風(fēng)險(xiǎn)評(píng)價(jià)方法，其特征在于：S1中利用FRAM對(duì)工藝規(guī)程進(jìn)行建模具體包括：

S11、采用有限狀態(tài)機(jī)進(jìn)行規(guī)約，得到FSM模型；

S12、用promela對(duì)以上的到的FSM模型進(jìn)行描述，得到promela模型；

S13、將得到的promela模型和約束條件輸入SPIN的界面進(jìn)行驗(yàn)證，得到多條不期望事件發(fā)生路徑。

4.根據(jù)權(quán)利要求3所述的基于FRAM的工藝規(guī)程風(fēng)險(xiǎn)評(píng)價(jià)方法，其特征在于：S13還包括對(duì)各條發(fā)生路徑進(jìn)行仿真，并識(shí)別各條發(fā)生路徑中的關(guān)鍵活動(dòng)。

5.根據(jù)權(quán)利要求3所述的基于FRAM的工藝規(guī)程風(fēng)險(xiǎn)評(píng)價(jià)方法，其特征在于：S11中有限狀態(tài)機(jī)模型表述為，F(xiàn)SM＝(Σ,F,Q,S0,Δ)，其中：

Σ是系統(tǒng)所有可能的輸入集合；F是系統(tǒng)所有可能的輸出集合；Q是系統(tǒng)所有可能的狀態(tài)集合,其中，F(xiàn)∈S；S0是系統(tǒng)所有可能的初始狀態(tài)集合，其中，S0∈S；Δ是狀態(tài)轉(zhuǎn)移函數(shù)集合，具體描述了系統(tǒng)狀態(tài)之間的轉(zhuǎn)換，Δ為Q×Σ→Q。

6.根據(jù)權(quán)利要求5所述的基于FRAM的工藝規(guī)程風(fēng)險(xiǎn)評(píng)價(jià)方法，其特征在于：FRAM中對(duì)活動(dòng)子模塊進(jìn)行描述包括輸入、輸出、前提、資源、控制及時(shí)間。

7.根據(jù)權(quán)利要求4所述的基于FRAM的工藝規(guī)程風(fēng)險(xiǎn)評(píng)價(jià)方法，其特征在于：S5還包括對(duì)改進(jìn)后工藝規(guī)程重復(fù)步驟S1-S4，識(shí)別改進(jìn)后工藝規(guī)程不期望事件發(fā)生路徑的數(shù)量。