基于有限状态机的自动售货机控制器.pdfVIP

基于有限状态机的自动售货机控制器 一中 南 大 学 周泽鹏 一金融货币识别与自助服务平台技术工程中心 金 瓯 针对随着自动售货机控制器由简单不断地变得庞大，从而出现的难扩展、难维护问题，在传统的有限状态 机理论基础上，提出一种层次型有限状态机(HierarchicalFSM，HFSM)模型。该模型对系统状态进行抽 … … 象，增加中间状态，并将复杂的系统状态图转化为一棵状态树，利用状态的局部相关性查找下一个目标状 态。分析表明，该模型能有效地解决复杂系统的“庞大症”。 关键词 有限状态机 自动售货机控制器 层次型有限状态机模型 状态转换算法 该系统能接收的所有事件的集合，它的每个元素称为一个 引 言 “事件”；T是状态转换函数，是K×E—K上的映射；S是 售货机上除基本自动售货功能外，增加了诸多功能， 系统的一个特殊状态，一般是系统启动时的初始状态；Z 如GPRS短信模块以加强安全监控，在售货机上播放视频是K的一个子集，是一个终态集。 广告以提高运营商的经济效益等Ⅲ。这就使得存在于售 有限状态机一般有2种表示方式：状态转移表和状态 Machine 货机内部的控制器(VendingController，VMC)的转移图。通常用有向图来表示有限状态机，其节点代表状 复杂程度也迅速增加，先前的一套用于小规模嵌入式系统 态。如图l所示，若在状态so接收到某个输入事件e1后 的分析设计方法、应用程序结构、运行效率与易维护程度 转向S1状态，就在图中画一条从So到S1的带箭头的弧 在当前的售货机需求面前显得有些力不从心了。有限状 线，并在弧线上标记el。 态机理论在计算机应用领域有着广泛的应用D…，状态机 对处理一些复杂情况也大有裨益。在设计阶段，开发人员 可以利用状态机模型来描述复杂的系统，从而大大缩短项 c1,02,03 目的开发周期，且系统易于维护。魏先民提出了有限状态 机在嵌入式领域应用的一个基本框架口]，但是在这个框架 中，系统中的所有状态都是互斥的关系，尽管有些状态之 图1状态转换图 间存在着紧密的关系。V．Ayvazyan等论述了状态之间 不仅存在互斥关系，还存在包含关系(父状态与子状 2 基本思想 态)[6]。本文应用有限状态机的这些特性，提出一个层次 2．1必要性分析 型有限状态机(HierarchicalFSM，HFSM)模型，对售货机 控制器(VMC)进行改进。 有限状态机是通过事件来触发状态的转变的，其事件 来源主要有2个：其一是外部触发事件，如响应用户键盘 1有限状态机 的输入；其二是内部触发事件，如系统所发出来的各种命 有限状态机是一种具有离散输入输出系统的模型，在 令。有限状态机这种事件驱动的特性具有良好的开放性， 任何时刻都处于一个特定的状态。对于事件驱动的程序 可以根据用户的要求方便地增加相应的状态与事件，完成 设计，它是非常有用的设计模型。在某一个状态下有事件 系统功能的扩展。本文所研究的自动售货机配有1个5×5 发生时，根据当前状态和输入事件的不同，选择如何处理 的管理键盘和1个3×7用户键盘，二者复用了部分的键盘 该事件以及是否需要转换到下一个状态。一个有限状态 扫描线；另外有37个外部事件源，加上几条内部命令，可能 机(FSM)是一个五