System Resource Utilization Analysis based on Model Checking Method

被引：0
|
作者：
Bang, Ki-Seok [1 ]
Jin, Hyun-Wook [1 ]
Chuck-Yoo [1 ]
Choi, Jin-Young [1 ]
机构：
[1] Korea Univ, Dept Comp Sci & Engn, Seoul, South Korea
来源：
INFORMATICA-JOURNAL OF COMPUTING AND INFORMATICS | 2005年 / 29卷 / 02期
关键词：
Model Checking; Temporal Logic; Property Specification; SPIN; LTL; Myrinet NIC;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Model checking method is a widely used formal method for proving whether or not a given model satisfies properties, and for producing counter examples if the model does not satisfy properties. In this paper, we show model checking methods can be used for resource utilization analysis of systems. We specify system utilization properties using temporal logic called LTL, and find a bottleneck of system performance using model checking.
引用
收藏
页码：219 / 226
页数：8
相关论文
共 50 条
  • [1] Fault Associated Propagation Hazard Analysis for Shared Resource Based on Model Checking
    Wang, Hongli
    Zhong, Deming
    2022 68TH ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM (RAMS 2022), 2022,
  • [2] A formal analysis method for composition protocol based on model checking
    Xiao, Meihua
    Zhao, Hanyu
    Yang, Ke
    Ri Ouyang
    Song, Weiwei
    SCIENTIFIC REPORTS, 2022, 12 (01)
  • [3] A Fault Propagation Modeling and Analysis Method Based on Model Checking
    Chen, Lu
    Jiao, Jian
    Fan, Jiping
    Ren, Fuchun
    ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM 2016 PROCEEDINGS, 2016,
  • [4] DFT quantitative analysis method based on statistical model checking
    Qiao S.
    Huang Z.
    Wang J.
    Wan W.
    Xi Tong Gong Cheng Yu Dian Zi Ji Shu/Systems Engineering and Electronics, 2020, 42 (02): : 480 - 488
  • [5] A Hybrid Attack Graph Analysis Method based on Model Checking
    Ge, Yaogang
    Shen, Xiaomeng
    Xu, Bingfeng
    He, Gaofeng
    2022 TENTH INTERNATIONAL CONFERENCE ON ADVANCED CLOUD AND BIG DATA, CBD, 2022, : 258 - 263
  • [6] A formal analysis method for composition protocol based on model checking
    Meihua Xiao
    Hanyu Zhao
    Ke Yang
    Ri Ouyang
    Weiwei Song
    Scientific Reports, 12
  • [7] Avionics system failure analysis and verification based on model checking
    Wang, Hongli
    Zhong, Deming
    Zhao, Tingdi
    ENGINEERING FAILURE ANALYSIS, 2019, 105 : 373 - 385
  • [8] BIOMASS ANALYSIS OF RESOURCE UTILIZATION SYSTEM
    Liu, Enhai
    Guo, Zhanghui
    Wang, Yu
    Wei, Xiaotong
    Li, Man
    THERMAL SCIENCE, 2024, 28 (3A): : 2093 - 2100
  • [9] A Safety Analysis Method for Model Checking Based on Multiple Faults Injection
    Wang, Xi
    Li, Hui
    OuYang, Chengtian
    2018 INTERNATIONAL SEMINAR ON COMPUTER SCIENCE AND ENGINEERING TECHNOLOGY (SCSET 2018), 2019, 1176
  • [10] Method of Improving the Resource Utilization Based on Signal Extrapolation in Wireless Communication System
    Jiang Laiwei
    Sha Xuejun
    Zhang Naitong
    PROCEEDINGS OF 2016 SIXTH INTERNATIONAL CONFERENCE ON INSTRUMENTATION & MEASUREMENT, COMPUTER, COMMUNICATION AND CONTROL (IMCCC 2016), 2016, : 88 - 92
12345