实时时序逻辑语言XYZ/RE到时间自动机的映射

• 作者: 刘珊艳 张广泉 戎玫
• 来源期刊: 微计算机应用
• 学科: 工学
• 关键词: XYZ/RE 实时系统 时间自动机 UPPAAL
• 年，卷（期）: 2008,（6）
• 所属期刊栏目: 软件与硬件的应用与开发
• 页码范围: 69-75
• 页数: 7页
• 分类号: TP3
• 字数: 3524字
• 语种: 中文
• DOI: 10.3969/j.issn.2095-347X.2008.06.014

摘要

时间自动机是一种重要的实时系统建模工具.本文建立了实时时序逻辑语言XYZ/RE到时间自动机的一种映射机制,将XYZ/RE所描述的系统进程直接转换为时间自动机,这样不但可以准确捕获实时系统功能和控制行为,还可以利用基于时间自动机的验证工具UPPAAL对XYZ/RE描述的系统正确性进行检测.最后本文通过一个实例的描述与检测,验证了映射机制的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张广泉	重庆师范大学数学与计算机科学学院	147	1056	16.0	25.0
3	戎玫	暨南大学深圳旅游学院	48	418	12.0	18.0
4	刘珊艳	荆楚理工学院计算机学院	3	7	1.0	2.0