首页> 中文会议>全国第19届计算机技术与应用学术会议(CACIS·2008) >基于完全确定有限状态机的控制器综合的验证

基于完全确定有限状态机的控制器综合的验证

页面导航

摘要
著录项
相似文献
相关主题

摘要

控制器综合从较高的抽象层次开始，使用硬件描述语言，采用综合优化工具进行，因此验证综合过程的正确性至关重要。本文采用图同构的方法对控制器综合前的完全确定有限状态机STG_org和从综合后结构实现逆向提取的完全确定有限状态机STG_ext进行等价性证明，从而验证综合过程的正确性；为进一步降低算法时间复杂度，利用综合过程状态化简的信息，提出带综合信息指导的验证算法，将时间复杂度从O(B2/A·t1(n)+A·t2(m,n))降低到D(B·t1(n)+A·t2(m，n))，理论上证明了算法的高效性。

著录项

来源
《全国第19届计算机技术与应用学术会议(CACIS·2008)》|2008年|1075-1080|共6页
会议地点合肥
作者

展开▼
作者单位

中国仪器仪表学会;

中国系统仿真学会;

合肥工业大学;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类自动控制、自动控制系统;
关键词
完全确定有限状态机; 控制器综合; 形式验证; 时间复杂度; 状态转换图; 硬件描述语言;

相似文献

中文文献
外文文献
专利

1. 非完全确定有限状态机最小闭覆盖的有效算法 [J] . 李炜 ,吴建国 ,刘政怡 . 四川大学学报：工程科学版 . 2007,第0S1期
2. 基于有限状态机的操作系统需求层形式化验证 [J] . 张锦坤 ,杨孟飞 ,乔磊 . 空间控制技术与应用 . 2019,第002期
3. 基于有限状态机的轨道交通车辆防滑控制建模仿真与验证 [J] . 刁锋 ,朱文良 ,秦凌光 . 城市轨道交通研究 . 2019,第001期
4. 基于标号有限状态机的协议形式描述与验证 [J] . 李腊元 . 计算机应用与软件 . 1998,第003期
5. 基于控制器与有限状态机的双机热备方案 [J] . 徐秀敏 ,于海波 ,田昀 . 电子技术与软件工程 . 2019,第021期
6. 非完全确定有限状态机最小闭覆盖的有效算法 [C] . 李炜 ,吴建国 ,刘政怡 . 第四届中国软件工程大会 . 2007
7. 基于非完全确定有限状态机模型的控制器综合的形式验证 [A] . 刘路路 . 2006

基于完全确定有限状态机的控制器综合的验证

摘要

著录项

相似文献

相关主题

期刊订阅