3_arm开发中uml技术的介绍和演示

《3_arm开发中uml技术的介绍和演示》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、UMLUML在在ARMARM开发中的应用开发中的应用————IARIARvisualSTATEvisualSTATERyanRyanShengShengIIARSystemsAB,ShanghaiARSystemsAB,Shanghai1IARIARvisualSTATEvisualSTATEIARvisualSTATE是一个基于UML状态机理论的图形化建模和设计工具，并且是世界上首个可生成产品级优质嵌入式C代码的工具。IARvisualSTATE专利技术模型设计系统集成和调试逻辑测试自动文档生成状态级仿真自动代码生成2I

2、ARvisualSTATE,aPatentedTechnologyforRAD-RapidApplicationDevelopment产品特点¾以状态机的思想分析需求，描述系统¾图形化的开发模式：绘制UML状态图，使得设计更加简单和直观¾模型驱动的设计，更易于理解和交流¾便于软件维护，适应需求变更¾全面的静态和动态分析¾严格的逻辑验证，自动检验所有事件和状态的组合，在早期发现问题¾状态机级别的图形化仿真¾状态机级别的On-Target调试¾针对资源受限的嵌入式系统，自动生成紧凑、优质的C/C++代码¾同步生成与设计相一致的

3、开发文档3WhatcanWhatcanvisualSTATEvisualSTATEdoforyou?doforyou?4visualSTATEvisualSTATEApplicationApplicationwithoutanOperatingSystemwithoutanOperatingSystemStateChartStateChartDataRealLifeRealLifeDeviceDriverDeviceDrivervisualSTATEconvertinputsconvertactionsx=port(0);

4、enignetoeventstooutputsport(1)=1;•Events:Occurringthingsthataffectthestatemachine,e.g.interrupts,timeouts,buttonpress•States:Whatthesystemisdoing,e.g.heating,spinning•Transitions:Therelationbetweenthecurrentstateandanextstate.•Actions:Howthesystemreactsupontheinpu

5、ts,e.g.openavalve,lightaLED,sendapacket5visualSTATEvisualSTATEApplicationApplicationIntegratedwithinanRTOSIntegratedwithinanRTOS6visualSTATEvisualSTATEOverviewOverviewvisualSTATENavigator•Projecthandling•ToolsinvocationvisualSTATEvisualSTATEvisualSTATEDesignerVeri

6、ficatorDocumenter•Modeldesign•Formaltest•Modelreport•Logicalconsistency•DocumentationvisualSTATEvisualSTATEValidatorCoder•Functionaltest•Codegeneration•Simulation•RealLink7visualSTATEvisualSTATENavigatorNavigator8UsingUsingvisualSTATEvisualSTATE»»Createthestatemac

7、hinemodelCreatethestatemachinemodel»»FormallogicalverificationFormallogicalverification»»SymbolorgraphicalsimulationSymbolorgraphicalsimulation»»Createtheprototype(optional)Createtheprototype(optional)»»CodegenerationCodegeneration»»ImplementationImplementation»»O

8、nOn--TargetdebuggingTargetdebugging»»StaticordynamicanalysisStaticordynamicanalysis»»DocumentgenerationDocumentgeneration9visualSTATEvisualSTATE:Modelin