萨尔瓦多Distefano;弗朗切斯科·隆戈;Kishor S.特里维迪。 通过状态空间模型研究动态可靠性和可用性。 （英语） Zbl 1268.6011号 计算。数学。申请。 64，第12期，3701-3716（2012）. 概述：质量标准对服务质量属性和度量提出了越来越严格的要求和约束。因此，在定量评估中，必须考虑到迄今为止近似或忽略的方面、现象和行为，以便提供满足越来越小的置信区间和容差的足够测量。就可靠性和可用性而言，这意味着不能再忽视涉及系统组件的干扰和依赖性。因此，为了支持这种趋势，需要特定的技术和工具来充分处理可靠性和可用性评估中的动态方面。本文的主要目标是演示基于状态空间的技术如何满足这种需求。为此，考虑使用基于状态空间的技术来研究相应的可靠性模型，以一些特定动态可靠性行为的示例，例如共因失效和负载分担。还探讨了可用性上下文中的不同修复策略。通过相型展开和更新理论研究了马尔科夫模型和非马尔科夫模式，以便在寿命和维修时间普遍分布的情况下，充分表示和评估所考虑的动态可靠性方面。 引用于1文件 MSC公司： 60K20码 马尔可夫更新过程的应用（可靠性、排队网络等） 62号05 可靠性和寿命测试 第60页 统计学在工程和工业中的应用；控制图 关键词：可靠性;可利用性;非马尔科夫模型;相型膨胀;半马尔可夫模型;马尔可夫再生过程 软件：数学软件;分享 PDF格式BibTeX公司 XML格式引用 \textit{S.Distefano}等人，计算。数学。申请。64，第12号，3701--3716（2012；Zbl 1268.6011） 全文： 内政部 参考文献： [1] 格雷，J。；Siewiorek，D.P.，《高可用性计算机系统》，IEEE computer，9，39-48（1991） [2] Bernstein，L.，《预防网络中断的创新技术》，美国电话电报公司技术期刊，72，4，9-10（1993） [3] K.S.Trivedi、K.Vaidyanathan和K.Goseva-Popstojanova，《软件老化和恢复的建模与分析》，第33届年度模拟研讨会，2000年。（SS 2000）《会议记录》，2000年，第270-279页。doi:10.1109/SIMSYM.2000.844925；K.S.Trivedi、K.Vaidyanathan和K.Goseva-Popstojanova，《软件老化和恢复的建模与分析》，第33届年度模拟研讨会，2000年。（SS 2000）《会议记录》，2000年，第270-279页。doi:10.1109/SIMSYM.2000.844925 [4] M.Grottke，R.Matias，K.S.Trivedi，《软件老化的基础》，摘自：《软件可靠性工程研讨会》，2008年。ISSRE Wksp 2008。IEEE国际会议，2008年，第1-6页。doi:10.1109/ISSREW.2008.5355512；M.Grottke，R.Matias，K.S.Trivedi，《软件老化的基本原理》，载于：软件可靠性工程研讨会，2008年。ISSRE Wksp 2008。IEEE国际会议，2008年，第1-6页。doi:10.1010/ISSREW.2008.5355512 [5] 海曼，D.I。；米塔尔，N。；Trivedi，K.，计算机系统的可用性和可靠性建模，（Yovits，M.C.，《计算机进展》，第31卷（1990年），学术出版社：美国加利福尼亚州圣地亚哥学术出版社），175-233 [6] Muppala，J.K。；Malhotra，M。；Trivedi，K.S.，《复杂系统的马尔可夫可信性模型：分析技术》，（Øzekici，S.，复杂系统的可靠性和维护（1996），施普林格：施普林格柏林，德国），442-486·Zbl 0870.60069号 [7] Sahner，R。；特里维迪，K.S。；Puliafito，A.，《计算机系统的性能和可靠性分析：使用SHARPE软件包的基于实例的方法》·Zbl 0847.68010号 [8] Dhillon，B.S.，《系统设计和操作中的可靠性工程》（1983），Van Nostrand Reinhold：美国纽约州纽约市Van Nostrand Reinho尔德 [9] 特里维迪，K.S。；Geist，R.M.，容错计算机系统可靠性分析中的分解，IEEE可靠性事务，32，5，463-468（1983）·Zbl 0548.60086号 [10] 盖斯特，R。；Smotherman，M。；特里维迪，K.S。；Bectha Dugan，J.，生命关键系统的可靠性分析，信息学报，23，6（1986）·Zbl 0602.68009号 [11] 盖斯特·R·M。；Smotherman，M。；特里维迪，K.S。；Dugan，J.B.，《Weibull故障过程在容错系统建模中的应用》，AIAA制导、控制和动力学杂志，11，91-93（1988）·Zbl 0709.62588号 [12] 弗里克斯，R。；Telek，M。；普利亚菲托，A。；Trivedi，K.，马尔可夫更新理论在性能评估中的应用，（Bagchi，K.:Zobrist，G.，《性能建模与仿真的最新进展》，《高级计算机系统的建模与仿真：应用与系统》（1997），Gordon and Breach Publishers：Gordon和Breach出版社，纽瓦克，新泽西州，EUA），193-236 [13] R.Fricks，L.Yin，K.Trivedi，半马尔可夫过程和CTMC在UPS系统可用性评估中的应用，载于：RAMS’2002年，2002年，第584-591页。；R.Fricks，L.Yin，K.Trivedi，《半马尔可夫过程和CTMC在UPS系统可用性评估中的应用》，载于：RAMS’2002年，2002年，第584-591页。 [14] Perman，M。；Senegacnik，A。；Tuma，M.，Semi-Markov模型及其在电力可靠性分析中的应用，IEEE可靠性汇刊，46，4，526-532（1997） [15] N.Wereley，B.Walker，近似半马尔可夫链可靠性模型，载于：第27届IEEE决策与控制会议，第3卷，1988年，第2322-2329页。；N.Wereley，B.Walker，近似半马尔可夫链可靠性模型，收录于：第27届IEEE决策与控制会议，第3卷，1988年，第2322-2329页。 [16] 特里维迪，K.S。；穆帕拉，J.K。；Woolet，S.P。；Haverkort，B.R.，综合性能和可靠性分析，性能评估，14，3&4，197-216（1992）·Zbl 0757.90028号 [17] 戈哈雷，S.S。；菲利普·T。；Marinos，P.N.，不完全修复的非齐次马尔可夫软件可靠性模型，（计算机性能和可靠性研讨会，国际（1996）），262 [18] 加格，S。；普利亚菲托，A。；Telek，M。；Trivedi，K.S.，基于事务的软件系统预防性维护分析，IEEE计算机事务，47，1，96-107（1998） [19] Bao，X.Sun，K.S.Trivedi，《自适应软件复兴：退化模型和复兴方案》，载：《可靠系统和网络国际会议》，2003年。《会议记录》，2003年，第241-248页。doi:10.1109/DSN.2003.1209934；Bao，X.Sun，K.S.Trivedi，《自适应软件复兴：退化模型和复兴方案》，载：《可靠系统和网络国际会议》，2003年。《会议记录》，2003年，第241-248页。doi:10.1109/DSN.2003.1209934 [20] Bao，Y。；太阳，X。；Trivedi，K.S.，基于工作负荷的软件老化和恢复分析，IEEE可靠性汇刊，54，3，541-548（2005） [21] 库特拉斯，V.P。；Platis，A.N。；Gravvanis，G.A.，《关于使用非齐次马尔可夫链软件复兴模型优化自由资源》，可靠性工程与系统安全，92，12，1724-1732（2007），ESREL 2005专刊 [22] J·inlar，E.，《随机过程导论》（1975），普伦蒂斯·霍尔：普伦蒂塞·霍尔·恩格尔伍德克利夫斯，美国新泽西州·Zbl 0341.60019号 [23] Kulkarni，V.G.，《随机系统的建模与分析》（1995），查普曼和霍尔：查普曼&霍尔伦敦，英国·Zbl 0938.60004号 [24] Smith，W.L.，《更新理论及其影响》，《皇家统计学会杂志》，B辑，20，2，243-302（1958）·Zbl 0091.30101号 [25] R.German，D.Logothetis，K.S.Trivedi，《马尔可夫再生随机Petri网的瞬态分析：方法的比较》，摘自：《第六届Petri网与性能模型国际研讨会论文集》，1995年，美国北卡罗来纳州达勒姆，第103-111页。；R.German，D.Logothetis，K.S.Trivedi，《马尔可夫再生随机Petri网的瞬态分析：方法的比较》，载于：《第六届Petri网与性能模型国际研讨会论文集》，1995年，美国北卡罗来纳州达勒姆，第103-111页。 [26] Logothetis，D。；Trivedi，K.，带集中器附件的双反向旋转环的可靠性评估，ACM/IEEE网络汇刊，2，5，520-532（1994） [27] Logothetis，D。；Trivedi，K.，《具有确定性修复的冗余系统的时间依赖性行为》，（Stewart，W.J.，《马尔可夫链计算》（1995），Kluwer学术出版社：美国马萨诸塞州诺威尔市Kluwer-学术出版社），135-150·Zbl 0862.60075号 [28] Logothetis，D。；Trivedi，K.，检测和恢复时间对通信网络中错误恢复的影响，《网络和系统管理杂志》，5，2173-195（1997） [29] V.Mainkar，K.Trivedi，《使用随机奖励网对优先级调度系统的近似分析》，载于：《第13届分布式计算系统国际会议论文集-ICDCS’93》，匹兹堡，宾夕法尼亚州，美国，1993年，第466-473页。；V.Mainkar，K.Trivedi，《使用随机奖励网对优先级调度系统进行近似分析》，载于：《第13届分布式计算系统国际会议论文集-ICDCS’93》，匹兹堡，宾夕法尼亚州，美国，1993年，第466-473页。 [30] 电报，M。；Pfening，A.，马尔可夫再生报酬模型的绩效分析，绩效评估，27&28，1-18（1996）·Zbl 0900.68059号 [31] 中川，T。；Osaki，S.，具有一些非再生点的马尔可夫更新过程及其在可靠性理论中的应用，微电子可靠性，15，6633-636（1976） [32] 金，Q。；Y.Sugasawa。；Seya，K.，应用petri网和马尔可夫更新过程理论对多机器人系统进行概率行为和可靠性分析，微电子与可靠性，29，6，993-1001（1989） [33] 利尼奥斯，北卡罗来纳州。；Oprisan，G.，《Semi-Markov过程和可靠性》，《工业和技术统计》（2001），Birkhäuser:Birkháuser Boston，MA，USA·Zbl 0990.60004号 [34] 詹森，J。；Manca，R.，金融、保险和可靠性的Semi-Markov风险模型（2007），Springer·Zbl 1144.91027号 [35] 巴洛·R·E。；Proschan，F.，《可靠性数学理论》，《应用数学经典》（1965），威利出版社，纽约·Zbl 0132.39302号 [36] Lisnianski，A。；Levitin，G.，（《多国系统可靠性——评估、优化和应用》，多国系统可靠性：评估、优化与应用，质量、可靠性和工程统计丛书，第6卷（2003年），世界科学出版社）·Zbl 1030.90017号 [37] Csenki，A.，《有限半马尔可夫过程建模系统的区间可靠性》，微电子。信实。，34, 8, 1319-1335 (1994) [38] Csenki，A.，马尔可夫系统的联合区间可靠性及其在输电线路可靠性中的应用，可靠性工程与系统安全，92，6，685-696（2007） [39] L.Yin，R.Fricks，K.Trivedi，半马尔可夫过程和CTMC在ups系统可用性评估中的应用，载于：可靠性和可维护性研讨会，2002年。诉讼程序。《年度报告》，2002年，第584-591页。doi:10.1109/RAMS.2002.981706；L.Yin，R.Fricks，K.Trivedi，半马尔可夫过程和CTMC在ups系统可用性评估中的应用，载于：可靠性和可维护性研讨会，2002年。诉讼程序。《年度报告》，2002年，第584-591页。doi:10.1109/RAMS.2002.981706 [40] Pievatolo，A。；蒂罗尼，E。；Valade，I.，《应用于不间断电源的电力系统可靠性评估的Semi-Markov过程》，电力系统，IEEE汇刊，19，3，1326-1333（2004） [41] Grabski，F.，具有半马尔可夫失效率的对象的可靠性，应用数学与计算，135，1，1-16（2003）·Zbl 1021.60070号 [42] Vaidyanathan，K。；Selvamuthu，D。；Trivedi，K.S.，《操作软件系统中基于检查的预防性维护分析》，（可靠分布式系统，IEEE研讨会，2002年），286 [43] Koutras，V.P.公司。；Platis，A.N.，具有部分和完全恢复功能的冗余系统的半马尔科夫可用性建模，（计算机系统的可靠性，国际会议，2008年），127-134 [44] W.Xie，H.Sun，Y.Cao，K.S.Trivedi，用户感知的web服务器可用性建模，收录于：IEEE国际通信会议论文集，2003年。；W.Xie，H.Sun，Y.Cao，K.S.Trivedi，《用户感知网络服务器可用性建模》，载于《IEEE国际通信会议论文集》，2003年。 [45] 穆拉，I。；Bondavalli，A.，马尔可夫再生随机petri网，用于建模和评估分阶段任务系统的可靠性，IEEE计算机事务，50，12，1337-1351（2001） [46] 常墨，Y。；Siewiorek，D。；宗扬，X.，容错多相系统的任务可靠性分析，可靠性工程与系统安全，93，7，1036-1046（2008），可靠性贝叶斯网络 [47] 谢文华，夏普的马尔可夫再生过程，硕士论文，杜克大学电气与计算机工程系，北卡罗来纳州达勒姆，美国，1999。；谢伟，夏普的马尔可夫再生过程，硕士论文，杜克大学，电气与计算机工程系，北卡罗来纳州达勒姆，美国，1999年。 [48] Papazoglou，I.A.，《具有可测试部件和一般测试/停机时间的系统的半马尔可夫可靠性模型》，可靠性工程与系统安全，68，2，121-133（2000） [49] Faria，J.A。；Matos，M.A.，《多部件非马尔可夫系统可靠性评估的分析方法》，可靠性工程与系统安全，74，2，193-210（2001） [50] Brokemeyer，F。；霍尔斯特龙，H.S。；Jensen，A.，A.K.Erlang的生平与作品，丹麦技术科学院学报，2（1948）·Zbl 0033.05101号 [51] Neuts，M.F.，阶段型更新过程，《海军研究后勤季刊》，25，3，445-454（1978）·Zbl 0393.90096号 [52] Perez-Ocon，R。；Castro，J.E.R.，具有相型逗留时间分布的可修复两系统的两个模型，可靠性工程与系统安全，84，3，253-260（2004） [53] Montoro-Cazorla，D。；Perez-Ocon，R.，《具有两种维修模式和逗留时间相类型分布的恶化双系统》，《可靠性工程与系统安全》，91，1，1-9（2006） [54] Ruiz-Castro，J.E。；Perez-Ocon，R。；Fernndez-Villodre，G.，《离散相型分布控制的可靠性系统建模》，《可靠性工程与系统安全》，93，11，1650-1657（2008） [55] Amari，S.V。；迈尔斯，A.F。；Rauzy，A。；Trivedi，K.S.，《不完美覆盖模型：现状和趋势》（Misra，K.B.，《性能工程手册》（2008），施普林格：施普林格伦敦），321-348，URLhttp://dx.doi.org/10.1007/978-1-84800-131-2-22 [56] Malhotra，M。；Reibman，A.，为半马尔可夫模型选择和实现相位近似，随机模型，9，4，473-506（1993）·Zbl 0780.60086号 [57] Wolfram Research，Wolfram（数学^{^®}）http://www.wolfram.com/products/mathematica/index.html; Wolfram Research，Wolfram（数学^{^®}）http://www.wolfram.com/products/mathematica/index.html [58] 博德罗格，L。；Heindl，A。；Horváth，G。；Telek，M.，二阶矩阵指数过程的马尔可夫标准形，《欧洲运筹学杂志》，127,2459-477（2008）·Zbl 1145.60049号 [59] Choi，H。；库尔卡尼，V.G。；Trivedi，K.S.，马尔可夫再生随机Petri网，性能评估，20337-357（1994） [60] 文莱，D。；Distefano，S。；Longo，F。；普利亚菲托，A。；Scarpa，M.，通过马尔科夫技术评估无线传感器节点寿命，计算机网络，56，2，521-532（2012） [61] S.Distefano，F.Longo，M.Scarpa，《动态可靠性评估中的符号表示技术》，载于：高保证系统工程（HASE），2010年IEEE第12届国际研讨会，2010年，第45-53页。doi:10.1109/HASE.2010.28；S.Distefano，F.Longo，M.Scarpa，《动态可靠性评估中的符号表示技术》，载于：高保证系统工程（HASE），2010年IEEE第12届国际研讨会，2010年，第45-53页。doi:10.1109/HASE.2010.28 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。