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 条
  • [21] Communication and Resource Deadlock Analysis Using IMDS Formalism and Model Checking
    Daszczuk, Wiktor B.
    COMPUTER JOURNAL, 2017, 60 (05): : 729 - 750
  • [22] Intrusion detection system evaluation model based on model checking
    Xu, Pengtao
    Zhu, Weijun
    PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON ADVANCES IN MECHANICAL ENGINEERING AND INDUSTRIAL INFORMATICS (AMEII 2016), 2016, 73 : 723 - 727
  • [23] Model checking based on simultaneous reachability analysis
    Karaçali, B
    Tai, KC
    SPIN MODEL CHECKING AND SOFTWARE VERIFICATION, 2000, 1885 : 34 - 53
  • [24] Policy conflict detection method based on model checking
    Wu, D., 1600, Univ. of Electronic Science and Technology of China (42):
  • [25] Method of checking capability model based on description logic
    Dong, Qing-Chao
    Wang, Zhi-Xue
    Chen, Jian
    Zhang, Yi
    Xi Tong Gong Cheng Yu Dian Zi Ji Shu/Systems Engineering and Electronics, 2010, 32 (03): : 533 - 539
  • [26] Accident Rehearsal Method Based on Functional Model Checking
    Wu, Juyi
    Zhao, Tingdi
    Duan, Guihuan
    Tian, Jin
    PROCEEDINGS OF 2014 10TH INTERNATIONAL CONFERENCE ON RELIABILITY, MAINTAINABILITY AND SAFETY (ICRMS), VOLS I AND II, 2014, : 1195 - 1199
  • [27] Cloud model-based analysis of regional sustainable water resource utilization schemes
    Fu Qiang
    Meng Fanxiang
    Li Tianxiao
    Liu Dong
    Gong Fanli
    Osman, Amgad
    Li Yutong
    INTERNATIONAL JOURNAL OF AGRICULTURAL AND BIOLOGICAL ENGINEERING, 2016, 9 (05) : 67 - 75
  • [28] System resource utilization analysis and prediction for cloud based applications under bursty workloads
    Yin, Jianwei
    Lu, Xingjian
    Chen, Hanwei
    Zhao, Xinkui
    Xiong, Neal N.
    INFORMATION SCIENCES, 2014, 279 : 338 - 357
  • [29] The evaluation method of livestock manure resource utilization management model based on random forest algorithm
    Wang, Buyu
    Du, Jialei
    Yu, Youxin
    Journal of Biotech Research, 2023, 15 : 346 - 354
  • [30] Model Checking Analysis of Observational Transition System with SMV
    He, Tao
    Li, Huazhong
    Qin, Guorong
    INFORMATION COMPUTING AND APPLICATIONS, PT II, 2011, 244 : 537 - 544
12345