有限状态机在rtc设计中的分析与应用-计算机系统应用.pdfVIP

.//0 年 第 1 期 计 算 机 系 统 应 用 有限状态机在 !# 设计中的分析与应用 $%’()*) %+ $,,’*-.*/% /0 1*%*.2 3..2 4-5*%2 *% !# 62)*7% 周! 飚! （五邑大学计算机实验中心 广东江门 #$%#% ） ! ! ! ! 谢晓阳! （西安交通大学计算机科学与技术系 陕西西安 ’%%($ ） !! #3 P; $S )*+ O_ A Bl b h‘ +O P 4 ‘hJ DO P Er3 Ja bc /I c ^ Ymttd ,-.,/01 -23/ .1456 g$w:KZ tu9 ue^t+ ,45rZ fg w:4sABlbh@ m ttd /v.{FyS u789 uP(S uQS^ Y ! ! ! ! $’%6B[ \ (3 P; $SI’ 4gV (4b )*+ O_{hOPn m: ,-. 4V z =(;2 2 /3 P; $T45X =(‘ap q/OPEr Y }~! #3 P; $S mttd 3 P; $T ‘+OP ’! 引言 反，有限状态机是闭环系统，有限无穷，可以用有限的 从传统的工业控制到现在随处可见的家用电器、 状态，处理无穷的事务。 手机和各种电子消费产品，到处都可以看到嵌入式系 ! # 基本定义 ［: ］ 统的应用。嵌入式系统［’ ］不仅是一种新的计算机应用 有限状态机 是一种具有离散输入输出系统的模 型，它在任何时刻，都处于一个特定的状态［# ］。对于以 技术，更是现代电子系统的核心技术之一。随着嵌入 事件驱动的程序设计，它是非常有用的设计模型。当 式系统的广泛普及，嵌入式系统的复杂度也在迅速增 在某一个状态下有事件发生时，根据当前状态和输入 加。因此，在嵌入式系统规模比较庞大时，要使用更好 事件的不同，选择如何处理该事件以及是否需要转换 的分析设计方法，使应用程序结构性更好，运行效率更 到下一个状态。有限状态机：有限状态机是一个五元 高，同时，更易于维护。有限状态机理论在计算机应用 组+ ; （ ， ， ，=% ，) ），其中 ! 领域有着广泛的应用。它不仅在通信协议栈的开发中 ’ ） ; ｛=% ，=’ ，…，= ｝是有限状态集合。在 （ 广泛使用，而且对于处理一些嵌入式类硬件设计中复 任一确定的时刻，有限状态机只能处于一个确定的状 杂的情况，状态机也大有用处。在设计阶段，开发人员 态=2 ； 可以利用这种简明的状态机模型来描述复杂的系统， （# ） ; ｛’ ，# ，…，3 ｝是有限输入字符集 ! ! ! 这有助于从全局上把握工程，通过形式化验证，避免由 合，在任一确定的时刻，有限状态机只能接收一个确定 于考虑