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 条

[1] Stability of Non-deterministic Systems
Duarte, Pedro
Torres, Maria Joana
FROM PARTICLE SYSTEMS TO PARTIAL DIFFERENTIAL EQUATIONS II, 2015, 129 : 193 - 207
[2] Squeeziness for non-deterministic systems
Ibias, Alfredo
Nunez, Manuel
INFORMATION AND SOFTWARE TECHNOLOGY, 2023, 158
[3] Deterministic and non-deterministic hypersubstitutions for algebraic systems
Joomwong, Jintana
Phusanga, Dara
ASIAN-EUROPEAN JOURNAL OF MATHEMATICS, 2016, 9 (02)
[4] NON-DETERMINISTIC FUNCTIONS AS NON-DETERMINISTIC PROCESSES
Paulus, Joseph W. N.
Nantes-Sobrinho, Daniele
Perez, Jorge A.
LOGICAL METHODS IN COMPUTER SCIENCE, 2023, 19 (04) : 1 - 1
[5] TRANSIENT SOLUTION OF NON-DETERMINISTIC SYSTEMS
PADOVAN, J
ZEID, I
JOURNAL OF THE FRANKLIN INSTITUTE-ENGINEERING AND APPLIED MATHEMATICS, 1979, 308 (05): : 497 - 511
[6] Non-deterministic modeling in reliability and safety analysis: The U-factor
Zio, E.
PROCEEDINGS OF LSAME.08: LEUVEN SYMPOSIUM ON APPLIED MECHANICS IN ENGINEERING, PTS 1 AND 2, 2008, : 473 - 488
[7] Evaluating Non-Deterministic Retrieval Systems
Jayasinghe, Gaya K.
Webber, William
Sanderson, Mark
Dharmasena, Lasitha S.
Culpepper, J. Shane
SIGIR'14: PROCEEDINGS OF THE 37TH INTERNATIONAL ACM SIGIR CONFERENCE ON RESEARCH AND DEVELOPMENT IN INFORMATION RETRIEVAL, 2014, : 911 - 914
[8] On conformance testing of non-deterministic systems
Ye, XM
Zhou, JT
Song, XY
Liu, YM
INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 2001, 77 (01) : 55 - 72
[9] Combinatorial stability of non-deterministic systems
Duarte, P
Torres, MJ
ERGODIC THEORY AND DYNAMICAL SYSTEMS, 2006, 26 : 93 - 128
[10] Algorithm analysis for stability of non-deterministic discrete event systems
School of Electronics and Information Engineering, Tongji University, Shanghai 200092, China
不详
Kongzhi yu Juece Control Decis, 2008, 3 (346-348):

← 1 2 3 4 5 →