任务流模型检验的研究

摘要：

本文对任务流模型检验技术进行了讨论.任务流方法不关心状态数量、能否从一个指定状态到达另一指定状态及系统必须的状态是否存在,而是关心状态组合提供的功能是否存在及各状态组合之间是否存在指定的转换关系,从而避免了状态空间爆炸问题.模块搜索算法以模块为基础对任务流模型进行搜索来验证给定系统是否满足规范要求.

关键词： 模型检验 任务流模型 状态组合 模块搜索算法

作者: 于庆梅 骆丽

作者单位: 北京交通大学电子信息工程学院,北京交通大学533＃,100044

会议类型: 国内会议

会议名称: 2006年中国通信集成电路技术与应用研讨会

会议地点: 成都

会议语种:中文

页码: 111-121

在线出版日期: 2006-12-07（万方平台首次上网日期，不代表论文的发表时间）