Co-analysis of SysML and Simulink Models for Cyber-Physical Systems Design

Model-Based Development (MBD) is a promising approach to achieving the required reliability levels of Cyber-Physical Systems. These systems are inherently heterogeneous. For example, models such as a controller and a plant have different characteristics. This paper proposes a Co-Analysis method. Logic-based analysis is employed to deal with an under-constrained or non-deterministic controller described with SysML. The analysis of the plant with Simulink adapts numerical simulation methods since the model represents physical phenomena whose time-dependent behavior is deterministic but computed with the initial states. The paper discusses further issues with the proposed co-analysis method.