Toward a modeling and analysis method of cyber-physical systems architecture evolution based on bigraph.

Area of Science:

• Computer Science
• Systems Engineering
• Cyber-Physical Systems

Background:

• Traditional graph models struggle with the 2D spatial evolution inherent in Cyber-Physical Systems (CPS).
• Modeling and analyzing the dynamic, multi-dimensional changes in CPS architecture and information flow is a significant challenge.

Purpose of the Study:

• To propose a novel Bigraph model for Cyber-Physical Systems (CPS) that effectively represents and analyzes their two-dimensional spatial evolution.
• To develop dynamic evolution rules and algorithms for ensuring the consistency, integrity, and reachability of CPS architecture during changes.

Main Methods:

• A Bigraph model incorporating positional constraints is introduced, using link and place graphs to represent connectivity and spatial relationships.
• Dynamic evolution rules based on conditional matching and state transition are designed for CPS structure and information flow.
• Algorithms for constraint checking (consistency, integrity, reachability) are developed to validate dynamic evolution.

Main Results:

• The proposed Bigraph model successfully represents the 2D spatial relationships in CPS evolution.
• The developed dynamic evolution rules and algorithms ensure the correctness and reliability of CPS after architectural changes.
• Case studies on smart meeting and vehicular networking systems demonstrate the model's effectiveness.

Conclusions:

• The Bigraph model with positional constraints offers a powerful approach for analyzing the dynamic 2D evolution of Cyber-Physical Systems (CPS).
• The associated algorithms provide essential mechanisms for verifying the integrity and reliability of evolving CPS architectures.