嵌入式软件中状态机的抽象与实现.pdfVIP

第 23 卷第 10 期 计算机应用 Vol. 23 ,No. 10 2003 年 10 月 　 Computer Applications 　 Oct. ,2003 ( ) 文章编号 :1001 - 9081 2003 10 - 0084 - 03 嵌入式软件中状态机的抽象与实现 熊振云 ,阮俊波 ,金惠华 (北京航空航天大学 计算机学院 ,北京 100083) 摘 　要 :文中提出了在嵌入式软件中把状态机作为一个独立模块从控制模块中抽象出来的思想 , 描述了抽象出来的状态机模块 。并介绍了如何将这种状态机抽象模块应用到实际项 目中。 关键词 :嵌入式软件 ;状态机 ;模块化 中图分类号 : TP311 　　文献标识码 :A Abstract State Machine in Embed Software XIONG Zhenyun ,RUAN Junbo ,J IN Huihua ( ) Computer Science and Engineering School ,Beihang University ,Beijing 100083 ,China Abstract : This article brings forward an idea that abstracting state machine from control module in embed software and describes the abstract state machine module. It also talks about how to use this kind of abstract state machine in a project. Key words : embed software ;state machine ;modularization 在实际的工程应用中 , 比较容易就可以将诸如主程序模 1 　引言 块 、控制程序模块之类的功能抽象出来 ,却往往习惯将状态机 从传统的工业控制到人们 日常生活中的电视 、手机 ,到处 的处理混入控制程序模块中。如果这么做 ,将会在控制程序 都可以见到实时嵌入式系统的应用 。实时嵌入式系统与普通 模块中引入大量的变量赋值和条件判断 ,增大软件开发的难 计算机系统的差别首先是资源较少 ,其次是系统不仅要保证 度并给系统带来安全隐患 , 因为开发人员可能会弄不清楚变 计算产生正确结果 ,而且还要保证在规定时间内产生结果 。 量的意义而不得不反复查阅设计文档 ,或者因混淆众多变量 在开发嵌入式实时系统的软件时 ,经常需要用多个状态 而错误的对某些变量进行赋值 。这种情况在系统开发后期尤 来描述系统的行为 。这些状态的状态变化和转移形成了状态 为明显 。 机 。如果能抽象出一种通用的状态机模型 ,则可减轻嵌入式 在工程实践中发现 :可以将状态机作为一个单独的模块 软件开发人员的工作负担 , 同时