SDL语言及其在TD—PRS终端开发中的应用

SDL语言是CCITT推荐的规范与描述性语言，由ITU—T发展和标准化，被定义在兰皮书Z．100建议中，采用FSM的概念来描述对象。作为国际标准化的正式语言，它被用来规范描述实时系统，因此主要论述了规范描述语言SDL及其在TD—PRS终端开发中的应用。     

电话会议系统中电话事件状态及状态转移设计

以一个电话会议汇接系统的设计开发为例，针对电话会议汇接系统的实时性、多任务的特点，运用有限状态机模型，从状态和状态转移的设计入手，结合面向对象程序语言编程，探讨此类系统的软件设计的思路和方法。     

基于模型的有限状态机软件动态测试方法

介绍了一种基于模型的软件动态测试方法，该方法通过将被测程序抽象成有限状态机，将测试程序及测试用例的编写集中到单个状态上。在软件结构或逻辑发生改变时，能够通过对旧状态测试程序的重新组合进行新的测试。无需大量修改测试程序从而保存了先前的测试用例。     

一致性测试的形式框架扩充及实例化

将“引入概率后的一致性测试形式方法”用ＦＳＭ模型进行实例化，并对原框架进行了扩充；     

UIO序列的启发式算法

UIO序列是对有限状态机进行功能测试的有效手段 ,在 VLSI设计、通信协议等时序系统中有很强的实际应用背景。文章基于可区分状态组这一概念设计了一个搜索算法 ,进一步利用搜索信息建立了一个基于“小于”关系的启发策略 ,有效的剪枝策略的设计将尽可能消除没有意义的搜索分枝 ,新设计出的多路 OPEN/CLOSED表存储机制也加快了相关的判别和处理过程。这些措施改进了搜索过程 ,减少了搜索信息的产生 ,提高了搜索速度。该算法与以往的算法相比 ,在时间和空间两方面都得到了很大改进。     

VxWorks嵌入式系统下视频监控系统通信的研究

通过嵌入式实时操作系统(VxWorks),实现了视频监控系统的解决方案.研究了在VxWorks系统下实现设备和数据通信的关键技术和相应机制,并采用有限状态机(FSM)解决了串行数据通信的帧同步.文中重点分析了采用计数器信号量解决多进程同步通信,即生产者-消费者问题.本文的方案可以推广到串行设备以外的其它通信机制.     

基于双状态机空间映射的设计及应用

空间映射是异构总线之间实现数据高速交换的主要技术手段.用户自己研发此类产品时快速高效地设计出具有自己特色的映射电路意义重大.该文讨论以双状态机方式实现空间映射,对其结构框架、工作原理和应用实例进行详细分析.该设计具有易于开发、升级、扩展功能的特点.     

基于场景的形式化测试模型生成方法

在复杂的Web应用软件中,如何有效地实现自动化测试是当前软件测试研究中的热点与难点.使用统一建模语言（unified modeling language,UML）状态图对Web应用软件的行为建模,利用已有的方法将已建好的模型形式化成有限状态机(finite state machine,FSM);然后使用UML顺序图表示场景,通过使用场景规约系统行为,最终得到约简后的形式化测试模型用以实现自动测试.     

高速网络环境下的新型木马快速检测方法研究

为了适应高速网络环境下的木马检测,通过分析传统的IDS,针对其在高速网络环境下对木马检测能力的不足,提出了单引擎大特征集的木马检测方法;通过分析木马的网络数据特征,对有限自动机转换过程进行优化,缩短了编译的时间,避免了重复匹配的问题,大幅度提高了基于正则表达式的木马检测方法的效率.     

一种基于状态机的总线桥设计

随着半导体工艺技术的飞速发展,系统芯片SOC正逐渐成为集成电路设计中的主流发展趋势,基于IP重用的设计方法是提高SOC设计效率的有效途径。SOC设计通常采用层次化片上总线的体系结构,不同的IP集成在不同类型的总线上。为了实现SOC中集成在不同总线上的IP之间进行有效通信,可以采用设计总线桥的方法。文章提出了一种基于状态机的总线桥设计方法,设计结果通过了RTL功能验证。