基于有限状态机的嵌入式系统建模研究与实现

doi:10.3969/j.issn.1007130X.2010.

J4 ›› 2010, Vol. 32 ›› Issue (4): 128-130.doi: 10.3969/j.issn.1007130X.2010.

基于有限状态机的嵌入式系统建模研究与实现

赵良，倪福川

（华中农业大学理学院计算机科学与技术系，湖北武汉430070）

收稿日期:2008-10-19 修回日期:2009-01-10 出版日期:2010-03-28 发布日期:2010-03-28
通讯作者: 赵良 E-mail:zhaoliang323@mail.hzau.edu.cn
作者简介:赵良（1979），女,湖北恩施人，博士生，讲师，研究方向为软件体系结构、软件测试和资源环境信息系统；倪福川，博士生，讲师，研究方向为嵌入式系统、图形图像处理和农业信息化。

Modeling and Realization of an Embedded System Based on the Finite State Machine

ZHAO Liang,NI Fuchuan

（Department of Computer Science,School of Science,Huazhong Agricultural University,Wuhan 430070,China）

Received:2008-10-19 Revised:2009-01-10 Online:2010-03-28 Published:2010-03-28
Contact: ZHAO Liang E-mail:zhaoliang323@mail.hzau.edu.cn

摘要/Abstract

摘要： 随着嵌入式系统在各个领域的广泛应用，嵌入式系统变得越来越复杂，研究一种支持嵌入式系统从分析、设计、验证到编码整个过程的模型系统及建模方法变得越来越重要。本系统在IAR VisualSTATE环境下用状态图对嵌入式系统进行面向对象分析与设计，并以ATM实时控制系统为例，建立系统的动态模型，分析系统状态变化，实现了从状态图到C代码的自动生成，并将生成代码及用户代码与具体的硬件SmartARM2200结合来验证基于有限状态机建模的正确性。

关键词: 有限状态机, 嵌入式系统, IAR VisualSTATE, ARM, 建模

Abstract: With the widespread use of embedded system in every field, they are now becoming more and more complicated.It is important to study a method to analyse,design, verify ,code and model the system.The system uses the Finite State Diagram to analyse and design the embedded system, and at last, the software IAR VisualSTATE is used to establish the ATM system's dynamic model, whcih can produce the code automatically. This process can enhance the efficiency of the design, maintenance, and quality of software.After doing all the above, it is time to download the automatic codes and the user codes to specific hardware，such as SmartARM2200 to verify the accuracy of the modeling based on the Finite State Machine.

Key words: finite state machine;embedded system;IAR VisualSTATE;ARM;modeling

中图分类号:

TP311.52

赵良，倪福川. 基于有限状态机的嵌入式系统建模研究与实现[J]. J4, 2010, 32(4): 128-130.

ZHAO Liang,NI Fuchuan. Modeling and Realization of an Embedded System Based on the Finite State Machine[J]. J4, 2010, 32(4): 128-130.

[1]	姚袭欣, 章博, 陈香兰, 乔磊, 李曦. 一种基于Event-B语言的时间触发系统建模方法[J]. 计算机工程与科学, 2023, 45(04): 613-621.
[2]	孙智超, 张策, 江文倩, 刘凯卫, 范苗苗, 李文毓, 温雅菲. 故障检测率对软件可靠性影响实证分析[J]. 计算机工程与科学, 2022, 44(12): 2162-2173.
[3]	韦存阳, 贾海鹏, 张云泉, 曲国远, 魏大洲, 张广婷. 基于ARMv8处理器的高性能图像处理算法实现与优化研究[J]. 计算机工程与科学, 2022, 44(10): 1711-1720.
[4]	牟明任, 贾海鹏, 张云泉, 邓明森, 曲国远, 魏大洲, 张广婷. 基于ARM架构的中值滤波算法优化[J]. 计算机工程与科学, 2022, 44(10): 1738-1746.
[5]	龚锐, 石伟, 刘威, 张剑锋, 王蕾. 基于NAND Flash的CPU安全启动设计与实现[J]. 计算机工程与科学, 2022, 44(06): 971-978.
[6]	陈祥国, 尚凡, 宋君强. 嵌入式系统安全防护方案比较与应用案例分析[J]. 计算机工程与科学, 2022, 44(03): 417-426.
[7]	刘雨青, 向军, 曹守启. 基于改进蚁群算法的水下自主航行机器人路径规划[J]. 计算机工程与科学, 2022, 44(03): 536-544.
[8]	张志远, 陈海进. 基于动态矩阵的未知环境地图构建与路径规划[J]. 计算机工程与科学, 2022, 44(03): 563-570.
[9]	孙宝贵, 车文刚, 廖江福, . 一种改进的KNN案例推理检索算法[J]. 计算机工程与科学, 2021, 43(12): 2263-2271.
[10]	赵永浩, 贾海鹏, 张云泉, 张思佳. 基于SIMD的Square Root函数高性能实现与优化[J]. 计算机工程与科学, 2021, 43(04): 662-669.
[11]	明平洲, 李治刚, 刘婷, 芦韡, 刘东, 曾辉, 余红星. ARM计算环境下堆芯程序的移植[J]. 计算机工程与科学, 2021, 43(04): 681-688.
[12]	赵应丁, 岳星宇, 杨文姬, 张吉昊, 杨红云, . 基于多特征融合卷积神经网络的显著性检测[J]. 计算机工程与科学, 2021, 43(04): 729-737.
[13]	邢红星, 魏叶华, 乐懿. 硬件成本缩减的异构分布式嵌入式系统调度算法[J]. 计算机工程与科学, 2021, 43(02): 258-265.
[14]	薛骁勇, 孙猛. Mediator的概率扩展[J]. 计算机工程与科学, 2020, 42(08): 1367-1373.
[15]	王思齐, 胡婧韬, 余广, 祝恩, 蔡志平. 智能视频异常事件检测方法综述[J]. 计算机工程与科学, 2020, 42(08): 1393-1405.

基于有限状态机的嵌入式系统建模研究与实现

Modeling and Realization of an Embedded System Based on the Finite State Machine

PDF

可视化

摘要/Abstract

引用本文

使用本文

相关文章 15

编辑推荐

Metrics

本文评价