Citation: | 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 Sciences), 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 Ⅳ. 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. doi: 10.3969/j.issn.1004-731X.2006.06.018
|
[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. http://www.wanfangdata.com.cn/details/detail.do?_type=perio&id=QK201205585061
|