计算机工程与科学
計算機工程與科學
계산궤공정여과학
COMPUTER ENGINEERING & SCIENCE
2010年
4期
128-130
,共3页
有限状态机%嵌入式系统%IAR%VisualSTATE ARM%建模
有限狀態機%嵌入式繫統%IAR%VisualSTATE ARM%建模
유한상태궤%감입식계통%IAR%VisualSTATE ARM%건모
finite state machine%embedded system%IAR VisualSTATE%ARM%modeling
随着嵌入式系统在各个领域的广泛应用,嵌入式系统变得越来越复杂,研究一种支持嵌入式系统从分析、设计、验证到编码整个过程的模型系统及建模方法变得越来越重要.本系统在IAR VisualSTATE环境下用状态图对嵌入式系统进行面向对象分析与设计,并以ATM实时控制系统为例,建立系统的动态模型,分析系统状态变化,实现了从状态图到C代码的自动生成,并将生成代码及用户代码与具体的硬件SmartARM2200结合来验证基于有限状态机建模的正确性.
隨著嵌入式繫統在各箇領域的廣汎應用,嵌入式繫統變得越來越複雜,研究一種支持嵌入式繫統從分析、設計、驗證到編碼整箇過程的模型繫統及建模方法變得越來越重要.本繫統在IAR VisualSTATE環境下用狀態圖對嵌入式繫統進行麵嚮對象分析與設計,併以ATM實時控製繫統為例,建立繫統的動態模型,分析繫統狀態變化,實現瞭從狀態圖到C代碼的自動生成,併將生成代碼及用戶代碼與具體的硬件SmartARM2200結閤來驗證基于有限狀態機建模的正確性.
수착감입식계통재각개영역적엄범응용,감입식계통변득월래월복잡,연구일충지지감입식계통종분석、설계、험증도편마정개과정적모형계통급건모방법변득월래월중요.본계통재IAR VisualSTATE배경하용상태도대감입식계통진행면향대상분석여설계,병이ATM실시공제계통위례,건립계통적동태모형,분석계통상태변화,실현료종상태도도C대마적자동생성,병장생성대마급용호대마여구체적경건SmartARM2200결합래험증기우유한상태궤건모적정학성.
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.
