×

马尔可夫报酬模型的规范技术。 (英语) Zbl 0777.68029号

马尔可夫报酬模型(MRM)通常用于计算机和通信系统的性能、可靠性和可执行性分析。许多论文都讨论了MRM的求解技术。很少关注MRM的规范和底层MRM的后续推导。我们只简要介绍MRM的数学方面。相反,重点放在规范技术上。
以独立于应用程序的方式,我们区分了七类规范技术:随机Petri网、排队网络、故障树、产生式规则系统、通信过程、专用语言和混合技术。对于这七个类,我们讨论了主要原理,给出了示例,并讨论了支持使用这些技术的软件工具。
以前的文献中没有这样的概述。最后,本文讨论了从高层规范生成底层MRM,并指出了重要的未来研究领域。

MSC公司:

68平方米 计算机系统环境下的性能评估、排队和调度
68N99型 软件理论
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Ajmone Marsan,M。;孔戴,G。;Balbo,G.,一类用于多处理器系统性能评估的广义随机Petri网,ACM Trans。计算。系统,2,293-122(1984)·doi:10.1145/190.191
[2] H.H.阿马尔、S.M.R.伊斯兰和S.1989邓。并行和分布式算法的性能分析。程序。第三期国际Petri网和性能模型研讨会,IEEE计算机社会出版社,第240-248页。
[3] Baskett,F。;Muntz,R.R。;Chandy,K.M。;Palacios,F.G.,具有不同类别客户的开放、封闭和混合排队网络,J.ACM,22,2,248-260(1975)·Zbl 0313.68055号 ·数字对象标识代码:10.1145/321879.321887
[4] Bavuso,S.J。;Bechta Dugan,J。;特里维迪,K.S。;罗斯曼,E.M。;Smith,W.E.,使用HARP的典型容错体系结构分析,IEEE Trans。可靠性,36,2,176-185(1987)·doi:10.1109/TR.1987.5222335
[5] Beilner,H.等人。;Mäter,J。;韦森伯格,N。;Potier博士。;Puigjaner,R.,《迈向性能建模环境:HIT新闻》,《计算机性能评估的建模技术和工具》,57-75(1989),纽约:Plenum出版社,纽约
[6] Berson,S.、de Souza e Silva,e.和Muntz,R.R.1987。马尔可夫模型规范的面向对象方法。加州大学洛杉矶分校技术报告CSD-870030·Zbl 0736.68002号
[7] 鲍比奥,A。;波特,D。;Puigjaner,R.,为可降解系统的性能/可靠性分析生成马尔可夫奖励模型的Petri网,计算机性能评估的建模技术和工具,353-365(1989),纽约:Plenum出版社,纽约
[8] Buchholz,P.1991。《模具结构分析Markoffcher模型》,Informatik Fachberichte 282,Springer-Verlag·Zbl 0873.68011号
[9] 巴特勒,R.W.,1986年。SURE可靠性分析程序。NASA技术备忘录87593。
[10] Carrasco,J.A.,《建模与公差评估》,西班牙加泰罗尼亚大学,西班牙
[11] Carrasco,J.A.和Figueras,J.,1986年。Metfac:设计和实现一种软件工具,用于复杂容错计算系统的建模和评估。程序。FTCS 16,IEEE计算机学会出版社,第424-429页。
[12] Chiola,G。;费迪达,S。;Pujolle,G.,《用于性能分析、建模技术和性能评估的图形Petri网工具》,323-333(1987),阿姆斯特丹:北荷兰
[13] Ciardo,G.、Blakemore,A.、Chimento,P.F.J.、Muppala,J.K.和Trivedi,K.S.,1992年。使用随机奖励网自动生成和分析马尔可夫奖励模型。线性代数、马尔可夫链和排队模型(C.Meyer和R.J.Plemmons编辑)。IMA数学及其应用卷第48卷,Springer-Verlag·Zbl 0799.60085号
[14] Ciardo,G.、Muppala,J.和Trivedi,K.S.1989年。SPNP:随机Petri网包。程序。第三次Petri网和性能模型研讨会,IEEE计算机社会出版社,第142-151页。
[15] Ciardo,G。;Muppala,J.K。;Trivedi,K.S.,关于GSPN奖励模型的解决方案,执行评估。,12, 4, 237-254 (1991) ·Zbl 0754.60097号 ·doi:10.1016/0166-5316(91)90003-L
[16] Ciardo,G。;Trivedi,K.S.,随机Petri网模型的分解方法,性能评估。,18, 1, 37-59 (1993) ·Zbl 0788.68105号 ·doi:10.1016/0166-5316(93)90026-Q
[17] A.E.Conway和A.Goyal,1987年。计算机系统可用性/可靠性模型的蒙特卡罗模拟。程序。FTCS 17,IEEE计算机学会出版社,第230-235页。
[18] Couvillion,J.A.、Freire,R.、Johnson,R.,Obal,W.D.II、Qureshi,A.、Rai,M.、Sanders,W.H.和Tvedt,J.E.1991年。使用UltraSAN进行性能建模。IEEE软件,9月,第69-80页。
[19] Cumani,A.1985年。ESP——评估具有相类型分布转移时间的随机Petri网的包。程序。Int.Workshop Timed Petri Nets,IEEE Computer Society Press,第144-151页。
[20] 迪亚兹,M。;Ansart,P。;科尔塔特·J·P。;阿泽马,P。;Chari,V.,形式描述技术ESTELLE(1989),阿姆斯特丹:荷兰北部·Zbl 0800.68014号
[21] 多纳蒂耶洛,L。;Iyer,B.R.,《容错系统综合性能可靠性度量分析》,J.ACM,34,1,179-199(1987)·Zbl 0629.68002号 ·doi:10.1145/7531.7536
[22] van Eijk,P.H.J。;Vissers,C.A。;Diaz,M.,《形式描述技术LOTOS》(1989),阿姆斯特丹:荷兰北部·Zbl 0800.68015号
[23] 盖斯特,R。;Trivedi,K.S.,容错系统的可靠性评估:工具和技术,IEEE计算。,23, 7, 52-61 (1990)
[24] Goyal,A.、Carter,W.C.、de Souza e Silva,e.、Lavenberg,S.S.和Trivedi,K.S.,1986年。系统可用性估计器。程序。FTCS 16,IEEE计算机学会出版社,第84-89页。
[25] 戈亚尔,A。;Lavenberg,S.S.,《计算机系统可用性建模与分析》,IBM J.Res.Dev.,31,6,651-664(1987)·doi:10.1147/rd.316.0651
[26] 戈亚尔,A。;Lavenberg,S.S。;Trivedi,K.S.,《计算机系统可用性的概率建模》,Ann.Oper。Res.,8285-306(1987)·doi:10.1007/BF02187098
[27] 戈亚尔,A。;Shahabuddin,P。;海德堡,P。;尼古拉,V.F。;Glynn,P.W.,《模拟高可靠系统的马尔科夫模型的统一框架》,IEEE Trans。计算。,41, 1, 36-51 (1992) ·doi:10.1109/12.123381
[28] 戈亚尔,A。;Tantawi,A.N.,可降解计算机系统性能评估,IEEE Trans。计算。,36, 6, 738-744 (1987) ·兹比尔0616.68002
[29] 总直径。;Miller,D.R.,《作为瞬态马尔可夫过程建模工具和求解程序的随机化技术》,Oper。研究,32,2,343-361(1984)·Zbl 0536.60078号 ·doi:10.1287/opre.32.2343
[30] Haverkort,B.R.,使用广义随机Petri网的近似性能和可靠性建模,性能评估。,18, 1, 61-78 (1993) ·Zbl 0848.68008号 ·doi:10.1016/0166-5316(93)90027-R
[31] Haverkort,B.R.1990年。可执行性建模工具、评估技术和应用程序。特温特大学博士论文。
[32] B.R.Haverkort和I.G.Niemegeers,1991年。可执行性建模工具:调查。内存。通知。特温特大学91-82。
[33] B.R.Haverkort。;Niemegeers,I.G.,《使用动态排队网络作为指定性能模型的工具》,ACM Performan。评估。修订版,17、1、225(1989)
[34] B.R.Haverkort。;Niemegeers,I.G。;Veldhuyzen van Zanten,P。;Balbo,G。;Serazzi,G.,DyQNtool——一种基于动态排队网络概念的性能建模工具,《计算机性能评估:建模技术和工具》,181-195(1992),阿姆斯特丹:北荷兰,阿姆斯特朗
[35] Heck,E。;Hogrefe,D。;Müller-Clostermann,B.,基于特定形式通信协议的分层性能评估,IEEE Trans。计算。,40, 4, 500-513 (1991) ·数字对象标识代码:10.1109/12.88469
[36] Hoare,C.A.R.,《沟通顺序过程》(1985),《恩格尔伍德悬崖:普伦蒂斯·霍尔》,《恩格伍德悬崖》·Zbl 0637.68007号
[37] Howard,R.A.,《动态概率系统》(1971),纽约:威利·Zbl 0227.90031
[38] O.C.伊贝。;Trivedi,K.S.,投票系统的随机Petri网模型,IEEE J.Selected Areas Comm.,8,9,1649-1657(1990)·数字对象标识代码:10.1109/49.62852
[39] Johnson,S.C.和Butler,R.W.,1988年。可靠性模型的自动生成。程序。1988年《可靠性和可维护性研讨会》。,第17-22页。
[40] A.M.Jr.约翰逊。;Malek,M.,《评估可靠性、可用性和可维护性的软件工具概览》,ACM Compute。调查,20227-269(1988)·数字对象标识代码:10.1145/50020.50062
[41] 克拉斯,G.I。;塞德尔,美国。;Balbo,G。;Serazzi,G.,大型GSPN模型近似解的子系统识别算法,《计算机性能评估:建模技术和工具》,269-286(1992),阿姆斯特丹:北荷兰
[42] 克里格,美国。;穆勒-克洛斯特曼;Sczittnick,M.,基于马尔可夫链计算方法的通信系统建模与分析,IEEE J.区域通信,8,9,1630-1648(1980)·数字对象标识代码:10.1109/49.62851
[43] 库尔卡尼,V.G。;尼古拉,V.F。;Trivedi,K.S.,《多模系统作业的完成时间》,Adv.Appl。概率。,19, 932-954 (1987) ·Zbl 0632.60101号 ·doi:10.2307/1427109
[44] 库尔卡尼,V.G。;尼古拉,V.F。;Trivedi,K.S.,检查点和排队对程序性能的影响,斯托克。型号,6,4,615-648(1990)·Zbl 0715.60117号
[45] Laprie,J.C.1985年。可靠计算和容错:概念和术语。程序。FTCS 15,IEEE计算机学会出版社,第2-7页。
[46] 拉佐夫斯卡,E.D。;Zahorjan,J。;格雷厄姆,G.S。;Sevcik,K.C.,《定量系统性能:使用排队网络模型的计算机系统分析》(1984),新泽西州恩格尔伍德克利夫斯:普伦蒂斯·霍尔,恩格尔伍德克里夫斯,新泽西
[47] Lepold,R.1991a。托姆斯普林:贝努特泽尔汉布奇。西门子公司内部报告。
[48] Lepold,R.1991b。PENPET:一种使用随机Petri网进行性能建模的新方法。程序。计算机和通信系统第一次国际研讨会性能建模。(B.R.Haverkort、I.G.Niemegeers和N.M.van Dijk编辑)。特温特大学,第3-17页。
[49] Lepold,R.,《使用随机Petri网对容错计算机系统进行性能评估》,Proc。第五届国际会议容错计算系统(1991),纽伦堡:Springer-Verlag,纽伦伯格
[50] 李,V.O.K。;Silvester,J.A.,具有不可靠组件的网络的性能分析,IEEE Trans。通信,32,10,1105-1110(1984)·doi:10.1109/TCOM.1984.1095978号文件
[51] Lindemann,C.和German,R.,1992年。DSPNexpress:一个有效求解确定性和随机Petri网的软件包。性能工具1992。(R.Pooley和J.Hillston编辑)。爱丁堡大学出版社。
[52] Meyer,J.F.,《关于评估可降解计算机系统的性能》,IEEE Trans。计算。,29, 8, 720-731 (1980) ·Zbl 0435.68007号
[53] Meyer,J.F.,性能的封闭式解决方案,IEEE Trans。计算。,31, 7, 648-657 (1982)
[54] Meyer,J.F.,《绩效:回顾和对未来的一些指示》,《绩效评估》。,14, 3-4, 139-156 (1992) ·Zbl 0749.68014号 ·doi:10.1016/0166-5316(92)90002-X
[55] Meyer,J.F.、Movaghar,A.和Sanders,W.H.1985年。随机活动网络:结构、行为和应用。程序。Int.Workshop Timed Petri Nets,IEEE Computer Society Press,第106-115页。
[56] Molloy,M.K.,《使用随机Petri网的性能分析》,IEEE Trans。计算。,31, 9, 913-917 (1982)
[57] Mulazzani,M.和Trivedi,K.S.,1986年。可靠性预测:工具和技术的比较。程序。IFAC SAFECOMP,第171-178页。
[58] 穆勒-克洛斯特曼,B。;Potier,D.,NUMAS-计算机系统数值分析工具,《计算机性能分析建模技术和工具》,141-154(1985),阿姆斯特丹:荷兰北部
[59] Muntz,R.R。;de Souza e.Silva,e。;Goyal,A.,可修复计算机系统的有限可用性,IEEE Trans。计算。,38, 12, 1714-1723 (1989) ·Zbl 1395.68057号 ·doi:10.1109/12.40849
[60] Muppala,J.K.、Sathaye,A.、Howe,R.和Trivedi,K.S.即将推出。使用随机奖励网的异构VAX集群系统的可靠性建模。并行计算系统中的硬件和软件容错(D.Averesky,ed.)伦敦:Ellis Horwood。
[61] Muppula,J.K。;特里维迪,K.S。;Balbo,G。;Serazzi,G.,使用随机奖励网层次结构的综合性能和可用性分析,计算机性能评估:建模技术和工具,335-349(1992),阿姆斯特丹:北荷兰,阿姆斯特丹
[62] Neuts,M.F.,《随机模型中的矩阵几何解——算法方法》(1981),巴尔的摩:约翰霍普金斯大学出版社,巴尔的摩尔·Zbl 0469.60002号
[63] Neuts,M.F.,M/G/1型结构矩阵及其应用(1989),纽约:Marcel Dekker,纽约·Zbl 0695.60088号
[64] 小T·W·佩奇。;Berson,S.E。;Cheng,W.C。;Muntz,R.R.,面向对象的建模环境,ACM SigplanNotices,24,10287-296(1989)·数字对象标识代码:10.1145/74878.74907
[65] Pattipati,K.R。;李毅。;Blom,H.A.P.,容错计算机系统性能评估的统一框架,IEEE Trans。公司。,42, 3, 312-326 (1993) ·数字对象标识代码:10.1109/12.20174
[66] Plateau,B.,Fourneau,J.-M.,Lee,K.-H.,1990年。PEPS:用于求解并行系统的复杂马尔可夫模型的软件包。计算机性能评估的建模技术和工具(E.Potier和R.Puigjaner编辑)。第291-305页。
[67] Potier,D.和Veran,M.,1986年。QNAP2的马尔科夫解算器和示例。《计算机网络和性能评估》(T.Hasegawa、H.Takagi和Y.Takahashi),第259-279页。
[68] Reibman,A.L。;史密斯,R。;Trivedi,K.S.,《马尔可夫和马尔可夫报酬模型瞬态分析:数值方法概述》,欧洲。《运营杂志》。决议,40,257-267(1989)·Zbl 0672.90062号 ·doi:10.1016/0377-2217(89)90335-4
[69] Reibman,A.L。;Trivedi,K.S.,马尔可夫模型的数值瞬态分析,计算。操作。第15、1、19-36号决议(1988年)·Zbl 0642.60097号 ·doi:10.1016/0305-0548(88)90026-3
[70] Reibman,A.L。;Trivedi,K.S.,马尔可夫模型行为累积度量的瞬态分析,斯托克。型号,5、4、683-710(1989)·Zbl 0684.60068号
[71] Sahner,R.A。;Trivedi,K.S.,使用SHARPE的可靠性建模,IEEE Trans。可靠性,36,2,186-193(1987)
[72] Sahner,R.A。;Trivedi,K.S.,学习随机模型的软件工具,IEEE Trans。教育。,36, 1, 56-61 (1993) ·doi:10.109/13.204817
[73] Sanders,W.H.1988。基于随机活动网络的性能模型的构建和求解。密歇根大学博士论文。
[74] Sanders,W.H.和Meyer,J.F.,1987年。使用随机活动网络的分布式系统的性能评估。程序。1987年《Petri网和性能模型国际研讨会》,IEEE计算机社会出版社,第111-120页。
[75] 桑德斯,W.H。;Meyer,J.F.,随机活动网络的简化基础模型构建,IEEE J.Selected Areas Comm.,9,1,25-36(1991)·doi:10.1109/49.64901
[76] Sczittnick,M.,1987年。Markoffchen-Rechensystemmodellen的Techniken zur funktionalen and quantitativen Analyse von Markoffchen。多特蒙德大学理科硕士论文。
[77] Sczittnick,M.和Müller-Clostermann,B.1990。MACOM-通信系统的马尔科夫分析工具。程序。《第四次国际会议数据通信系统及其性能》(R.Puigjaner编辑),第456-470页。
[78] 史密斯·R·M。;特里维迪,K.S。;Ramesh,A.V.,《性能分析:度量、算法和案例研究》,IEEE Trans。计算。,37, 4, 406-417 (1988) ·doi:10.1109/12.2184
[79] de Souza e.Silva,e。;Gail,H.R.,计算可修复计算机系统的累积运行时间分布,IEEE Trans。计算。,35, 4, 322-332 (1986)
[80] de Souza e.Silva,e。;Gail,H.R.,使用随机化计算可修复计算机系统的可用性和性能度量,J.ACM,36,1,171-193(1989)·Zbl 0664.60092号 ·数字对象标识代码:10.1145/58562.59307
[81] de Souza e.Silva,e。;Gail,H.R.,《计算机系统的可执行性分析》;从模型规范到解决方案,执行评估。,14, 3-4, 157-196 (1992) ·Zbl 0753.68017号 ·doi:10.1016/0166-5316(92)90003-Y
[82] de Souza e.Silva,e。;Ochoa,P.M.,马尔可夫模型中的状态空间探索,ACM执行评估。第20版,第1版,第152-166页(1992年)
[83] 斯图尔特·W·J。;Steward,W.J.,MARCA:马尔可夫链分析仪。马尔可夫链的数值解(1991),纽约:Marcel Dekker,纽约
[84] 斯图尔特,W.J.,戈亚尔,A.,1985年。大型可靠性模型中的矩阵方法。IBM研究报告RC 11485。
[85] Trivedi,K.S.,《概率与统计学与可靠性、排队和计算机科学应用》(1982),恩格尔伍德悬崖:普伦蒂斯大厅,恩格尔伍德悬崖·Zbl 0513.60001号
[86] 特里维迪,K.S。;Muppala,J.K。;Woolet,S.P.公司。;Haverkort,B.R.,《综合性能和可靠性分析》,性能评估。,14, 3-4, 197-215 (1992) ·Zbl 0757.90028号 ·doi:10.1016/0166-5316(92)90004-Z
[87] Veran,M。;波特·D·。;Potier,D.,《排队系统建模的便携式环境,计算机性能评估的建模技术和工具》,25-63(1985年),阿姆斯特丹:北荷兰
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。