基于数据的自适应CPS软件结构模型设计方法

许浩; 虞慧群

doi:10.14135/j.cnki.1006-3080.20210831004

基于数据的自适应CPS软件结构模型设计方法

doi: 10.14135/j.cnki.1006-3080.20210831004

许浩^1,,
虞慧群^{1, 2, ,}

1.
华东理工大学计算机科学与工程系, 上海 200237
2.
上海市计算机软件测评重点实验室, 上海 201112

基金项目: 上海市自然科学基金(21ZR1416300)；国家自然科学基金(61772200)

详细信息

作者简介:
许浩：作者简介：许　浩（1982−），女，湖南人，博士生，主要研究方向为信息物理系统安全、软件工程，形式化方法等。E-mail：xuhao@ecust.edu.cn

通讯作者:
虞慧群， E-mail：yhq@ecust.edu.cn

中图分类号: TP311.5
计量
- 文章访问数: 33
- HTML全文浏览量: 23
- PDF下载量: 2
- 被引次数: 0
出版历程
- 收稿日期: 2021-08-31
- 录用日期: 2021-12-07
- 网络出版日期: 2022-04-12

Data-Based Approach to Designing Self-Adaptive CPS Software Architecture Models

XU Hao^1
,,
YU Huiqun^{1, 2
, ,}

1.
Department of Computer Science and Engineering, East China University of Science and Technology, Shanghai 200237, China
2.
Shanghai Key Laboratory of Computer Software Testing and Evaluating, Shanghai 201112, China

摘要

摘要: 信息物理系统（Cyber-Physical System，CPS）一般在动态环境中控制物理设备的运行，因此环境参数影响着CPS的结构和行为。本文提出了一种基于数据的自适应软件结构模型设计方法，该方法中CPS软件结构模型由单元模块通过层次化的组合构造而成。CPS的自适应演化通过面向方面建模方法实现，将环境因素的功能抽象成方面模型，通过对方面模型与基础模型进行编织得到综合的CPS模型。基于Petri网和时态逻辑的形式化方法为CPS模型提供了数学表达和分析手段。理论分析和实验结果表明，本文的设计方法具有可行性和高效性。
- 信息物理系统 /
- 数据驱动 /
- 软件结构 /
- 自适应机制 /
- 软件设计
Abstract: Cyber-physical systems (CPS) are tight integration of embedded computers and physical devices, which has a wide of applications in many areas such as process industry, smart energy, medical care, and national defense. However, it is a challenging task to design CPS software that meets both functional and performance requirements, since various physical devices and software in CSPs are interconnected and complex in structures and behaviors. The CPS that controls the operation of physical devices is usually running in dynamical environment. The environmental parameters will affect the structures and behaviors of CPS. This paper proposes a data-based adaptive software structure model design method. In this method, the software architecture model of CPS is constructed by the hierarchical combination of unit modules. The multi-level formal models for CPS software are based on formalisms of Petri net and temporal logic, in order to precisely specify CPS software architecture model, properties, and refine the relation between different levels. The adaptive evolution of CPS is realized by taking advantage of formal semantics, aspect-oriented method, and data analysis algorithms, which abstracts the function of environmental factors into aspect model and obtains a comprehensive CPS model and basic model. The formal method based on Petri nets and temporal logic provides mathematical expression and analysis means for CPS model. Theoretical analysis and experiments show that the designed method is feasible and efficient.
- cyber-physical system /
- data driven /
- software architecture /
- self- adaptive mechanism /
- software design

HTML全文

图 1 SAM的一个结构模型

Figure 1. An architecture model of SAM

下载: 全尺寸图片幻灯片

图 2 RepairCall的PrT网模型(a)； RepairServe的PrT网模型(b)；合成的PrT 网模型(c)； RepairApp的PrT 网模型(d)

Figure 2. PrT Net model of RepairCall(a)； PrT Net model of RepairServe(b)； Combination of PrT Net model(c)； PrT Net model of RepairApp(d)

下载: 全尺寸图片幻灯片

图 3 3种类型的方面网编织规则

Figure 3. Three types of aspect weaving rules

下载: 全尺寸图片幻灯片

图 4 RepairApp精化的PrT网模型

Figure 4. Refined PrT Net model of RepairApp

下载: 全尺寸图片幻灯片

图 5 设备检修系统的PrT模型

Figure 5. PrT model of device repairing system

下载: 全尺寸图片幻灯片

图 6 用户报修请求模块的PrT模型

Figure 6. PrT model of user request module

下载: 全尺寸图片幻灯片

图 7 模型状态空间和用户请求数量间的关系

Figure 7. Relationship between model state space and number of user requests

下载: 全尺寸图片幻灯片

