何塞·梅尔塞格尔;西蒙娜·伯纳迪 基于MARTE和UML状态机模型的DES可靠性分析。 (英语) Zbl 1242.93075号 离散事件动态。系统。 22,第2期,163-178(2012). 概要:UML(统一建模语言)是一种标准的设计符号,它提供状态机图来指定反应式软件系统。“实时和嵌入式系统建模与分析”(MARTE)概要文件使UML能够进行性能分析。MARTE专注于“可靠性分析和建模”(DAM)概要文件,然后为UML提供可靠性资产。在这项工作中,我们提出了一种将UML-DAM模型自动转换为确定性和随机Petri网以及随后的可靠性分析的方法。 MSC公司: 93元65角 离散事件控制/观测系统 93A30型 系统数学建模(MSC2010) 关键词:可靠性建模与分析;MARTE公司;UML状态机;确定性和随机Petri网 软件:MARTE公司 PDF格式BibTeX公司 XML格式引用 \textit{J.Merseguer}和\textit{S.Bernardi},离散事件动力学。系统。22,第2号,163--178(2012;Zbl 1242.93075) 全文: 内政部 参考文献: [1] Ajmone Marsan M,Chiola G(1987),关于具有确定性和指数分布激发时间的Petri网。In:Advances In Petri Nets 1987,涵盖了关于Petri网应用和理论的第七届欧洲研讨会。伦敦施普林格,第132-145页 [2] Avizienis A、Laprie JC、Randell B、Landwehr C(2004)可靠和安全计算的基本概念和分类。IEEE Trans Depend安全计算1(1):11–33。doi:10.109/TDSC.2004.2·兹伯利05113026 ·doi:10.109/TDSC.2004.2 [3] Basile F、Chiacchio P、Grosso DD(2008)《利用UML和Petri网建模自动化系统》。摘自:第九届离散事件系统国际研讨会论文集(WODES 2008),IEEE Explore,第308–313页 [4] Bernardi S、Merseguer J、Petriu D(2009)MARTE中的可信性概要。J软件系统模型。doi:10.1007/s10270-009-0128-1 [5] Bondavalli A、Dal Cin M、Latella D、Majzik I、Pataricza A、Savoia G(2001)基于UML的系统设计早期阶段的可靠性分析。国际计算机系统科学与工程杂志16(5):265–275 [6] Dingel J,Rudie K,Dragert C(2009)《弥合差距:软件工程的离散事件系统》。收录:加拿大计算机科学会议;软件工程(C3S2E 2009)。ACM,蒙特利尔,第67-71页 [7] Donatelli S,Franceschinis G(1996)PSR方法论:集成硬件和软件模型。收录:Billington J,Reisig W(eds)《Petri网的应用和理论》,LNCS,第1091卷。纽约州施普林格,第133-152页 [8] GISED集团(2006年)http://argospe.tigris.org . 萨拉戈萨大学 [9] GISED集团(2011年)http://webdiis.unizar.es/GISED/?q=tools . 萨拉戈萨大学 [10] Goseva-Popstojanova K,Trivedi KS(2000)可靠性、性能和可执行性的随机建模形式。收录:Haring G、Lindemann C、Reiser M(编辑)《性能评估:起源和方向》,计算机科学讲义,第1769卷。纽约州施普林格,第403-422页 [11] Huszerl G、Majzik I、Pataricza A、Kosmidis K、Dal Cin M(2002)可靠系统UML状态图模型的定量分析。计算J 45(3):260–277·Zbl 1003.68011号 ·数字对象标识代码:10.1093/comjnl/45.3.260 [12] Lilius J,Paltor IP(1999)UML状态机的语义。图尔库奥博阿卡德米大学图尔库计算机科学中心技术代表(芬兰) [13] MARTE(2008)MARTE的UML概要:实时嵌入式系统的建模和分析,对象管理组。文件编号:ptc/2008-06-09 [14] Merseguer J(2003)基于UML和Petri网的软件性能工程。西班牙萨拉戈萨大学博士论文 [15] Mustafiz S、Sun X、Kienzle J、Vangheluwe H(2008)《系统可靠性的模型驱动评估》。软件系统模型7(4):487–502·Zbl 05348764号 ·doi:10.1007/s10270-008-0084-1 [16] 纸莎草(2010)www.papyrusuml.org/。CEA列表 [17] Risco-Martin J、Mittal S、Zeigler B、de la Cruz J(2007),从UML状态图到使用XML的DEVS状态机。In:美国田纳西州纳什维尔MoDELS内的多天线建模研讨会,第35-48页 [18] Trowitzsch J,Jerzynek D,Zimmermann A(2007)基于随机UML状态机的性能评估工具包。摘自:第二届绩效评估方法和工具国际会议记录(VALUETOOLS 2007)。南特ACM,第30页 [19] UML2(2010)UML统一建模语言:上层建筑。对象管理组,网址:http://www.omg.org,版本2.3 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。