基于電力生產管理系統的可信構造方法研究

徐道磊 張 靖 薛曉茹

國網安徽省電力有限公司信息通信分公司，安徽合肥 230000

自進入信息時代以來，人們對計算系統的依賴性逐漸增強，對軟件需求量也越來越多。當軟件系統逐漸擴大時便會出現漏洞或者缺陷問題，從而對系統運行效果造成負面影響。例如，在電力生產經營管理方面，當前很多企業都在進行電力生產管理系統開發應用。雖然電力生產管理系統能夠為企業電力經營管理提供便利，但在實際運行過程中依然會出現無法上線運行或者不能如期完成任務現象，從而影響到企業電力經營效益。目前，電力生產管理系統開發應用過程中存在的軟件可行性問題相對較多，需要利用可信技術研究成果進行可信構造方法探索，以保障系統軟件高效、穩定運行。

1 可信構造工作模式

在研究電力生產管理系統可信構造方法方面，必須擁有技術平臺支持，利用可信技術進行可信構造方法開發應用。當前可信構造相關技術和理論研究成果逐漸增多，這對國內企業電力生產管理系統可信構造工作模式探索具有一定積極作用。可維持、可靠與可生存等屬于可信屬性常見內容，電力企業在可信屬性研究過程中都會關注這些內容。當電力生產時期、系統應用環境及需求發生轉變時，可信屬性關注點也會發生改變。因此，在可信屬性分析過程中首先需要對系統應用需求及應用環境進行了解，在各種可信屬性要求提取之后進行模型構建。在可信構造方法技術支持平臺確定之后，電力企業需要從可行屬性、分級、取證與證明這4方面進行可信構造方法研究，為電力生產管理系統可信構造方法建設提供參考。在電力生產管理系統可信構造過程中，首先必須進行電力生產管理系統建設。相對于其他行業而言，電力生產企業經營管理具有一定的獨特性，其生產管理質量與系統實施效果存在密切聯系[1]。因此，在電力生產管理系統構建過程中需要建立相應配套設施，為系統全面管理提供基礎保障。在電力生產管理系統可信構造工作模式運用方面，電力企業必須加強管理人員培訓工作，并對如何開展管理系統建設工作進行施工方案制定，為電力生產管理系統建設提供優質條件。

2 可信構造方法應用研究

2.1 可信屬性與分級

在電力生產管理系統可信構造方法應用研究方面，必須進行可信分析邏輯架構建設，從可信證明與評估2個方面獲取分析報告，為系統軟件運行可信性提供參考。在電力生產管理系統可行分析工作開展前，首先需要對系統應用需求進行分析，對系統可信屬性集合進行密切關注，明確可信屬性模型。從電力行業角度來看，電力生產管理系統可信屬性主要有安全性、可用性與實時性等，不同屬性關注程度也不一樣。因此，在電力生產管理系統可信屬性運用方面必須對系統運用需求與應用環境進行研究分析，明確各種可信屬性具體內容，從而確定可信屬性模型。在電力生產管理系統可信級別確定方面，必須根據電力行業特點進行可信分級處理，包括不可信、可用、實用、標準與證明5個等級。若系統沒有通過可信分析資源則可將其劃分為不可信級，當系統符合電力生產經營管理預期功能時可確定為可用級。若系統軟件運行質量較好可分為實用級，若系統經權威組織認證，并在電力行業范圍內成為規范時可稱為標準級，若系統經形式化工具證明且符合可信分析之后，可稱之為證明級。由于電力生產管理系統完全證明存在較大難度，因此，系統軟件可信分級過程中難以達到證明級。

2.2 可信取證

在電力生產管理系統可信構造過程中，電力企業可以通過表格方式對用戶評價進行調查研究，對現實證明進行取證，包括文檔、代碼或者模型等。比如，在系統代碼度量方面，技術人員需要利用檢測工具檢查系統代碼是否存在問題，對代碼規范性證明進行提取。在系統軟件可信取證過程中，需要對系統預期功能效果進行判斷，明確系統功能是否能夠達到用戶需求，符合預期標準，利用計算測試方式對系統軟件功能性評估進行取證。在系統框架可信提取證明方面，需要對系統交換、安裝與維護等進行計算分析，判斷系統軟件是否達到高度兼容性，并對系統兼容性證明進行提取[2]。在電力生產管理系統規范證明提取過程中，需要對系統管理、編碼與運行等的規范進行研究分析。比如在電力生產系統軟件開發應用方面，需要對系統規范標準及相關軟件開發認可性證明進行提取。在可信證據提取過程中，必須利用一些測試工具進行評估分析，包括主觀評估與客觀評估。在框架層可信取證過程中，需要利用計算系統獲取兼容需求平臺比例，從而獲得兼容性證據。在具體操作方面，需要對系統安裝、兼容性與維護情況等進行評估分析，研究系統兼容性證據獲取過程中兼容的需求平臺比例。在易用性證據獲取方面，需要根據調查用戶使用功能比例。在規范層可信取證方面，首先需要明確系統應用范圍，然后利用質量和獲取軟件獲得廣泛性證據。

2.3 可信證明

在電力生產管理系統可信證明過程中，可能會無法獲取足夠的可信資源，因此，需要通過各種規則預防可信證明時，電力生產管理系統可信證明過程中所應用到的一些規則需要存儲在電力資源庫內，在規則之下進行證明資源分析。在電力生產管理系統可信證明過程中，需要對規則進行描述，通過形式化模型描述系統軟件，從而產生形式化系統。在證明規則指導下，技術人員需要對電力生產管理系統可信性進行推演分析、證明。在可信分析報告獲取方面，操作人員需要以合成規則為指導，對電力生產管理系統軟件可信性證明情況進行研究分析。從系統軟件可信證明理論基礎層面來看，電力生產管理系統形式化模型主要有推演方法與形式化方法，操作人員可以利用通信順序進程方法分解系統模型，將系統形式化模型轉化為語言形式。電力企業可以將通信順序進程作為行為規范語言，使電力生產管理系統形式化，有利于明確系統軟件在不同應用環境下的行為，對系統可信性推演具有一定重要意義。在通信順序進程形式化方法運用方面，需要將電力生產管理系統形式化模型轉變成形式化句子，句法元素包括連接器與實體。

2.4 可信構造方法應用案例分析

在可信構造方法應用方面，首先需要建立可信構造環境，包括相關可信測量工具與可信資源庫等，能夠將電廠需求量進行建模。然后，需要選取可信資源庫中原有可信資源形成系統，通過管理工作指導進行系統應用，從而提升系統可信性。在具體操作方面，技術人員需要利用可信建模工具進行流程模型、數據模型及業務模型構建，通過可信資源庫中可欣資源選擇、改造生產電力生產管理系統[3]。在電力生產管理系統運行過程中，需要實施過程管理工具提供指導，通過可信分析演化工具評估系統運行可行性，明確系統關鍵可信屬性，并對系統可信級別制約因素進行研究。應用實例如圖1所示。

圖1 應用實例

3 結語

在信息技術快速發展的今天，當今社會各行業的可信軟件需求量逐漸增長。電力企業在計算機技術發展過程中，也對電力生產管理系統可信屬性提出了新的要求，如何提高系統軟件安全可靠成為企業必須面臨的重點問題。尤其是在電力市場環境日益嚴峻的當下，電力企業更加需要利用可信構造方法提升企業核心競爭力。在電力生產管理系統軟件可信構造方法應用研究過程中，電力企業需要對可信證明進行研究分析，通過可信構造方法提高系統軟件運行質量。