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 条
  • [31] Non-deterministic inductive definitions
    van den Berg, Benno
    ARCHIVE FOR MATHEMATICAL LOGIC, 2013, 52 (1-2): : 113 - 135
  • [32] A theory of non-deterministic networks
    Mishchenko, A
    Brayton, RK
    ICCAD-2003: IEEE/ACM DIGEST OF TECHNICAL PAPERS, 2003, : 709 - 716
  • [33] Design and Analysis of a Non-deterministic Digital Signature Protocol
    Odule, Tola John
    Kaka, Olatubosun Abiodun
    INTERNATIONAL JOURNAL OF SECURITY AND ITS APPLICATIONS, 2012, 6 (04): : 119 - 130
  • [34] On model checking for non-deterministic infinite-state systems
    Emerson, EA
    Namjoshi, KS
    THIRTEENTH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1998, : 70 - 80
  • [35] Robust task scheduling in non-deterministic heterogeneous computing systems
    Shi, Zhiao
    Jeannot, Emmanuel
    Dongarra, Jack J.
    2006 IEEE INTERNATIONAL CONFERENCE ON CLUSTER COMPUTING, VOLS 1 AND 2, 2006, : 297 - +
  • [36] AN EFFICIENT FULLY SYMBOLIC BISIMULATION ALGORITHM FOR NON-DETERMINISTIC SYSTEMS
    Mumme, Malcolm
    Ciardo, Gianfranco
    INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2013, 24 (02) : 263 - 282
  • [37] Non-deterministic Matrices for Semi-canonical Deduction Systems
    Lahav, Ori
    2012 42ND IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL), 2012, : 79 - 84
  • [38] AlphaZero for a Non-deterministic Game
    Hsueh, Chu-Hsuan
    Wu, I-Chen
    Chen, Jr-Chang
    Hsu, Tsan-sheng
    2018 CONFERENCE ON TECHNOLOGIES AND APPLICATIONS OF ARTIFICIAL INTELLIGENCE (TAAI), 2018, : 116 - 121
  • [39] On non-deterministic supervisory control
    Fabian, M
    Lennartson, B
    PROCEEDINGS OF THE 35TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4, 1996, : 2213 - 2218
  • [40] Width of Non-Deterministic Automata
    Kuperberg, Denis
    Majumdar, Anirban
    35TH SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE (STACS 2018), 2018, 96
12345