QN-based Modeling and Analysis of Software Performance Antipatterns for Cyber-Physical Systems

被引:5
|
作者
Pinciroli, Riccardo [1 ]
Smith, Connie U. [2 ]
Trubiani, Catia [1 ]
机构
[1] Gran Sasso Sci Inst, Laquila, Italy
[2] L&S Comp Technol Inc, Performance Engn Serv, Austin, TX USA
关键词
Queuing Networks; Software Performance Antipatterns; Cyber-Physical Systems; FRAMEWORK;
D O I
10.1145/3427921.3450251
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
Identifying performance problems in modern software systems is nontrivial, even more so when looking at specific application domains, such as cyber-physical systems. The heterogeneity of software and hardware components makes the process of performance evaluation more challenging, and traditional software performance engineering techniques may fail while dealing with interacting and heterogeneous components. The goal of this paper is to introduce a model-based approach to understand software performance problems in cyber-physical systems. In our previous work, we listed some common bad practices, namely software performance antipatterns, that may occur. Here we are interested in shedding light on these antipatterns by means of performance models, i.e., queuing network models, that provide evidence of how antipatterns may affect the overall system performance. Starting from the specification of three software performance antipatterns tailored for cyber-physical systems, we provide the queuing network models capturing the corresponding bad practices. The analysis of these models demonstrates their usefulness in recognizing performance problems early in the software development process. This way, performance engineers are supported in the task of detecting and fixing the performance criticalities.
引用
下载
收藏
页码:93 / 104
页数:12
相关论文
共 50 条
  • [1] Modeling more software performance antipatterns in cyber-physical systems
    Pinciroli, Riccardo
    Smith, Connie U.
    Trubiani, Catia
    SOFTWARE AND SYSTEMS MODELING, 2024, 23 (04): : 1003 - 1023
  • [2] Software Performance Antipatterns in Cyber-Physical Systems
    Smith, Connie U.
    PROCEEDINGS OF THE ACM/SPEC INTERNATIONAL CONFERENCE ON PERFORMANCE ENGINEERING (ICPE'20), 2020, : 173 - 180
  • [3] Modeling and Analysis of Cyber-physical Systems Based on Petri Net
    Yang, Yuhai
    Zhong, Chongquan
    Liu, Xiaodong
    Lu, Wei
    INTERNATIONAL JOURNAL OF CONTROL AUTOMATION AND SYSTEMS, 2023, 21 (09) : 2980 - 2994
  • [4] Modeling and Analysis of Cyber-physical Systems Based on Petri Net
    Yuhai Yang
    Chongquan Zhong
    Xiaodong Liu
    Wei Lu
    International Journal of Control, Automation and Systems, 2023, 21 (9) : 2980 - 2994
  • [5] Behaviors Modeling and Analysis for Cyber-Physical Systems
    Han, Deshuai
    Cai, Yanping
    Li, Aihua
    Wang, Bo
    Chen, Wenjie
    Ma, Guanglian
    2023 35TH CHINESE CONTROL AND DECISION CONFERENCE, CCDC, 2023, : 5419 - 5425
  • [6] Formal Modeling of Testing Software for Cyber-Physical Automation Systems
    Buzhinsky, Igor
    Pang, Cheng
    Vyatkin, Valeriy
    2015 IEEE TRUSTCOM/BIGDATASE/ISPA, VOL 3, 2015, : 301 - 306
  • [7] Malicious software spread modeling and control in cyber-physical systems
    Yang, Bo
    Yu, Zhenhua
    Cai, Yuanli
    KNOWLEDGE-BASED SYSTEMS, 2022, 248
  • [8] Performance modeling and quantitative evaluation for cyber-physical systems based on LTS
    Li, Zhen
    Cao, Zining
    Xing, Chao
    JOURNAL OF SUPERCOMPUTING, 2024, 80 (04): : 5616 - 5653
  • [9] Performance modeling and quantitative evaluation for cyber-physical systems based on LTS
    Zhen Li
    Zining Cao
    Chao Xing
    The Journal of Supercomputing, 2024, 80 : 5616 - 5653
  • [10] Formal Analysis of Control Software for Cyber-Physical Systems
    Herrmann, Peter
    Blech, Jan Olaf
    2017 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY COMPANION (QRS-C), 2017, : 563 - 564