论文部分内容阅读
为了研制基于低功耗的ARM硬件架构的嵌入式系统的103协议主站通信控制器,需对原有103通信程序作结构化、精简化移植改造.将有限状态机(FSM)模型引入规约状态管理中.从有限状态机模型的定义出发,讨论了状态、转移函数及事件集合等概念和在规约实现中的具体应用.提出了采用状态搜索树来扩展FSM的行为方式,为提高主站的响应速度奠定基础.提出了分步式轮询应答及采用历史状态响应中断操作的实现方式,进一步提高了主站的响应速度,解决了以往通信程序采集模型周期长、状态管理困难等问题.