《安全工控程式分解與轉換的形式化理論研究》是依託華東師範大學，由黃灩鴻擔任項目負責人的青年科學基金項目。
基本介紹
- 中文名：安全工控程式分解與轉換的形式化理論研究
- 項目類別：青年科學基金項目
- 項目負責人：黃灩鴻
- 依託單位：華東師範大學
項目摘要,結題摘要,
項目摘要
工業控制系統作為國計民生關鍵設施自動化生產的基礎組件，是國家安全戰略的重要組成部分。隨著工業4.0、網際網路+時代的到來，工控系統與外界網路環境的互動越來越密切，系統體系架構也越來越複雜，工控系統的安全性與智慧型化程度都亟需提高，這給安全關鍵工控系統軟體的發展帶來了新的挑戰。本項目針對工控系統軟體高安全性的要求，運用嚴格的形式化方法對具備典型特徵的工控系統軟體進行建模。研究形式化建模語言及其語義模型，設計適用於多物理設備資源的工控程式代數演算規則，完成軟體模型的分解與轉換，保證工控系統軟體的安全性和可靠性，從而形成面向多物理設備資源的工控程式開發理論與方法。該開發方法全程由形式化方法作為技術支撐，不僅提高了開發效率而且保證了軟體質量，對工控系統的發展具備重要的意義。
結題摘要
工業控制系統作為國計民生關鍵設施自動化生產的基礎組件，是國家安全戰略的重要組成部分。隨著工業4.0、網際網路+時代的到來，工控系統與外界網路環境的互動越來越密切，系統體系架構也越來越複雜，工控系統的安全性與智慧型化程度都亟需提高，這給安全關鍵工控系統軟體的發展帶來了新的挑戰。本項目針對工控系統軟體高安全性的要求，提出了一套完整的面向物理資源的工業控制系統軟體開發方法；研究內容包括：工業建模協作語言，基於精化的模型框架，群體協作模型生成方法三個方面；解決了如何將物理設備資源與控制軟體融於統一模型，控制軟體分解與轉換的可靠性的兩大關鍵問題。研究成果在電力領域火力發電控制器研製過程中展開了示範套用。該開發方法全程由形式化方法作為技術支撐，不僅提高了開發效率而且保證了軟體質量，對工控系統的發展具備重要的意義。本項目的研究成果形成學術論文13篇，其中SCIE-2區論文4篇、SCIE-4區論文1篇、CCF-C類論文8篇；申請發明專利4篇，獲得軟體著作權登記2項；協助培養博士研究生1名、碩士研究生3名。
