Work

System-Level Design, Modeling, and Verification of GALS Cyber-Physical Systems

Year: 2025

Type: article

Abstract: Cyber-Physical Systems (CPS) are of great significance to industrial automation due to their proficiency in managing complex tasks. Concurrency and heterogeneity, which are fundamental characteristics of CPS, pose significant challenges related to complexities in design, system architecture, timing behaviour, semantics, and cyber-physical interdependencies. We propose a system-level approach that leverages the Globally Asynchronous, Locally Synchronous (GALS) Model of Computation (MoC) to offer a structured and correct-by-construction methodology. The research also features a unified Coloured Petri Nets (CPN)-based modelling framework that bridges cyber and physical domains and enables holistic system verification. The approach comprises three stages: (1) Design using SystemGALS for cyber-domain control and data flow, alongside Simulink for physical process modelling; (2) Integration of CPN derived from SystemGALS and Simulink for unified representation; (3) Formal analysis on the CPN model. In this paper, we elaborate on each step of the system-level approach and provide an industrial automation use case for illustration.

Source: IEEE Open Journal of the Industrial Electronics Society

DOI: 10.1109/ojies.2025.3591389

Authors: Weiyi Zhang, Zoran Salcic, Avinash Malik

Institution: University of Auckland

Language: English

Topic: Petri Nets in System Modeling

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

SDG: Industry, innovation and infrastructure

Open Access status: gold

Estimated APC paid: $2,075