×
李国强；蔡晓娟；袁，Shoji

使用互斥组件对实时系统进行建模和分析。 （英语） Zbl 1255.68101号

发现的国际期刊。计算。科学。 23，第4号，831-852（2012）.
摘要：时间自动机通常被认为是实时系统的正式行为模型。对于组合系统设计，Larsen等人提出的时间自动机的并行组合是有用的。尽管并行组合为系统构建提供了一种通用方法，但在低级别的行为中，组件通常通过通信传递控制来顺序地行为。本文提出了一种行为模型，称为控制器自动机，通过关注组件之间的控制传递来组合时间自动机。在控制器自动机中，为每个状态分配一个定时自动机。一个状态下的时间自动机可以被通过全局标记转换传递到另一个状态的控件抢占。由于堆栈的存在，控制器自动机适当地扩展了表达能力，但这会使可达性问题无法确定。给定状态的严格偏序，我们证明了这个问题是可以避免的，并且控制器自动机可以忠实地转换为时间自动机。

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
68平方米 计算机系统环境下的性能评估、排队和调度
65年第68季度 形式语言和自动机

关键词：

控制器自动机；时间自动机；实时系统；互斥

软件：

时间；莫德
PDF格式BibTeX公司 XML格式引用
\textit{G.Li}等人，国际期刊发现。计算。科学。23，第4号，831--852（2012；Zbl 1255.68101）
全文： 内政部

参考文献：

[1] 内政部：10.1016/0304-3975（94）90010-8·Zbl 0803.68071号 ·doi:10.1016/0304-3975（94）90010-8
[2] 内政部：10.1007/978-3-540-30476-0_1·doi:10.1007/978-3-540-30476-0_1
[3] DOI:10.1016/j.tcs.2004.04.003·Zbl 1070.68063号 ·doi:10.1016/j.tcs.2004.04.003
[4] Buttazzo Giorgio C.，硬实时计算系统：可预测调度算法和应用（2004）·Zbl 0890.68016号
[5] DOI:10.1016/j.ic.2007.01.009·Zbl 1121.68062号 ·doi:10.1016/j.ic.2007.01.009
[6] DOI:10.1016/j.tcs.2005.11.019·Zbl 1088.68087号 ·doi:10.1016/j.tcs.2005.11.019
[7] DOI:10.1016/j.tcs.2009.11.011·Zbl 1191.68436号 ·doi:10.1016/j.tcs.09.11.01文件
[8] DOI:10.1016/j.scico.2004.05.014·Zbl 1075.68016号 ·doi:10.1016/j.scico.2004.05.014
[9] DOI:10.1006/inco.1994.1045·Zbl 0806.68080号 ·doi:10.1006/inco.1994.1045
[10] Kaynar Dilsun K.，《定时I/O自动机理论》（2006）
[11] 内政部：10.1006/inco.1998.2774·Zbl 1045.68566号 ·doi:10.1006/inco.1998.2774
[12] 数字对象标识码：10.1007/s100090050010·Zbl 1060.68577号 ·doi:10.1007/s100090050010
[13] Laung Liu Chung，《ACM杂志》20页46–·兹伯利0133.09803
[14] Mattai Joseph，《实时系统：规范、验证和分析》（1995）
[15] 米尔纳·罗宾（Milner Robin），《计算机科学国际丛书：通信与并发》（1989）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。