基于时间动态下推网络可达性分析

• 作者: 古天龙 徐力 蔡国永 赵岭忠 钱俊彦
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 动态下推网络 时钟等价 实时并发递归系统 时间动态下推网络
• 年，卷（期）: 2017,（9）
• 所属期刊栏目: 学术论文
• 页码范围: 2241-2249
• 页数: 9页
• 分类号: TP311
• 字数: 10711字
• 语种: 中文
• DOI: 10.3969/j.issn.0372-2112.2017.09.027

摘要

动态下推网络(DPN,Dynamic Pushdown Networks)由一组能刻画动态创建线程的动态下推系统(DPDS,Dynamic PushDown Systems)组成.本文首先将描述连续时间的实时时钟引入DPN,提出了时间动态下推网络(TDPN,Timed Dynamic Pushdown Networks),能对动态创建线程的实时并发递归系统建模;然后基于时钟关键点的时钟等价优化方法,并采用on-the-fly技术,仅关心栈顶及下一层的域状态转换,动态的将连续时间模型TDPN转换为时间域表示的离散模型DPN,同时给出TDPN到DPN的转换算法;最后证明在TDPN中的可达状态当且仅当其转换状态在DPN中可达,从而可解决带动态线程创建的实时并发系统的可达性分析.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	古天龙	桂林电子科技大学广西可信软件重点实验室	207	1546	18.0	30.0
2	蔡国永	桂林电子科技大学广西可信软件重点实验室	98	400	12.0	15.0
3	钱俊彦	桂林电子科技大学广西可信软件重点实验室	86	238	9.0	10.0
4	赵岭忠	桂林电子科技大学广西可信软件重点实验室	64	229	8.0	11.0
5	徐力	桂林电子科技大学广西可信软件重点实验室	2	1	1.0	1.0