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

摘要：

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

关键词：事件流、任务网络、时间自动机、映射、模型检测、任务行为

所属期刊栏目：38

分类号：N945.12(系统科学)

资助基金：黑龙江省教育厅科学技术研究基金资助项目11544037

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

页数：共3页

页码：286-288