图 8 模型状态空间和节点数量间的关系

Figure 8. Relationship between model state space and number of nodes

下载: 全尺寸图片幻灯片

参考文献(18)

[1]	FRANK ALLGÖWER, JOÃO BORGES DE SOUSA, JAMES KAPINSKI, et al. Position paper on the challenges posed by modern applications to cyber-physical systems theory[J]. Nonlinear Analysis:Hybrid Systems, 2019, 34: 147-165. doi: 10.1016/j.nahs.2019.05.007
[2]	HUANG X, DONG J. Reliable control policy of cyber-physical systems against a class of frequency-constrained sensor and actuator attacks[J]. IEEE Transactions on Cybernetics, 2018, 48(12): 3432-3439. doi: 10.1109/TCYB.2018.2815758
[3]	NAKAJIMA S, TALPIN J P, TOYOSHIMA M, et al. Cyber-Physical System Design from an Architecture Analysis Viewpoint[M]. UK: Springer Singapore, 2017.
[4]	ABDELHAKIM B, OTMANE AIT M, DJAMAL B, et al. Safety analysis of train control system based on model-driven design methodology[J]. Journal of Computers in Industry, 2019, 105: 1-16. doi: 10.1016/j.compind.2018.10.007
[5]	TEKINERDOGAN B, AKSIT M. Introducing the concept of synthesis in the software architecture design process[J]. Journal of Integrated Design & Process Science, 2006, 10(1): 45-56.
[6]	DU D H, HUANG P, JIANG K Q, et al. pCSSL: A stochastic extension to MARTE/CCSL for modeling uncertainty in cyber physical systems[J]. Science of Computer Programming, 2018, 166: 71-88. doi: 10.1016/j.scico.2018.05.005
[7]	BRUGALI D. Modeling and analysis of safety requirements in robot navigation with an extension of UML MARTE[C]//2018 IEEE International Conference on Real-time Computing and Robotics(RCAR). Maldives: IEEE, 2018: 439-444.
[8]	WEI X, DONG Y, XIAO M. Safety-based software reconfiguration method for integrated modular avionics systems in AADL model[C]//2018 IEEE International Conference on Software Quality, Reliability and Security Companion(RQS). Lisbon, Portugal: IEEE, 2018: 450-455.
[9]	SZMUC W, SZMUC T. Towards embedded systems formal verification translation from SysML into Petri nets[C]//25th International Conference on Mixed Design of Integrated Circuits and System. Gdynia, Poland: IEEE, 2018: 420 - 423.
[10]	BALI R S, KUMAR N. Learning automata-assisted predictive clustering approach for vehicular cyber-physical system[J]. Journal of Computers and Electrical Engineering, 2016, 52(C): 82-97.
[11]	NUNO C, JOSE M, FIOMENA S, et al. Simulation of cyber physical systems behavior using timed plant models[J]. Journal of Mechatronics, 2018, 54: 175-185. doi: 10.1016/j.mechatronics.2017.10.009
[12]	LIU X, ZHANG J, ZHU P. Modeling cyber-physical attacks based on probabilistic colored Petri nets and mixed-strategy game theory[J]. International Journal of Critical Infrastructure Protection, 2017, 16(3): 13-25.
[13]	JIA W, FEI Y, LIU J. Effectiveness proving and control of platoon-based vehicular cyber-physical systems[J]. IEEE Access, 2018, 6: 21140-21151. doi: 10.1109/ACCESS.2018.2800404
[14]	BERNARDESCHI C, DOMENICI A, MASCI P. A PVS-Simulink integrated environment for model-based analysis of cyber-physical systems[J]. IEEE Transactions on Software Engineering, 2018, 44(6): 512-533. doi: 10.1109/TSE.2017.2694423
[15]	LALROPUIA K C, VANDANA G. Modeling cyber-physical attacks based on stochastic game and Markov processes[J]. Journal of Reliability Engineering and System Safety, 2019, 181: 28-37. doi: 10.1016/j.ress.2018.08.014
[16]	HE X D, YU H Q, SHI T J, et al. Formally specifying and analyzing software architectural specifications using SAM[J]. Journal of Systems and Software, 2004, 71(1/2): 11-29.
[17]	KICZALES G, LAMPING J, MENDHEKAR A, et al. Aspect-oriented programming[C]//European Conference on Object-Oriented Programming (ECOOP). UK: Springer- Verlag, 1997: 220-242.
[18]	XIANG F, NAZARAF S, NANDOR V, et al. CPS data streams analytics based on machine learning for cloud and fog computing: A survey[J]. Journal of Future Generation Computer Systems, 2019, 90: 435-450. doi: 10.1016/j.future.2018.06.042