RaPiD: A Toolkit for Reliability Analysis of Non-deterministic Systems

被引：0
|
作者：
Gui, Lin [1 ]
Sun, Jun [2 ]
Liu, Yang [3 ]
Truong Khanh Nguyen [2 ]
Dong, Jin Song [1 ]
机构：
[1] Natl Univ Singapore, Singapore, Singapore
[2] Singapore Univ Technol & Design, Singapore, Singapore
[3] Nanyang Technol Univ, Singapore, Singapore
来源：
22ND ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (FSE 2014) | 2014年
关键词：
reliability analysis; Markov Decision Process; non-determinism; AVAILABILITY;
D O I：
10.1145/2635868.2661668
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Non-determinism in concurrent or distributed software systems (i.e., various possible execution orders among different distributed components) presents new challenges to the existing reliability analysis methods based on Markov chains. In this work, we present a toolkit RaPiD for the reliability analysis of non-deterministic systems. Taking Markov decision process as reliability model, RaPiD can help in the analysis of three fundamental and rewarding aspects regarding software reliability. First, to have reliability assurance on a system, RaPiD can synthesize the overall system reliability given the reliability values of system components. Second, given a requirement on the overall system reliability, RaPiD can distribute the reliability requirement to each component. Lastly, RaPiD can identify the component that affects the system reliability most significantly. RaPiD has been applied to analyze several real-world systems including a financial stock trading system, a proton therapy control system and an ambient assisted living room system. The is available at http://fse22.gatech.edu/cfp/demos
引用
收藏
页码：727 / 730
页数：4
相关论文
共 50 条
  • [41] Non-deterministic inductive definitions
    Benno van den Berg
    Archive for Mathematical Logic, 2013, 52 : 113 - 135
  • [42] Fuzzy and non-deterministic automata
    J. Močkoř
    Soft Computing, 1999, 3 (4) : 221 - 226
  • [43] Non-deterministic games and program analysis: an application to security
    Imperial Coll, London, United Kingdom
    Proc Symp Logic Comput Sci, (443-452):
  • [44] Preference and Non-deterministic Choice
    Stoddart, Bill
    Zeyda, Frank
    Dunne, Steve
    THEORETICAL ASPECTS OF COMPUTING, 2010, 6255 : 137 - +
  • [45] Non-deterministic structures of computation
    Fu, Yuxi
    MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2015, 25 (06) : 1295 - 1338
  • [46] Can a Model Checker Generate Tests for Non-Deterministic Systems?
    Boroday, Sergiy
    Petrenko, Alexandre
    Groz, Roland
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 190 (02) : 3 - 19
  • [47] NON-DETERMINISTIC KLEENE COALGEBRAS
    Silva, Alexandra
    Bonsangue, Marcello
    Rutten, Jan
    LOGICAL METHODS IN COMPUTER SCIENCE, 2010, 6 (03) : 1 - 39
  • [48] Non-deterministic social laws
    Coen, MH
    SEVENTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-2001) / TWELFTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE (IAAI-2000), 2000, : 15 - 21
  • [49] Non-deterministic structures of computation
    Fu, Yuxi, 1600, Cambridge University Press (29):
  • [50] NETWORKS OF NON-DETERMINISTIC AUTOMATA
    ZECH, KA
    KYBERNETIKA, 1976, 12 (02) : 86 - 102
12345