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

被引:6
|
作者
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
来源
PROCEEDINGS OF THE ACM/SPEC INTERNATIONAL CONFERENCE ON PERFORMANCE ENGINEERING (ICPE '21) | 2021年
关键词
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 条
  • [41] Formal modeling and analyzing high-confidence software of cyber-physical systems
    Yu, Zhen-Hua, 1857, Systems Engineering Society of China (34):
  • [42] Architecture of Software Platform for Testing Software of Cyber-Physical Systems
    Golosovskiy, Mikhail
    Tobin, Dmitriy
    Balandov, Mikhail
    Khlopotov, Roman
    DATA SCIENCE AND ALGORITHMS IN SYSTEMS, 2022, VOL 2, 2023, 597 : 488 - 494
  • [43] A modeling approach for Cyber-Physical Systems based on collaborative processes
    Bruno, Giorgio
    IFAC PAPERSONLINE, 2019, 52 (13): : 2764 - 2769
  • [44] Modeling and Requirements on the Physical Side of Cyber-Physical Systems
    Heimdahl, Mats P. E.
    Duan, Lian
    Murugesan, Anitha
    Rayadurgam, Sanjai
    2013 2ND INTERNATIONAL WORKSHOP ON THE TWIN PEAKS OF REQUIREMENTS AND ARCHITECTURE (TWINPEAKS), 2013, : 1 - 7
  • [45] NONDEDUCIBILITY-BASED ANALYSIS OF CYBER-PHYSICAL SYSTEMS
    Gamage, Thoshitha
    McMillin, Bruce
    CRITICAL INFRASTRUCTURE PROTECTION III, 2009, 311 : 169 - 183
  • [46] Challenges in Physical Modeling for Adaptation of Cyber-Physical Systems
    Ruchkin, Ivan
    Samuel, Selva
    Schmerl, Bradley
    Rico, Amanda
    Garlan, David
    2016 IEEE 3RD WORLD FORUM ON INTERNET OF THINGS (WF-IOT), 2016, : 210 - 215
  • [47] SCADA modeling for performance and vulnerability assessment of integrated cyber-physical systems
    Stefanov, Alexandru
    Liu, Chen-Ching
    Govindarasu, Manimaran
    Wu, Shinn-Shyan
    INTERNATIONAL TRANSACTIONS ON ELECTRICAL ENERGY SYSTEMS, 2015, 25 (03): : 498 - 519
  • [48] Understanding the impact of cyber-physical correlation on security analysis of Cyber-Physical Systems
    Jiang, Luanjuan
    Chen, Xin
    2021 IEEE INTL CONF ON DEPENDABLE, AUTONOMIC AND SECURE COMPUTING, INTL CONF ON PERVASIVE INTELLIGENCE AND COMPUTING, INTL CONF ON CLOUD AND BIG DATA COMPUTING, INTL CONF ON CYBER SCIENCE AND TECHNOLOGY CONGRESS DASC/PICOM/CBDCOM/CYBERSCITECH 2021, 2021, : 529 - 534
  • [49] A comprehensive survey on modeling of cyber-physical systems
    Graja, Imen
    Kallel, Slim
    Guermouche, Nawal
    Cheikhrouhou, Saoussen
    Kacem, Ahmed Hadj
    CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2020, 32 (15):
  • [50] Verification, Optimization, Performance Analysis and Synthesis of Cyber-Physical Systems
    Larsen, Kim G.
    Grov, Gudmund
    Lin, Yuhui
    Le Bras, Pierre
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (240):