Cyber-physical systems (CPS) are multi-dimensional complex systems that integrate computing, networks, and physical environments. The modelling for such heterogeneous systems is actively researched. However, there still lacks a systematic approach to model characteristics of CPS, such as heterogeneity, uncertainty, hardware/software coordination, and Non-Functional Properties (NFP). In this paper, we propose a co-modelling approach that relies on SysML (System Modeling Language)/MARTE (Modeling and Analysis of Real-Time and Embedded Systems)/pCCSL (p Clock Constraint Specification Language) to model different aspects of CPS from different points of view, including structure, behavior, clock constraints, and NFP. The novelty of our approach lies in the use of pCCSL to specify the interaction and synchronization to explicitly model the logical consistency between models. Meanwhile, to capture characteristics of CPS, such as stochastic behavior and continuous behavior, we build upon some meta-models of SysML/MARTE. Finally, to demonstrate the feasibility of our co-modelling approach, we present various models of an energy-aware building as a case study.
HUANG Ping
,
DU De-hui
. A co-modelling approach for cyber-physical systems with SysML/MARTE/pCCSL[J]. Journal of East China Normal University(Natural Science), 2019
, 2019(1)
: 48
-57
.
DOI: 10.3969/j.issn.1000-5641.2019.01.006
[1] DESHPANDE A, GODBOLE D, VARAIYA P. Design and evaluation tools for automated highway systems[C]//Dimacs/sycon Workshop on Hybrid Systems Ⅲ:Verification and Control:Verification and Control. New York:Springer-Verlag, 1996:138-148.
[2] TOMLIN C, PAPPAS G, LYGEROS J, et al. Hybrid control models of next generation air traffic management[C]//Hybrid Systems IV. New York:Springer-Verlag, 1997:378-404.
[3] JIANG Z H, PAJIC M, MOARREF S, et al. Modeling and verification of a dual chamber implantable pacemaker[C]//TACAS'12 Proceedings of the 18th international conference on Tools and Algorithms for the Construction and Analysis of Systems. Berlin:Springer-Verlag, 2012:188-203.
[4] DU D H, HUANG P, JIANG K, et al. MARTE/pCCSL:Modeling and refining stochastic behaviors of CPS with probabilistic logical clocks[C]//International Conference on Formal Aspects of Component Software, Vol 10231 of LNCS. New York:Springer, 2016:111-133.
[5] ANDRÉ C. Syntax and semantics of the clock constraint specification language (CCSL)[R/OL].(2009-06-15)[2017-00-00]. https://hal.inria.fr/inria-00384077v2/document.
[6] 蒋彩云, 王维平, 李群. SysML:一种新的系统建模语言[J]. 系统仿真学报, 2006, 18(6):1483-1487.
[7] OBJECT MANAGEMENT GROUP. UML profile for MARTE:Modeling and analysis of real-time embedded systems1.1[EB/OL]. (2011-06-02)[2017-11-03]. http://www.omg.org/spec/MARTE/1.1/PDF.
[8] MALLET F. MARTE/CCSL for modeling Cyber-Physical systems[C]//Formal Modeling and Verification of Cyber-Physical Systems. Wiesbaden:Springer, 2015:26-49.
[9] BLOCHWITZ T, OTTER M, ARNOLD M, et al. The functional mockup interface for tool independent exchange of simulation models[C]//International Modelica Conference. DLR, 2009:105-114.
[10] FEHNKER A, IVAN?I? F. Benchmarks for hybrid systems verification[C]//Hybrid Systems:Computation and Control, International Workshop, HSCC 2004, Proceedings. DBLP, 2004:326-341.
[11] DAVID A, DU D H, LARSEN K G, et al. An evaluation framework for energy aware buildings using statistical model checking[J]. Science China, 2012, 55(12):2694-2707.
中国综合性科技类核心期刊(北大核心)