收藏本站
收藏 | 论文排版

一种简单的主备切换协议的设计和验证

陈乾  张杭  
【摘要】:软件系统的主备切换功能在很多地方都有应用,本文针对这一功能设计了一种简单的主备切换协议,并用FSM对设计的协议进行形式化描述,最后用可达性分析对协议进行验证。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 彭学君,霸桂芳;生产者——消费者问题图示分析两则[J];许昌师专学报;2002年02期
2 赵静,屈玉贵,赵保华;RSL应用于协议形式化描述的研究[J];小型微型计算机系统;2004年03期
3 成运 ,张波云;基于Verilog的顺序状态逻辑FSM的设计与仿真[J];微型机与应用;2004年06期
4 丁岩,刘晓华,王锁萍;一个用Delphi开发的语音信箱[J];计算机应用研究;1998年01期
5 陈月惠,叶新铭;一致性测试的形式框架扩充及实例化[J];内蒙古大学学报(自然科学版);1998年05期
6 那力嘉,冯志勇,黄明;基于ZEUS的主体度量[J];计算机应用;2004年06期
7 朱霞,高德远,樊晓桠,张盛兵,王党辉;一种复杂BIU的设计及其CPLD实现[J];计算机工程与应用;2001年11期
8 魏仁选,陈幼平,周祖德,吕新平,左静,阳代平;开放性数控软件的面向对象建模及其重用研究[J];高技术通讯;1998年12期
9 杨祥龙,罗子健;基于Verilog HDL设计的自动数据采集系统[J];电子技术应用;2004年03期
10 彭生祥,李凯;多移动机器人编队行进中的行为分解[J];北京服装学院学报(自然科学版);2004年01期
11 陈乾;张杭;刘宁松;;一种简单的主备切换协议的设计和验证[J];军事通信技术;2005年S1期
12 丁夫;TELNET协议原理及其实现[J];电子技术;2000年03期
13 范轶平,贝劲松,边计年,薛宏熙,洪先龙;针对同步时序电路VHDL设计的有效模型判别器VERIS[J];计算机辅助设计与图形学学报;2001年06期
14 马秀飞,高翔,梅杓春;两种基于UIO序列的测试序列生成算法及比较[J];计算机工程与应用;2005年22期
15 胡天骄;郭旭静;王祖林;;网管软件主备切换协议的设计和验证[J];电子质量;2011年07期
16 董剑利,姚淑珍,唐发根;ISEE工具的集成与实现[J];计算机工程与应用;1998年07期
17 黄晓玲;;基于FSM的测试自动化框架研究与实现[J];滁州学院学报;2009年03期
18 曾增烽;黄坤;刘丹丹;;Robocup足球机器人前锋决策与策略的探讨[J];商业文化(学术版);2009年08期
19 吴峥涛,齐欢;基于面向对象技术的自动状态机实现[J];计算机与现代化;2003年03期
20 刘雄飞;高金定;;基于FSM的高速采样滤波控制器的研究[J];信息技术;2006年05期
中国重要会议论文全文数据库 前10条
1 陈乾;张杭;;一种简单的主备切换协议的设计和验证[A];江苏省通信学会2004年学术年会论文集[C];2004年
2 周杨;王峰;;FSM——基于子图同构和结构同构的频繁子图挖掘算法[A];第二十四届中国数据库学术会议论文集(研究报告篇)[C];2007年
3 黄洪;胥琳;叶枫;;新的对象概念与系统分析方法研究[A];管理科学与系统科学研究新进展——第8届全国青年管理科学与系统科学学术会议论文集[C];2005年
4 ;Nonlinear State Estimation in Mobile Robot Using Fuzzy Set Membership Filter[A];第二十七届中国控制会议论文集[C];2008年
5 黎中文;张来顺;肖健鹏;;改进的UIO序列生成算法[A];计算机研究新进展(2010)——河南省计算机学会2010年学术年会论文集[C];2010年
6 董斌;王省书;赵英伟;;LabVIEW在快速反射镜传递函数辨识中的应用[A];2011中国仪器仪表与测控技术大会论文集[C];2011年
7 李炜;吴建国;刘政怡;;非完全确定有限状态机最小闭覆盖的有效算法[A];第四届中国软件工程大会论文集[C];2007年
8 李炜;许中卫;刘政怡;刘露露;;非完全确定有限状态机最小化有效算法的研究[A];2005年“数字安徽”博士科技论坛论文集[C];2005年
9 邵梅;王玉斌;马争先;钟艳如;;Ad hoc网络AODV协议的形式化分析与仿真[A];广西计算机学会2010年学术年会论文集[C];2010年
10 谈国新;周穆雄;钟正;;虚拟场景中多Agent行为交互技术研究[A];第六届和谐人机环境联合学术会议(HHME2010)、第19届全国多媒体学术会议(NCMT2010)、第6届全国人机交互学术会议(CHCI2010)、第5届全国普适计算学术会议(PCC2010)论文集[C];2010年
中国博士学位论文全文数据库 前7条
1 刘攀;基于FSM的测试用例生成和测试优化[D];上海大学;2011年
2 王道涵;新型磁通切换型磁阻电机系统的分析、设计与控制研究[D];山东大学;2010年
3 张静;水平连续铸造Al-Si合金组织及其控制研究[D];山东大学;2011年
4 计春雷;全功能点方法和功能规模度量统一模型的研究与应用[D];华东理工大学;2011年
5 宋波;Web应用交互的建模和测试用例生成[D];上海大学;2010年
6 吴鑫;高性能快速控制反射镜研究[D];华中科技大学;2012年
7 刘源;可重构星载计算机体系结构与容错技术研究[D];哈尔滨工业大学;2010年
中国硕士学位论文全文数据库 前10条
1 朱志伟;基于有限状态机的体育视频比赛类型识别[D];吉林大学;2006年
2 苗志锋;基于有限状态机的IP协议研究[D];兰州理工大学;2005年
3 李宏生;嵌入式CTI智能语音交换机软件的设计与实现[D];北京邮电大学;2006年
4 黄晓玲;基于GUI软件的测试自动化框架的研究与应用[D];合肥工业大学;2008年
5 李文琦;高性能Memory BIST设计实例[D];上海交通大学;2007年
6 朱伟;基于量子框架AMT系统的代码自动生成技术研究[D];山东大学;2008年
7 杭成宝;OSPFv3协议的互操作性测试研究[D];内蒙古大学;2009年
8 王晓勇;基于XML的Linux系统下的协议一致性测试方法及测试系统[D];内蒙古大学;2006年
9 潘洋;中国联通电子运行维护系统—工单模块设计与实现[D];吉林大学;2007年
10 曹保银;基于FPGA和IEEE1394总线的高速数据采集系统的设计[D];安徽理工大学;2007年
中国重要报纸全文数据库 前5条
1 李运;英国实行单一金融监管[N];中国城乡金融报;2002年
2 海燕;施乐全面推广增值服务[N];中华工商时报;2000年
3 吴世湘;亚洲光纤连接器工业潜力巨大[N];中国电子报;2000年
4 王逸;税收战略管理论坛[N];中国税务报;2002年
5 人行上海分行 丛阳;英国防范洗钱犯罪法规概述[N];上海金融报;2001年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978