方向明

摘 要：現(xiàn)在有很多電力生產(chǎn)的管理系統(tǒng)存在著不能如期完成實施、隱形不穩(wěn)定和功能可用性不強等可信問題、那么如何讓電力生產(chǎn)管理系統(tǒng)達到，可信、分級、可信證據(jù)度量和獲取證明等，如何在規(guī)則指導(dǎo)下進行可信構(gòu)造的方法，如何在電力生產(chǎn)管理系統(tǒng)的發(fā)展中加大系統(tǒng)可信性研究的重要性，本文將以上全部講解另外支出可信構(gòu)造方法對于提高電力生產(chǎn)管理系統(tǒng)的效率與可信分析及升級演化建立堅實的基礎(chǔ)。

關(guān)鍵詞：系統(tǒng)管理的分析；可信構(gòu)造分析

一、可信構(gòu)造的工作方法

首先我們先建立可信分析的邏輯性框架，可信分析主要包括可信評估和可信證明這兩個部分，可根據(jù)可心評估和可信證明的結(jié)果生成的最終報告對系統(tǒng)給出相應(yīng)的可信分析結(jié)論。在我們對系統(tǒng)進行可信分析之前，應(yīng)該先根據(jù)系統(tǒng)的應(yīng)用需求確定可信的屬性模型，也就是實際應(yīng)用中關(guān)注的系統(tǒng)的可信屬性的集合，然后我們才可以進行下一步可心分析。電力行業(yè)所關(guān)注的可信屬性一般都是：可用、可靠、安全、可維護、可生存、使用性等等，特別針對系統(tǒng)不同的應(yīng)用環(huán)境和應(yīng)用需求，以及電力生產(chǎn)的不同時期，我們所關(guān)注的可信屬性及關(guān)注程度也是各有不同的，因此我們首先要充分的去分析系統(tǒng)的應(yīng)用環(huán)境和需求，然后在提取對各類可信屬性的要求等，在定義可信屬性的模型。

我們先說一下工作模式，電力生產(chǎn)管理系統(tǒng)的可信構(gòu)造是源于可新技術(shù)的基礎(chǔ)支持平臺之上導(dǎo)致的，如今基礎(chǔ)支持平臺里還包括了支持可信構(gòu)造的各種技術(shù)和已經(jīng)通過研究的結(jié)果，比如說：數(shù)據(jù)的處理方法、流程的管理方法、模型驅(qū)動的方法。構(gòu)件服務(wù)技術(shù)、過程管理的方法、可信保障、形式化等等。所謂著重平臺也是為了我們構(gòu)造可信的電力生產(chǎn)管理系統(tǒng)最基本的大力支持，而我們電力資源庫里所包含的各類資源例如：電力資源的各種模型、與系統(tǒng)有關(guān)的各種文檔、對于資源的維護和可信評估等等，還有一點就是如果我們的系統(tǒng)主要輔助領(lǐng)導(dǎo)進行數(shù)據(jù)的統(tǒng)計分析和趨勢的預(yù)測，則易用性和穩(wěn)定性更加重要一些，所以我們要首先充分的分析系統(tǒng)環(huán)境和需求，然后提取對各類可信屬性的具體要求，在定義可信屬性的模型，這可以導(dǎo)致我們對系統(tǒng)可信性的進一步分析。

二、可信分析

首先建立可信分析的邏輯架構(gòu)，可信分析主要包括可信評估和可信證明兩個部分，根據(jù)可信評估和可信證明的結(jié)果能夠生成最終的可信分析報告，對系統(tǒng)可信性給出分析結(jié)論。

2.1 可信屬性

對系統(tǒng)進行可信分析之前，需要根據(jù)系統(tǒng)的應(yīng)用需求確定可信屬性模型，即實際應(yīng)用中關(guān)注的系統(tǒng)的可信屬性的集合，然后才能進行進一步的可信分析.電力行業(yè)關(guān)注的可信屬性一般包括：可用性、可靠性、安全性、可維護性、可生存性、實時性等等，針對系統(tǒng)不同的應(yīng)用環(huán)境和應(yīng)用需求，以及電力生產(chǎn)的不同時期，所關(guān)注的可信屬性及關(guān)注程度也各不相同，因此，我們首先要充分分析系統(tǒng)的應(yīng)用環(huán)境和需求，提取對各類可信屬性的具體要求，定義可信屬性模型。

2.2 可信分級

