《面向服務的信息物理融合系統形式化集成建模方法研究》是依託華南理工大學，由李方擔任項目負責人的青年科學基金項目。
基本介紹
- 中文名：面向服務的信息物理融合系統形式化集成建模方法研究
- 項目類別：青年科學基金項目
- 項目負責人：李方
- 依託單位：華南理工大學
項目摘要,結題摘要,
項目摘要
信息物理融合系統(Cyber-Physical Systems, CPS)是集計算、通信和控制於一體的多領域智慧型系統。由於系統的多領域、網路異構、分散式、實時性等特性，多領域之間交流困難，設計衝突難以避免，導致系統整體性能無法保證。本課題針對CPS的特徵與需求，擬深入探討面向服務的CPS形式化集成模型構建中多視角層次化集成語法定義、系統形式化互動行為語義定義、系統形式化時序行為描述等若干關鍵理論問題，形成CPS集成建模語言,在實現多領域橫向子系統和不同層次縱向子系統的有機集成的基礎上，形式化的量化分析系統中存在的功能性和非功能性約束。以機器人物流生產線系統這一典型的CPS為實驗驗證平台，採用面向服務的模型集成開發方法，在圖形化建模開發環境中構建CPS領域套用模型,藉助形式化描述及第三方工具集成，實現系統的功能正確性、邏輯正確性、實時性等性能的驗證，提高系統開發效率和可靠性。
結題摘要
信息物理融合系統(Cyber-Physical Systems;CPS)是擁有大量獨立設備網路集成的複雜套用，具有異構、多領域、數位化等特性。傳統的線性設計方法缺乏統一的設計開發語言與平台，數據處理、統計學習、數據挖掘、仿真最佳化等工作在多樣化的開發工具中進行，不僅設計周期長，且很難支撐系統真正意義上的動態可重構和最佳化設計。本項目以多領域集成開發為核心，將面向服務的模型集成設計方法融入系統設計中。深入研究了面向服務的CPS形式化集成模型構建中多視角層次化集成語法定義、系統形式化互動行為語義定義、系統形式化時序行為描述等若干關鍵理論問題，形成了CPS集成建模語言,在實現多領域橫向子系統和不同層次縱向子系統的有機集成的基礎上，實現了形式化描述和驗證工具集。以機器人物流生產線系統這一典型的CPS為實驗驗證平台，採用面向服務的 模型集成開發方法，在圖形化建模開發環境中構建CPS領域套用模型,藉助形式化描述及第三方工具集成，實現系統的功能正確性、邏輯正確性、實時性等性能的驗證，提高系統開發效率和可靠性。本項目對於解決信息物理融合系統設計開發中的多領域設計衝突、保證系統性能等方面都具有非常重要的意義。
