任务网络到时间自动机的等价模型验证

• 作者: 修建新 张磊 马光胜
• 来源期刊: 计算机工程
• 学科: 地球科学
• 关键词: 事件流 任务网络 时间自动机 映射 模型检测 任务行为
• 年，卷（期）: 2012,（13）
• 所属期刊栏目: 开发研究与设计技术
• 页码范围: 286-288
• 分类号: N945.12
• 字数: 2023字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2012.13.086

摘要

针对实时调度理论模型缺乏形式化语义的问题,提出将结果行为的语义转换成系统模型的形式化方法.结合定时分析技术,基于已有的任务网络形式方法,证明任务网络模型与候选型体系结构(CTA)模型稳态的等效性,将任务网络模型映射到语义相同的CTA模型,并验证该映射的语义等效性.将该方法应用于实例中,结果表明,该方法能代替调度模型,高效地应用于实时调度系统.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	马光胜	哈尔滨工程大学计算机科学与技术学院	74	240	8.0	12.0
2	修建新	黑龙江东方学院计算机科学与电气工程学部	16	25	3.0	4.0
3	张磊	黑龙江东方学院计算机科学与电气工程学部	10	32	2.0	5.0