马钦,斯兹皮尔卡 VME-总线通信协议分析——RTCP-net方法。 (英语) Zbl 1109.68012号 实时系统。 35,第1期,91-108(2007). 摘要:本文讨论了一种RTCP-net方法,并以VME总线通信协议为例进行了设计和分析。RTCP-nets是一种新的Petri网类,基于时间着色Petri网,但其定义是为用户提供强大的工具,以方便快速地设计实时系统。页面模板是新网络设计阶段的主要优势之一。仅仅修改页面层次结构图中的参数值就足以更改建模系统的某些功能。因此,很容易在同一模型的不同版本上进行实验,只需很少的额外工作。为了对系统的不同结构进行建模,重新组织页面模板也非常容易。本文给出了RTCP网络的相关定义和主要性质。一个VME总线通信协议案例研究用于演示此方法的一些应用。 引用于1文件 MSC公司: 68个M12 网络协议 68M10个 计算机系统中的网络设计和通信 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 关键词:RTCP网络;VME-总线 PDF格式BibTeX公司 XML格式引用 \textit{M.Szpyrka},实时系统。35,第1号,91--108(2007;Zbl 1109.68012) 全文: 内政部 参考文献: [1] Cheng AMK(2002)实时系统。计划、分析和验证。Wiley Interscience,新泽西州 [2] Heath S(ed)(1995)VME总线实用伴侣。牛津Butterworth-Heinemann有限公司 [3] Heitmeyer C,Mandrioli D(eds)(1996)实时计算的形式化方法。奇切斯特John Wiley&Sons [4] Jensen K(1992)彩色Petri网。基本概念、分析方法和实际应用。第一卷,施普林格出版社·Zbl 0762.68004号 [5] Kristensen LM,Christensen S,Jensen K(1998)有色Petri网从业人员指南。实习生J Softw Tools技术翻译:规范部分彩色Petri网2(2):98–132·Zbl 1033.68590号 [6] Sommerville I(2004)《软件工程》,培生教育有限公司,伦敦·Zbl 1156.68366号 [7] Szpyrka M(2004)使用RTCP-nets对实时系统进行快速灵活建模。《计算机科学》,6:81–94·兹伯利05091658 ·doi:10.1109/MCISE.2004.1255826 [8] Szpyrka M,Szmuc,T(2005)RTCP网络的新时间模型和设计方法。收录:Colnaric M、Halang WA和Węgrzyn M(eds),实时编程2004。爱思唯尔科学有限公司,第121-126页 [9] Szpyrka M,Szmuc T(2006)D-nets–基于规则系统的Petri网形式。发现Comp Dec Sci 31(2):157–167·Zbl 1204.68132号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。