高级检索

  • ISSN 1006-3080
  • CN 31-1691/TQ

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

许浩 虞慧群

许浩, 虞慧群. 基于数据的自适应CPS软件结构模型设计方法[J]. 华东理工大学学报(自然科学版). doi: 10.14135/j.cnki.1006-3080.20210831004
引用本文: 许浩, 虞慧群. 基于数据的自适应CPS软件结构模型设计方法[J]. 华东理工大学学报(自然科学版). doi: 10.14135/j.cnki.1006-3080.20210831004
XU Hao, YU Huiqun. Data-Based Approach to Designing Self-Adaptive CPS Software Architecture Models[J]. Journal of East China University of Science and Technology. doi: 10.14135/j.cnki.1006-3080.20210831004
Citation: XU Hao, YU Huiqun. Data-Based Approach to Designing Self-Adaptive CPS Software Architecture Models[J]. Journal of East China University of Science and Technology. doi: 10.14135/j.cnki.1006-3080.20210831004

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

doi: 10.14135/j.cnki.1006-3080.20210831004
基金项目: 上海市自然科学基金(21ZR1416300);国家自然科学基金(61772200)
详细信息
    作者简介:

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

    通讯作者:

    虞慧群, E-mail:yhq@ecust.edu.cn

  • 中图分类号: TP311.5

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

  • 摘要: 信息物理系统(Cyber-Physical System,CPS)一般在动态环境中控制物理设备的运行,因此环境参数影响着CPS的结构和行为。本文提出了一种基于数据的自适应软件结构模型设计方法,该方法中CPS软件结构模型由单元模块通过层次化的组合构造而成。CPS的自适应演化通过面向方面建模方法实现,将环境因素的功能抽象成方面模型,通过对方面模型与基础模型进行编织得到综合的CPS模型。基于Petri网和时态逻辑的形式化方法为CPS模型提供了数学表达和分析手段。理论分析和实验结果表明,本文的设计方法具有可行性和高效性。

     

  • 图  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

  • [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
  • 加载中
图(8)
计量
  • 文章访问数:  33
  • HTML全文浏览量:  23
  • PDF下载量:  2
  • 被引次数: 0
出版历程
  • 收稿日期:  2021-08-31
  • 录用日期:  2021-12-07
  • 网络出版日期:  2022-04-12

目录

    /

    返回文章
    返回