Reliability and Availability Analysis in Practice: Toward Multilevel Models for Complex Systems

被引:0
作者
Trivedi, Kishor [1 ]
Bobbio, Andrea [2 ]
机构
[1] Duke Univ, Dept Elect & Comp Engn, Durham, NC 27708 USA
[2] Univ Piemonte Orientale, DISIT, I-15121 Alessandria, Italy
关键词
Analytical models; Computational modeling; State-space methods; Reliability; Complex systems;
D O I
10.1109/MC.2023.3329751
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
This article discusses model-driven methods with analytic-numeric solutions. In addition to traditional non-state-space and state-space methods, multilevel methods are explored using real case studies. Challenges met while developing and solving dependability models of real systems are listed, and some solutions are outlined.
引用
收藏
页码:82 / 92
页数:11
相关论文
共 21 条
[1]   HETEROGENEOUS MULTIPROCESSOR SYSTEMS WITH BREAKDOWNS - PERFORMANCE AND OPTIMAL REPAIR STRATEGIES [J].
CHAKKA, R ;
MITRANI, I .
THEORETICAL COMPUTER SCIENCE, 1994, 125 (01) :91-109
[2]  
Fricks RB, 2017, P REL MAINT S
[3]   Stochastic Model Driven Capacity Planning for an Infrastructure-as-a-Service Cloud [J].
Ghosh, Rahul ;
Longo, Francesco ;
Xia, Ruofan ;
Naik, Vijay K. ;
Trivedi, Kishor S. .
IEEE TRANSACTIONS ON SERVICES COMPUTING, 2014, 7 (04) :667-680
[4]   Scalable Analytics for IaaS Cloud Availability [J].
Ghosh, Rahul ;
Longo, Francesco ;
Frattini, Flavio ;
Russo, Stefano ;
Trivedi, Kishor S. .
IEEE TRANSACTIONS ON CLOUD COMPUTING, 2014, 2 (01) :57-70
[5]   Fighting bugs: Remove, retry, replicate, and rejuvenate [J].
Grottke, Michael ;
Trivedi, Kishor S. .
COMPUTER, 2007, 40 (02) :107-109
[6]  
Hirel C, 2000, LECT NOTES COMPUT SC, V1786, P354
[7]   APPROXIMATE AVAILABILITY ANALYSIS OF VAXCLUSTER SYSTEMS [J].
IBE, OC ;
HOWE, RC ;
TRIVEDI, KS .
IEEE TRANSACTIONS ON RELIABILITY, 1989, 38 (01) :146-152
[8]   A method for modeling and quantifying the security attributes of intrusion tolerant systems [J].
Madan, BB ;
Goseva-Popstojanova, K ;
Vaidyanathan, K ;
Trivedi, KS .
PERFORMANCE EVALUATION, 2004, 56 (1-4) :167-186
[9]   POWER-HIERARCHY OF DEPENDABILITY-MODEL TYPES [J].
MALHOTRA, M ;
TRIVEDI, KS .
IEEE TRANSACTIONS ON RELIABILITY, 1994, 43 (03) :493-502
[10]   Sensitivity Analysis of Server Virtualized System Availability [J].
Matos, Rubens de S., Jr. ;
Maciel, Paulo R. M. ;
Machida, Fumio ;
Kim, Dong Seong ;
Trivedi, Kishor S. .
IEEE TRANSACTIONS ON RELIABILITY, 2012, 61 (04) :994-1006