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 条
  • [21] A parallel observer system for non-deterministic multirate systems
    Thein, MWL
    Misawa, EA
    JOURNAL OF DYNAMIC SYSTEMS MEASUREMENT AND CONTROL-TRANSACTIONS OF THE ASME, 2003, 125 (03): : 281 - 286
  • [22] Process Plan Controllers for Non-Deterministic Manufacturing Systems
    Felli, Paolo
    de Silva, Lavindra
    Logan, Brian
    Ratchev, Svetan
    PROCEEDINGS OF THE TWENTY-SIXTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2017, : 1023 - 1030
  • [23] Non-deterministic temporal logics for general flow systems
    Davoren, JM
    Coulthard, V
    Markey, N
    Moor, T
    HYBRID SYSTEMS: COMPUTATION AND CONTROL, PROCEEDINGS, 2004, 2993 : 280 - 295
  • [24] A theory for the semantics of stochastic and non-deterministic continuous systems
    Budde, Carlos E.
    D'Argenio, Pedro R.
    Sánchez Terraf, Pedro
    Wolovick, Nicolás
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8453 : 67 - 86
  • [25] An abstraction framework for mixed non-deterministic and probabilistic systems
    Huth, M
    VALIDATION OF STOCHASTIC SYSTEMS: A GUIDE TO CURRENT RESEARCH, 2004, 2925 : 419 - 444
  • [26] Non-deterministic semantics for paraconsistent C-systems
    Avron, A
    SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, PROCEEDINGS, 2005, 3571 : 625 - 637
  • [27] Static Backward Slicing of Non-deterministic Programs and Systems
    Danicic, Sebastian
    Laurence, Michael R.
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2018, 40 (03):
  • [28] A New Concept of Non-deterministic Hypersubstitutions for Algebraic Systems
    Leeratanavalee, Sorasak
    Phuapong, Sarawut
    THAI JOURNAL OF MATHEMATICS, 2022, : 25 - 37
  • [29] Risk analysis for non-deterministic mission planning and sequencing
    Cheung, Kar-Ming
    Ko, Adans
    Dang, Van
    Heckman, David
    2005 IEEE Aerospace Conference, Vols 1-4, 2005, : 147 - 158
  • [30] Non-deterministic computations in ELAN
    Kirchner, H
    Moreau, PE
    RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, 1999, 1589 : 168 - 182
12345