引 言
    有限状态机是根据当前状态以及触发条件进行状态转换的一种机制，包含一组状态集(state)、一个起始状态(start state)、一组输入符号集(alphabet)、一个映射输入符号和当前状态到下一状态的转换函数(transition func-tion)的计算模型。当输入符号串时，模型随即进入起始状态。要让状态机改变到新的状态，依赖于系统的转换函数。有限状态机中有许多变量，例如，与动作(actions)转换(Mealy机)或状态(摩尔机)关联的动作，多重起始状态，基于没有输入符号的转换或指定符号和状态(非定有限状态机)的多个转换、指派给接收状态(识别者)的一个或多个状态。有限状态机多应用于硬件时序电路设计。
    有限状态机也可以应用到嵌入式软件设计中。在进行嵌入式软件设计时，通常的做法是按照信息流程进行顺序编程。例如对串行数据的处理，一般是等待接收数据，分析数据，进行数据处理，然后发送处理结果。使用这种软件设计方法，最突出的一点就是在任务的处理过程中，任务基本上独占了MCU的资源，即在处理串口数据的过程中，不会再去处理其他消息(中断除外)。采用这种方式，MCU会在相当长的一段时间内只处理一个任务。如果合理运用状态机机制开发系统软件，就可以让MCU进行多任务的分时处理。

1 建立有限状态机的模型
    其实在平时的程序设计中，开发人员已经不知不觉地使用了状态机，如按键状态转换、菜单显示状态的转换等。但是，很少有系统会使用状态机进行多任务处理。在单片机系统中，通过对系统各功能模块的分析，可以建立有限状态机的模型，继而在系统的软件设计中利用状态机的特点，开发出结构清晰的高效率嵌入式软件。
1．1 系统功能分析
    具有GPS、GPRS功能的公交车智能IC卡收费机，其功能包括对乘客使用的非接触式IC卡进行刷卡消费，使用GPS进行自动报站，以及使用GPRS进行实时调度等。按照独占式处理模式，智能收费机的软件系统会把多个任务按照信息流程进行排队，处理完一个任务后，再进行下一个任务的处理。使用状态机进行软件编程，可以把每一个任务分解为多个状态，在某个状态处理时，同时检查其他任务是否需要进行信息处理，并进行状态的转换。这样就可以让MCU在等待的空闲时间内进行多个消息的处理。
1．2 IC卡功能的状态机建模
    目前公交车乘客使用的公交卡，一般都是非接触式IC卡，需要使用一个接口芯片对卡片进行读写操作。因此要对IC卡进行操作，就需要先对接口芯片进行初始化，包括对相关I／O引脚的设置、访问地址的设定等操作。当非接触式IC卡进入无线操作范围后，需要使用Request命令唤醒卡片，再对唤醒的卡片(一张或多张)进行防冲突处理，得到卡片的唯一标识码，然后通过Select命令选择要进行操作的卡片-。非接触式IC卡内的数据是用密码进行保护的，而且每个区的密码都不一样。因此在对某个区进行读写前，还需要进行密码的验证。只有密码正确了，才可以进行读写操作。如果卡片的防冲突处理、选择卡片操作扇区、授权验证这几个步骤出错，则需要使用Request命令对卡片重新唤醒，然后再进行其他操作。在完成对卡片某一区域的读写后，可以直接对其他区域进行操作(需要重新验证密码)，或者使用Request命令对其他卡片进行操作。
    对IC卡的操作可以分为以下几个部分：接口芯片的初始化、查询卡片、防冲突处理、选择卡片、对操作扇区授权验证、读卡、写卡。根据对IC卡的操作，可以建立IC卡操作的相应状态作为状态机。建立状态机的模型如图1所示。类似地，对于GPRS、GPS等功能模块，也可以进行相应的状态机建模。

2 利用状态机进行软件设计
    利用前面所建立的状态机模型，可以方便地进行相应的程序设计。软件的主要工作是进行正确的状态切换和在每个状态下执行相应的动作。对单个状态机处理的程序设计，可以使用“横式”或“竖式”两种设计方法。“横式”设计是把每个状态的功能作为一个子函数处理，在子函数外部进行状态的切换。“竖式”设计是在单个switch语句中对所有的状态进行判断，执行相应动作并进行状态切换。下面以非接触式IC卡操作为例，对两种软件设计方式进行讨论。假设变量如下：当前状态为CUr_state，下一状态为next_state；状态分别为RC500Config、RC500Request、RC500Anticoll、RC500Select、RC500Auth、RC500LoadMk、RC500Read、RC500write。“竖式”程序设计如下：