結(jié)合電力行業(yè)特點，將可信級別定義為從低到高的五個級別：不可信級、可用級、實用級、標準級、證明級.對于不能夠進行可信分析或者未通過可信分析的資源，定義為不可信資源；通過基本的可信分析，軟件基本達到預(yù)期的功能，定義為可用級；通過可信分析，并已經(jīng)處于實際運行狀態(tài)，有實際的應(yīng)用示范工程，運行效果良好，定義為實用級；不僅通過可信分析并有成功的應(yīng)用示范工程，而且通過權(quán)威的標準化組織的認證，成為一定范圍（如行業(yè)、國家或者國際）內(nèi)的規(guī)范標準，定義為標準級；資源不僅通過可信分析，而且能夠使用形式化工具進行證明，定義為證明級。顯然，證明級是可信分級中的最高級別，但是，實際應(yīng)用中，資源可信性的完全證明一般是比較困難的。

2.3 可信證據(jù)度量和獲取軟件

可信性就是指軟件對于各個可信屬性的滿足程度，下面結(jié)合電力行業(yè)的實際應(yīng)用，按照四個層次舉例說明如何對可信屬性進行度量并獲取相關(guān)的證據(jù)，可信證據(jù)的提取可能使用一些測試工具進行客觀的評估，也可能需要使用調(diào)查表格來獲取用戶評價等一些主觀的證據(jù)。

2.3.1實現(xiàn)層。

這里主要對實現(xiàn)層的證據(jù)進行度量和獲取，實現(xiàn)層主要是指系統(tǒng)底層的實現(xiàn)代碼、模型和文檔等等，例如：對于系統(tǒng)代碼正確性的度量，我們可以使用一些工具對代碼是否存在bug、死鎖和內(nèi)存泄露等問題進行檢查，提取代碼的正確性證據(jù)；對于代碼規(guī)范性的度量，我們也可以使用一些工具對代碼的是否按照標準縮進、是否按照標準命名、是否添加注釋等問題進行檢查，提取代碼的規(guī)范性證據(jù)。

2.3.2功能層。

這里主要對功能層的證據(jù)進行度量和獲取，功能層的含義是指資源是否能夠達到預(yù)期的目標，滿足用戶的功能；也可以通過計算可測試的功能比率，來度量和提取功能的可評估性證據(jù)。

三、可信證據(jù)度量和獲取

3.1 實現(xiàn)層

這里主要對實現(xiàn)層的證據(jù)進行度量和獲取，實現(xiàn)層主要是指系統(tǒng)底層的實現(xiàn)代碼、模型和文檔等等，例如：對于系統(tǒng)代碼正確性的度量，我們可以使用一些工具對代碼是否存在bug、死鎖和內(nèi)存泄露等問題進行檢查，提取代碼的正確性證據(jù)；對于代碼規(guī)范性的度量，我們也可以使用一些工具對代碼的是否按照標準縮進、是否按照標準命名、是否添加注釋等問題進行檢查，提取代碼的規(guī)范性證據(jù)。

3.2 功能層

這里主要對功能層的證據(jù)進行度量和獲取，功能層的含義是指資源是否能夠達到預(yù)期的目標，滿足用戶的功能：也可以通過計算可測試的功能比率，來度量和提取功能的可評估性證據(jù)。

3.3 框架層

這里主要對框架層的證據(jù)進行度量和獲取，框架層的含義是指系統(tǒng)整體是否能夠很好的與用戶或其他應(yīng)用進行交互，是否能夠很容易的安裝、維護和集成，是否具備很好的兼容性。

3.4 規(guī)范層這里主要對規(guī)范層的證據(jù)進行度量和獲取，規(guī)范層的含義是指系統(tǒng)遵循的編碼規(guī)范、過程管理規(guī)范等各種規(guī)范。

四、結(jié)束語

隨著現(xiàn)代科技的不斷發(fā)展，計算機的不斷更新。社會對于可信軟件的要求也越來越高越來越迫切，然而電力工業(yè)作為國民經(jīng)濟和社會發(fā)展的基礎(chǔ)產(chǎn)業(yè)，計算機軟件的可信性對于電力生產(chǎn)管理系統(tǒng)的控制管理生產(chǎn)進度也有課一定量的可見的進步程度，展望未來，隨著科新需求的日益增加和可新技術(shù)的不斷發(fā)展，不斷的進步可新技術(shù)必然會應(yīng)用于大規(guī)模的工業(yè)化生產(chǎn)實踐中。

參考文獻

[1]歐陽建權(quán)，王懷民，史殿習.普適計算的可信研究[J].計算機應(yīng)用研究，2016，25（2）：3521～3524.

[2]張揚勇.我國電力企業(yè)信息化及其水平評價研究[J].福州：福州大學管理科學與工程學院，2016