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

被引：6

作者：

赵良

倪福川

机构：

[1] 华中农业大学理学院计算机科学与技术系

来源：

计算机工程与科学 | 2010年 / 32卷 / 04期

关键词：

有限状态机; 嵌入式系统; IAR Visual STATE; ARM; 建模;

D O I：

暂无

中图分类号：

TP368.1 [微处理机];

学科分类号：

081201 ;

摘要：

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

引用

页码：128 / 130

页数：3

共 8 条

[1] 基于UML的嵌入式实时控制系统的建模与实现 [J].

王小平 ;

宣乐飞 ;

张蔚 .

计算机技术与发展, 2006, (07) :239-241+244

[2] 基于UML的嵌入式系统的分析与设计 [J].

苏琼 ;

胡继承 ;

张振兴 .

计算机应用研究, 2005, (11) :14-15

[3] 基于Rhapsody和VxWorks的自动取款机系统附视频 [J].

倪红军 ;

赵绍刚 ;

朱美强 .

单片机与嵌入式系统应用, 2004, (01) :59-63

[4]

嵌入式系统接口设计与Linux驱动程序开发.[M].刘淼编著;.北京航空航天大学出版社.2006,

[5]

ARM嵌入式Linux系统构建与驱动开发范例.[M].周立功;陈明计;陈渝著;.北京航空航天大学出版社.2006,

[6]

ARM嵌入式系统基础教程.[M].周立功等编著;.北京航空航天大学出版社.2005,

[7]

嵌入式开发详解.[M].魏忠等编著;.电子工业出版社.2003,

[8]

C语言嵌入式系统开发.[M].(美)MichaelJ.Pont编著;陈继辉等译;.中国电力出版社.2003,

← 1 →