萨尔瓦多Distefano 如何捕获可靠系统的动态行为。 (英语) Zbl 1178.68085号 国际J.并行紧急配送系统。 24,第2期,127-150(2009). 概要:就可靠性而言,如果一个单元、子系统或系统的失效概率是可变的,则认为它是动态的。从系统的角度来看,可靠性取决于单元的动态、这些单元之间产生的相互依赖性(负载共享、备用冗余、干扰等)以及它们的可靠性关系,这些关系也可能是可变的(分阶段任务系统)。这些特性对用于评估系统可靠性的技术的选择有很大影响。如果系统的单元是随机独立的,则可以采用组合技术。否则,需要借助较低级别的技术和形式,例如:状态空间方法、混合(组合/状态空间)技术或模拟。本文分析了容错/相关/动态系统的可靠性。该方法基于依赖关系及其组合的概念。在本文中,我们从高抽象级别深入研究了这些概念。此外,基于动态可靠性框图的使用,我们通过扩展众所周知的可靠性框图开发了一种符号,我们详细说明了这种建模方法如何捕获动态可靠性行为。为了证明这种技术的有效性,我们主要讨论容错动态相关计算系统,研究一些动态可靠性/可用性行为,并为其表示和评估提供指导。评估一个复杂容错计算系统的结果支持了这一讨论,该系统中的几个单元受常见原因事件、共享工作负载和其他动态可靠行为的影响。 引用于1文件 MSC公司: 68米15 网络和计算机系统的可靠性、测试和容错 关键词:可靠性;可用性;动态相关系统;容错性;动态可靠性框图;分布式容错计算系统 软件:分享;莫比乌斯 PDF格式BibTeX公司 XML格式引用 \textit{S.Distefano},国际J.并行紧急配送系统。24,第2号,127--150(2009;Zbl 1178.68085) 全文: 内政部 参考文献: [1] 巴洛·R.E.,《应用数学经典》(1965) [2] DOI:10.115/2007/43565·Zbl 1211.90056号 ·doi:10.1155/2007/43565 [3] 内政部:10.1109/TSE.2003.1183940·Zbl 05113431号 ·doi:10.10109/TSE.2003.1183940 [4] Bolch G.,排队网络和马尔可夫链:计算机科学应用的建模和性能评估,2。编辑(2006)·Zbl 1099.60002号 ·doi:10.1002/0471791571 [5] DOI:10.1016/S0951-8320(03)00143-1·doi:10.1016/S0951-8320(03)00143-1 [6] M.A.Boyd,《动态故障树模型:高级容错计算机系统分析技术》,杜克大学计算机科学系博士论文,1991年4月 [7] Buchacker K.,IEEE高保证系统国际研讨会。工程(HASE)(2000) [8] Clark G.,Petri网和性能模型(PNPM)(2001) [9] Cox D.R.,J.R.Stat.Soc.Ser.公司。B(Methodol.)34第187页–(1972年) [10] Cox D.R.,《队列》(1961年) [11] S.Distefano,《系统可靠性和性能:技术、方法和工具》,墨西拿大学博士论文,2006年1月 [12] Distefano S.,《安全与可靠性会议记录》(ESREL06)(2006) [13] Puliafito A.,IEEE可靠安全计算交易(2007) [14] 内政部:10.1109/SRDS.2006.32·doi:10.1109/SRDS.2006.32 [15] 内政部:10.1109/24.159800·Zbl 0825.68162号 ·doi:10.1109/24.159800 [16] 内政部:10.1016/0951-8320(93)90005-J·doi:10.1016/0951-8320(93)90005-J [17] Feller W.,概率论及其应用导论——第一卷和第二卷(1968年)·Zbl 0155.23101号 [18] 内政部:10.1109/2.56852·Zbl 05089561号 ·doi:10.1009/2.56852 [19] IEC/EN标准。1999–2002. ”国际标准:61508,电气电子可编程电子安全相关系统的功能安全”。国际电工委员会,日内瓦,第4部分:定义版 [20] IEEE标准术语权威词典,7。编辑(2000) [21] 内政部:10.1198/0162145000000863·Zbl 1117.62375号 ·doi:10.1198/016214500000863 [22] DOI:10.1009/24.935017·Zbl 04566719号 ·doi:10.1109/24.935017 [23] Marseguerra M.,蒙特卡洛方法基础及其在系统可靠性中的应用(2002) [24] Miner A.,计算机通信系统测量、建模和评估国际多方会议(2001年) [25] 内政部:10.1007/978-0-585-27377-8_3·doi:10.1007/978-0-585-27377-83 [26] Montani S.,《第一届可用性、可靠性和安全性国际会议论文集》,ARES 2006,第804页–(2006) [27] Rausand M.,《系统可靠性理论:模型、统计方法和应用》,3。编辑(2003) [28] 系统分析参考:可靠性可用性和优化(2003) [29] Sahner R.A.,SHARPE:符号层次自动可靠性和性能评估器,用户介绍和指南(1992年) [30] Sahner R.,《计算机系统的性能和可靠性分析:使用SHARPE软件包的基于实例的方法》(1996)·Zbl 0847.68010号 [31] Scarpa M.,第十届欧洲PVM/MPI用户小组会议(EuroPVM/MPI03),第196页–(2003) [32] Shooman M.L.,《计算机系统和网络的可靠性:容错、分析和设计》(2002年) [33] Soh B.C.,第43届年度可靠性和可维护性研讨会论文集,第164页–(1997)·doi:10.1109/RAMS.1997.571698 [34] Ushakov I.,《威利电子电气工程百科全书》(1999) [35] Vesely W.E.,《故障树手册》(1981年) [36] DOI:10.1016/j.ress.2003.10.13·doi:10.1016/j.ress.2003.10.13 [37] DOI:10.1016/j.ress.2007.03.034·doi:10.1016/j.ress.2007.03.034 [38] 谢明,《计算系统可靠性:模型与分析》(2004) 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。