嵌入式开发工程师必备有限状态机

　　有限状态机示意图（FiniteStateMachines）图片来源：flaviocopes。com
　　作者PeterGalan
　　获取有关使用C语言为嵌入式系统的有限状态机进行编程的帮助。
　　有限状态机（FSM）的定义是：描述特定（逻辑）过程的一系列事件和动作的数学模型。在工程实践中，你可以找到无数类似的过程，从简单的通过几个按钮控制电机的FSM，到可以监控非常复杂的生产制造过程或航天飞机的复杂FSM系统。
　　我曾经为广泛应用于光通信领域的掺铒光纤放大器（EDFA）设计过固件。一个固件部分必须处理EDFA的安全问题，如果设计不当，EDFA可能会使用对人体有害的强激光。这似乎是一个常规的FSM代码设计，但其结果却是一个非常复杂的、难以遵循和维护的冗长过程。需要一种不同的方法来实施FSM，这可能会引起嵌入式代码设计者的兴趣。
　　有限状态机理论
　　根据有限状态机理论，你可能会想起两种类型的FSM表示，一种是Mealy有限状态机，另一种是Moore有限状态机。这两类FSM都处理三组变量，一组输入变量X（k），一组内部状态U（k）和一组输出变量Y（k）。这两类FSM使用相同的转换函数来映射UxX
　　Mealy和MooreFSM的区别在于用于输出状态的第二个映射函数。Mealy的输出状态映射函数表示UxXY映射，而Moore表示一个更简单的映射，从UY。从实现的角度来看，虽然MooreFSM可能更简单，但MealyFSM也有其优势。例如，与内部状态的数量相比，它可以有更多或不同的输出状态，而在MooreFSM中，每个内部状态都与一个输出状态相关联。
　　通用的MealyFSM可用下面的表格来表示：
　　其中uk列表示当前的内部状态，xk行表示当前的输入状态。表格显示下一个内部状态（映射）和相应的输出状态（映射）。
　　图1：单级EDFA安全状态图。
　　图1显示了FSM另一种更常见的表达形式，即状态图。你可以看到一个完整的单级EDFA安全序列状态图。
　　每个EDFA使用一个或两个（更常见的两级EDFA）激光泵，将能量提供给EDFA内的特殊光纤线圈。通过放大器，该能量从上一个节点传输到下一个节点的光信号（光子）放大。当连接EDFA和其它节点的光纤断开并且检测到信号丢失（LOS）时，就会出现问题。这种情况必须立即处理，激光功率必须降低或完全切断。其它情况也需要立即关注。整个安全序列是EDFA固件实施的一部分。
　　FSM的基本实施
　　实现有限状态机（通常用于嵌入式控制软件），最好的编程语言是什么？答案可能是C语言。还有许多其它更现代的、面向对象的编程语言，但C语言就像嵌入式系统的母语言。一个经验丰富的嵌入式软件设计师，如何在C语言中实现这种FSM？它很可能从这样一个函数开始：
　　如果查看上面的代码，您可以看到条件（事件标志组合）如何在满足条件的情况下，将currState变量从初始、禁用状态移动更改为下一个状态。每次这样的内部状态变化，都会触发一个特定动作，在某些情况下，输出状态会触发多个动作。
　　到目前为止一切都还正常进行，但随着整个过程变得更加复杂，ifelse决策语句也变得更加复杂（而且嵌套更深）。然后，如果需要修改任何ifelse决策语句，它可能会影响诸多其它语句。接下来，整个处理功能将需要反复测试。两级EDFA需要两个类似的FSM功能，再加上另一个控制ADFA放大器的FSM功能，需要做很多工作。
　　改进FSM的实现
　　还有另一种方法来表达有限状态机：通过状态转换表（STT）来实现。STT是MealyFSM描述的另一种形式。这样的表通常有四列，行数根据需要确定。每行描述从当前状态到下一状态的转换。转换由事件（一个或多个事件标志的组合）触发。该动作描述了与转换相关的所有动作。例如，如下是一个STT（只是它的片段），对应于图中所示的状态图。
　　为什么这样的表示比状态图更好？因为它可易于实现。下面，来看看如何用C语言来实现。
　　一位经验丰富的软件设计师，会将FSM代码拆分成几个源文件，并从FSMexample。h头文件开始，其中包含特殊类型的定义和所有函数的原型。下面是此类头文件的一个示例。
　　对于经验不足的程序员来说，前两个定义可能值得解释。每个函数定义一个特定函数指针的名称。在C中，这些定义与使用delegate关键字的定义相同。它们是C语言编程中非常强大的工具，使C程序能够像使用C这样面向对象的编程语言，更方便地编写程序。除了最后一个函数外，其它所有函数都应该非常清楚。一类是FFSMEVENTT类型的函数，它们用于测试某些系统状态（标志），并返回true或false。请注意IsLosON（）和IsLosOFF（）等成对的函数。在这种特殊情况下，只需测试一个：通过硬件（HW）报告的状态标志，来测试输入信号的丢失。如果检测到信号丢失，此函数将返回true，否则将返回false。第二个函数只是一种封装器，它调用第一个函数并返回一个否定的结果。
　　这里定义的第二类函数是FFSMACTIONT类型。这是动作功能，它们控制（打开或关闭）微控制器所需的内部外部设备或一些HW电路，整个嵌入式系统由这些电路组成。
　　无论FSM如何实现，都需要这两类功能，例如状态图过程或STT实现。现在，FSMsstKernel（）函数是一个新功能。它取代了实现函数FSMstage1（）的状态图。它处理STT类型的数据。这些数据被定义为SFSMSTTT类型，并作为FSMsstKernel（）函数的参数。由于FSMsstKernel（）需要修改至少一个数据项，因此必须将其作为指向SFSMSTT类型数据的引用指针。
　　图2：单级EDFA安全状态图模拟。
　　FSMsstKernel（）所做的事情非常简单。它在SFSMROWT类型的行（数组元素）中循环，并查找presentState与当前内部状态currentState相同的行。如果找到这样的行，将调用其对应的事件测试函数，并将它们的返回值anded放在一起，以确定是否满足了移动到下一个内部状态的条件。但有个限制，只能将两个逻辑值anded加在一起。如果需要更多个，则需要通过另一个FFSMEVENTT类型的事件，来扩展SFSMROWT数据结构。如果内部状态之间的转换，必须将条件事件ored放在在一起，那又如何处理呢？每个事件（或它们anded的组合）必须在单独的、但在其它方面相同的行中提供。
　　然后，FSMsstKernel（）继续（如果瞬态条件满足）启动在行数据中找到的动作。最后，它将行的nextState复制到stt的currentState。
　　如果我想使用FSMsstKernel（）来处理更多STT行数截然不同的FSM，该怎么办？必须定义ROWMAX常量，以满足最长的STT，但最好的解决方案是用行的链接列表替换行数组。然后，每个SFSMSTTT型数据，将使用一个最佳内存空间。然而，一些简单的嵌入式系统，不支持动态分配内存空间。
　　现在，在FSMsstKernel（）中取消对这两个printf（）语句的注释，可以看到FSM是如何从当前状态发展到下一个状态的。这显然不适用于嵌入式系统，但整个代码可能会在PC机上进行测试，例如在MicrosoftVisualStudio中。
　　完成和编译
　　一旦FSMexample。h和FSMexample。c完成后（甚至可以编译它们并创建对应的。obj文件），就可以将它们添加到应用程序中。在另一个源文件中，需要创建STT表。这意味着首先定义STT的每一行，最后定义STT本身。然后可以调用FSMsstKernel（）函数。您很可能会在FW应用程序的main（）函数中，将其作为后台任务之一调用。您可以定义更多这样类似SFSMSTTT变量，并调用FSMsstKernel（）来引用它们。
　　为了更好地可视化，请在MSVisualStudio下的PC上编写以下源文件：
　　在编译和运行程序（以及FSMexample。h和FSMexample。cpp）时，如果FSMsstKernel（）中的两个printf（）语句并未注释掉，您应该会看到如图2所示的结果。
　　关键概念：
　　检查有限状态机的基本实现。
　　考察有限状态机实现的改进。
　　思考一下：
　　如果通过一种不同的方法来实施有限状态机？