异步多进程时间自动机的可覆盖性问题

摘要：

已有的实时系统模型无法动态创建新进程.为此,基于时间自动机模型,提出了异步多进程时间自动机模型,将每个进程抽象为进程时间自动机,其部分状态能够触发新进程,考虑到队列会导致模型图灵完备,进程都被缓存在集合中,但仍可建模许多实时系统,通过将其编码到可读边时间Petri网,证明了该模型的可覆盖性问题可判定.

关键词：实时、异步多进程时间自动机、时间自动机、可读边时间Petri网、可覆盖性

所属期刊栏目：28

分类号：TP301(计算技术、计算机技术)

资助基金：国家自然科学基金61472240,61672340,91318301National Natural Science Foundation of China 61472240,61672340,91318301

在线出版日期：2017-06-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共11页

页码：1080-1090