一种基于SysML/MARTE/pCCSL的信息物理融合系统协同建模方法

黄平; 杜德慧

doi:10.3969/j.issn.1000-5641.2019.01.006

一种基于SysML/MARTE/pCCSL的信息物理融合系统协同建模方法

doi: 10.3969/j.issn.1000-5641.2019.01.006

黄平,
杜德慧^,

华东师范大学计算机科学与软件工程学院, 上海 200062

基金项目:

国家自然科学基金 61472140

上海市自然科学基金 14ZR1412500

详细信息

作者简介:
黄平, 女, 硕士研究生, 研究方向为可信软件.E-mail:aho598@163.com

通讯作者:
杜德慧, 女, 副教授, 硕士生导师, 研究方向为软件工程、模型驱动与数据驱动相结合的软件开发方法、信息物理融合系统的建模及验证.E-mail:dhdu@sei.ecnu.edu.cn

中图分类号: TP311
计量
- 文章访问数: 128
- HTML全文浏览量: 32
- PDF下载量: 179
- 被引次数: 0
出版历程
- 收稿日期: 2017-12-21
- 刊出日期: 2019-01-25

A co-modelling approach for cyber-physical systems with SysML/MARTE/pCCSL

HUANG Ping,
DU De-hui^,

School of Computer Science and Software Engineering, East China Normal University, Shanghai 200062, China

摘要

摘要: 信息物理融合系统（Cyber-Physical Systems，CPS）是一个综合计算、网络和物理环境的多维复杂系统.针对这种异构系统的建模问题一直是人们研究的重点，但是，缺乏系统性的方法来建模CPS的特性，如异构性、不确定性、软硬协同和非功能属性（Non-Functional Properties，NFP）等.提出了一种基于SysML（System Modeling Language）/MARTE（Modeling and Analysis of Real-Time and Embedded Systems）/pCCSL（p Clock Constraint Specification Language）的协同建模方法，实现了从不同视角建模CPS的不同特征，包括系统的结构、行为、时钟约束和NFP.该方法的新颖性在于使用pCCSL规约各模型之间的交互和同步，显式地建模模型之间的逻辑一致性.同时，为了捕捉CPS的特性如随机行为和连续行为，扩展了一些SysML/MARTE的元模型.最后，给出了一个智能建筑的案例以展示所提出的协同建模方法的可用性.
- 信息物理融合系统 /
- SysML/MARTE/pCCSL /
- 协同建模 /
- 元模型 /
- 智能建筑
Abstract: 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.
- Cyber-Physical Systems (CPS) /
- SysML/MARTE/pCCSL /
- co-modelling /
- meta-models /
- energy-aware building

HTML全文

图 1 协同建模方法框架图

Fig. 1 Framework of co-modelling approach

下载: 全尺寸图片幻灯片

图 2 架构图元模型

Fig. 2 Meta-model of architecture diagram

下载: 全尺寸图片幻灯片

图 3 连接图元模型

Fig. 3 Meta-model of connection diagram

下载: 全尺寸图片幻灯片

图 4 状态机元模型

Fig. 4 Meta-model of state machine

下载: 全尺寸图片幻灯片

图 5 建筑布局平面图与外部温度变化

Fig. 5 Representation of building layout and outside temperature

下载: 全尺寸图片幻灯片

图 6 智能建筑的SysML/MARTE/pCCSL模型

Fig. 6 SysML/MARTE/pCCSL models for energy-aware buildings

下载: 全尺寸图片幻灯片

表 1 非功能需求列表

Tab. 1 Non-functional requirements list

ID	type	variable	time_bound	condition	property
1	prob	energy	48	energy within 1 000 000	reachability
2	prob	discomfort	48	discomfort within 50	reachability
3	min_val	energy	48	discomfort within 50	safety

下载: 导出CSV

参考文献(11)

[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