异步多进程时间自动机的可覆盖性问题
[Abstract]:Existing real-time system models cannot dynamically create new processes. Therefore, based on the temporal automaton model, an asynchronous multi-process temporal automaton model is proposed, in which each process is abstracted as a process temporal automaton, and its partial state can trigger a new process. Considering that the queue will lead to the completion of the model Turing, the process is persisted in the set, but many real-time systems can still be modeled. By coding it into a readable edge time Petri net, it is proved that the covering problem of the model can be determined.
【作者单位】： 上海交通大学软件学院;
【基金】：国家自然科学基金(61472240,61672340,91318301)~~
【分类号】：TP301.1
【相似文献】
相关期刊论文 前10条
1 尹传龙;宋伟;庄雷;;识别时间自动机中可加速环的方法[J];计算机工程与设计;2010年23期
2 支小莉,童维勤,戎璐;时间自动机的自动抽象算法[J];西南交通大学学报;2004年05期
3 钱俊彦,赵岭忠;一种基于时间自动机的域构造方法[J];计算机应用研究;2005年07期
4 朱维军;王迤冉;李琳娜;周清雷;;时间自动机两种模型的构造互模拟研究[J];微电子学与计算机;2007年01期
5 周清雷;周颜;赵东明;;对时间自动机中时钟约束的处理[J];微计算机信息;2008年07期
6 吴永刚;陆慧娟;程倬;陈江;;基于时间自动机的实时系统建模及验证[J];计算机时代;2011年06期
7 朱维军;周清雷;;一种时间自动机时钟离散化算法[J];郑州大学学报(理学版);2011年03期
8 陈志辉;;基于时间自动机的信息物理融合系统建模与验证[J];计算机与现代化;2012年10期
9 陈亚;李峭;赵露茜;;时间自动机流量特性的硬件模拟[J];电光与控制;2013年11期
10 宋煌,郑丽萍,庄雷,苏锦祥;时间自动机与自动验证[J];郑州大学学报(自然科学版);2001年02期
相关会议论文 前2条
1 ;基于时间自动机的实时系统建模及验证[A];第六届和谐人机环境联合学术会议（HHME2010)、第19届全国多媒体学术会议（NCMT2010）、第6届全国人机交互学术会议（CHCI2010）、第5届全国普适计算学术会议（PCC2010）论文集[C];2010年
2 高新;臧洌;黄越;;基于分簇和时间自动机的Ad hoc入侵检测方法研究[A];2010通信理论与技术新发展——第十五届全国青年通信学术会议论文集（下册）[C];2010年
相关硕士学位论文 前10条
1 李建龙;PLC系统及其FBD编程语言的形式化建模与实时性验证[D];华侨大学;2015年
2 常军旺;基于扩展时间Petri网的嵌入式中断建模与验证[D];大连理工大学;2015年
3 石少玲;基于时间自动机的嵌入式工业控制系统建模与分析[D];昆明理工大学;2016年
4 赵鑫;基于时间自动机的ECA规则系统建模与交互问题验证[D];大连理工大学;2016年
5 周颜;时间自动机可达性检测方法研究[D];郑州大学;2007年
6 李岩;可调整时间自动机可达性算法的研究与实现[D];上海交通大学;2014年
7 王静;基于时间自动机的模型验证理论及应用研究[D];郑州大学;2005年
8 朱维军;基于时间自动机若干新模型的研究[D];郑州大学;2005年
9 孙全勇;时间自动机及其应用研究[D];哈尔滨工程大学;2007年
10 程永江;基于时间自动机的模型验证技术[D];郑州大学;2009年
，本文编号：2502154
本文链接：https://www.wllwen.com/kejilunwen/ruanjiangongchenglunwen/2502154.html
