IAR visualSTATE 5.4 (图形化状态机设计)用户手册

swp

【文件名】:visualSTATE®Version 5.0
                 User Guide
                 Second Edition
【格　式】:rar，PDF
【大　小】:5622K
【简　介】:（转自www.9iv.com-E维商务网）

IAR visualSTATE 5.4 (图形化状态机设计):

它是业界第一个图形化状态机设计工具， 它能为嵌入式系统产生非常紧凑的c代码。

自动从状态机模型生成C/C++ 代码
自动产生全部文档
直观的, 容易的使用图形化编辑器
丰富的验证和模拟工具， 包括使用RealLink进行器件上调试能力
满足UML状态机标准

IAR visualSTATE是一套基于状态机的UML兼容的图形化软件设计环境。它支持层次和并发状态机。它集成了：设计, 确认(Validation),验证(Verification), C代码生成和文档生成器等工具。
当使用visualSTATE做开发时，全部应用都是基于设计的，由于这种独到的技术，我们可以完成尽可能详尽的测试和生成可以用于任何目标的、可靠的、可供生产使用的C代码。生成的C代码与设计绝对一致，执行是完全确定的，其代码甚至比手工编写的更紧凑。
VisualSTATE工具让你在开发周期的不同活动之间操纵更容易。它支持循环开发模型，你可以从一个产品的简单轮廓开始，逐步细化。随时可以确认和验证你已经做过的设计。

方便交流
通过使用图形化的格式，软件的行为更容易为工程师和其他人员理解。无论什么时间一个新的项目成员需要理解你的软件，他都可以很短的时间做到。当需要和客户讨论问题时，我们可以利用这种非常容易理解的图形格式。
原型法使你能够快速创建一个产品原型或产品一部分的原型。这可以很方便的测试和评估不同的设计方案，用户也很容易理解，可以参加到评估中去。即使在需求规格说明完成之前，就可以让选择的客户和销售人员试这个产品。
VisualSTATE集成了完整的配套工具，所有的工作我们都不需要做第二次。你设计的一切都可以测试，仿真，原型化模拟和在目标上运行。

超级技术
从技术上讲VisualSTATE解决了许多传统上的实施问题。它自动生成用于目标系统的代码，这些代码与你的设计完全一致。生成的代码执行结果是完全确定的，所以你应用的行为将永远一样。不可能出现竞态条件和随机行为。
由于有了这种确定的模型，才能做应用的完整的动态确认。VisualSTATE 确认器将检查你系统的所有组合并报告任何错误。

特点：
A． 基于状态机的UML 兼容的图形化工具
B． 先进的确认和验证技术
C． 通过RealLink实现在目标上调试
D． 与Altia FACEPLATE一起使用可以进行原型法设计
E． 自动生成独立于处理器、实时操作系统和编译器的C代码
F． 生成的代码非常紧凑而有效，是唯一能够适合8位和16位目标
G． 自动生成完整的文档

本文源来自: E维网 详细出处：http://www.9iv.com/down/soft/404.htm


【目　录】:

Contents
Figures ................................................................................................................... xiii
Tables ..................................................................................................................... xxi
Preface ................................................................................................................. xxiii
Structure of this guide .......................................................................xxiii
Assumptions and conventions ........................................................xxvi
Part 1: Introduction ............................................................................ 1
What is visualSTATE? ....................................................................................... 3
visualSTATE modules ............................................................................. 3
visualSTATE Project examples .......................................................... 4
Sample code ................................................................................................ 5
visualSTATE user documentation .................................................... 5
Application development with visualSTATE .......................................... 7
General .......................................................................................................... 7
visualSTATE APIs .................................................................................... 8
Code required for a visualSTATE application ............................. 9
Getting started .................................................................................................. 11
How you start visualSTATE .............................................................. 11
Setting up a visualSTATE Project ................................................... 12
Part 2: Project management ................................................. 15
Graphical environment .................................................................................. 17
General ........................................................................................................ 17
Navigator windows ................................................................................ 18
Navigator toolbars ................................................................................. 19
Customizing the Navigator ................................................................ 20
Handling visualSTATE Projects, Systems and files ........................... 21
The workspace ......................................................................................... 21
Creating and saving a workspace .................................................... 22
Opening a workspace ............................................................................ 25
Creating a new Project in a workspace ........................................ 25
Adding an existing Project to a workspace ................................. 27
Removing a Project from a workspace ......................................... 28
Setting a Project or System as active ............................................ 28
Setting Verificator, Coder and Documenter options ............. 29
Reloading files in the Navigator ....................................................... 32
Digital signature ...................................................................................... 33
Handling Projects from previous visualSTATE versions ....... 35
Closing the Navigator ........................................................................... 35
Source code control ....................................................................................... 37
Supported visualSTATE file types .................................................. 37
Using source code control .................................................................. 37
User name for source code control system ................................ 39
Custom commands ......................................................................................... 41
What is a custom command? ............................................................ 41
Creating custom commands ............................................................. 41
Activating custom commands .......................................................... 44
Editing, renaming, and deleting custom commands ............... 44
Renumbering of custom command macros ............................... 45
Part 3: Modeling .................................................................................... 47
Graphical environment .................................................................................. 49
General ........................................................................................................ 49
Designer windows ................................................................................... 50
Designer toolbars ................................................................................... 53
Getting started .................................................................................................. 57

Designing statechart diagrams ......................................................... 57
Navigating in statechart diagrams .................................................. 61
Resizing and positioning objects in statechart diagrams ...... 64
Printing statechart diagrams ............................................................. 64
Safe mode .................................................................................................. 65
Customizing the Designer .................................................................. 65
States ....................................................................................................................... 69
Composing states ................................................................................... 69
Composite states .................................................................................... 74
Regions ........................................................................................................ 77
Connector states .................................................................................... 79
Pseudostates ............................................................................................. 79
Transitions ............................................................................................................ 83
Composing transitions ......................................................................... 83
Completion transitions ........................................................................ 86
Elements ................................................................................................................ 89
Creating and editing elements ......................................................... 89
Searching for an element .................................................................... 96
Handling Projects, Systems, and files for modeling ......................... 97
Creating and saving Projects, Systems, and files in the
Designer ...................................................................................................... 97
Opening a Project in the Designer ................................................ 101
Importing files into the Designer ................................................... 101
Specifying number of System instances ..................................... 101
Using Designer backup files ............................................................. 102
Using function declarations and constants in existing files 104
Closing the Designer ........................................................................... 106
Part 4: Formal testing .................................................................. 107
Introduction ...................................................................................................... 109
Conventions used in this part .......................................................... 109
Verification with visualSTATE Verificator ................................ 110
Overview .................................................................................................. 110
Approach .................................................................................................. 112
Aspects of formal verification ......................................................... 113
Checks performed by visualSTATE Verificator ............................... 125
Check for unused elements .............................................................. 125
Check for activation of elements ................................................... 127
Check for conflicting transitions .................................................... 130
Check for state dead ends ................................................................ 130
Check for local dead ends ................................................................. 131
Check for System dead ends ........................................................... 133
Check for dynamic ambiguous assignments ............................. 133
Check for static ambiguous assignments ................................... 135
Check for signal queue ....................................................................... 136
Overview of checks, modes, and errors ..................................... 137
Verifying your visualSTATE Project ....................................................... 139
Starting verification ............................................................................. 139
Tracing your visualSTATE Project .......................................................... 145
Performing a trace ............................................................................... 145
Designing for verification ............................................................................ 147
Using time/memory options to help verification .................... 147
Keeping down the complexity of verifying Systems .............. 148
Verification and visualSTATE generated code ........................ 149
Part 5: Functional testing ......................................................... 151
Introduction ...................................................................................................... 153
Simulation with visualSTATE Validator ..................................... 153
Graphical environment ...................................................................... 154
Simulation ........................................................................................................... 165
Starting simulation .............................................................................. 165
Sending events ....................................................................................... 166
Viewing elements during simulation ............................................ 168
Specifying event parameters ........................................................... 171
Signal queue handling ......................................................................... 171
Breakpoints ............................................................................................. 173
Changing variable values ................................................................... 180
Setting action function return values .......................................... 181
Forcing states ......................................................................................... 181
System setup .......................................................................................... 182
Graphical animation ............................................................................ 183
Toggling between Validator mode and target mode ........... 184
Tracing visualSTATE models ...................................................................... 187
Tracing ...................................................................................................... 187
Recording and playing test sequences ................................................. 191
Recording a test sequence ................................................................ 191
Playing recorded test sequences .................................................... 195
Analyzing visualSTATE models ................................................................. 199
Static analysis ......................................................................................... 199
Dynamic analysis ................................................................................... 201
Part 6: Testing in target applications ........................ 205
Introduction ...................................................................................................... 207
What is RealLink? ................................................................................. 208
RealLink connection to target ........................................................ 208
visualSTATE elements supported by RealLink ....................... 209
Target requirements ........................................................................... 209
Testing visualSTATE models using RealLink ...................................... 211
Setting up RealLink ............................................................................ 211
Monitoring your target application .............................................. 224
Controlling your application in target ......................................... 229
Recording and playing sequences of target tests .................... 232
Troubleshooting .................................................................................... 232
Part 7: Code generation ............................................................ 235
Introduction ...................................................................................................... 237
Code generation and visualSTATE APIs ................................... 237
Description of generated code ....................................................... 238
Elements supported by the Coder ................................................ 239
Real-time operating system (RTOS) ........................................... 240
Generating code ............................................................................................. 241
Starting code generation ................................................................... 241
Generating C++ code .......................................................................... 241
Basic API code generation ......................................................................... 243
Description of generated code ....................................................... 243
Default configuration .......................................................................... 245
Extended configuration ...................................................................... 246
Expert API code generation ..................................................................... 247
Description of generated code ....................................................... 247
Default configuration .......................................................................... 249
Extended configuration ...................................................................... 251
Size of generated code ................................................................................ 253
Data width ............................................................................................... 253
Rule data formats ................................................................................. 254
Coder options ......................................................................................... 255
Code size using visualSTATE .......................................................... 255
Part 8: Documenting visualSTATE Projects .... 257
Introduction ...................................................................................................... 259
Project report ........................................................................................ 259
Creating a Project report ................................................................. 260
Viewing the Project report .............................................................. 261
Setting up a visualSTATE Project report ............................................ 263
General ...................................................................................................... 263
Specifying report contents ............................................................... 264
Specifying report output format .................................................... 268
Setting up standard report layout ................................................. 270
Customizing report layout ............................................................... 273
Part 9: Prototyping .......................................................................... 277
Introduction ...................................................................................................... 279
Prototyping with Altia .................................................................................. 281
Basic concepts ........................................................................................ 281
Interfacing a visualSTATE model to an Altia design ............ 283
Simulation with Altia .......................................................................... 287
Closing the Altia connection ........................................................... 288
Using parameters ................................................................................. 288
Configuring the Altia connection .................................................. 290
Prototype based on visualSTATE generated code ......................... 293
General ...................................................................................................... 293
Example: Implementing visualSTATE code in C++ code ... 294
Prototyping with the visualSTATE Expert DLL ............................... 301
What is visualSTATE Expert DLL? ............................................... 301
Interaction ............................................................................................... 302
Generating code for the visualSTATE Expert DLL ............... 303
Interfacing to the Expert DLL using Visual Basic ................... 304
Part 10: Working in an OSEK environment ..... 313
Using the visualSTATE OSEK Kit ........................................................... 315
Generating visualSTATE files for use in an OSEK
environment ........................................................................................... 315
Enabling OSEK support ..................................................................... 315
Assigning visualSTATE Systems to OSEK tasks ..................... 317
Building a runtime application .................................................................. 323
Requirements for building a runtime application .................. 323
Exported visualSTATE OSEK API functions ............................ 325
Supplying events ................................................................................... 325
API examples .......................................................................................... 326
Runtime considerations .............................................................................. 331
Stack usage .............................................................................................. 331
RAM/ROM usage ................................................................................... 336
Part 11: General reference .................................................... 339
Navigator menu commands ...................................................................... 341
File menu .................................................................................................. 341
Edit menu ................................................................................................. 343
View menu ............................................................................................... 343
Project menu .......................................................................................... 343
Tools menu .............................................................................................. 344
Window menu ....................................................................................... 344
Help menu ............................................................................................... 344
Designer shortcuts ........................................................................................ 345
General ...................................................................................................... 345
Diagram tools ......................................................................................... 345
Project, System and statechart diagram views ....................... 346
Element browser .................................................................................. 348
Designer menu commands ........................................................................ 349
File menu .................................................................................................. 349
Edit menu ................................................................................................. 351
View menu ............................................................................................... 352
Insert menu ............................................................................................. 354
Format menu ......................................................................................... 354
Tools menu .............................................................................................. 356
Window menu ....................................................................................... 358
Help menu ............................................................................................... 358
Validator shortcut keys ............................................................................... 359
General ...................................................................................................... 359
Windows ................................................................................................... 359
Editing ........................................................................................................ 360
Debugging ................................................................................................ 360
Navigation in test sequence files .................................................... 361
Validator menu commands ........................................................................ 363
File menu .................................................................................................. 364
Edit menu ................................................................................................. 367
View menu ............................................................................................... 370
Debug menu ............................................................................................ 371
RealLink menu ....................................................................................... 374
Altia menu ............................................................................................... 375
Window menu ....................................................................................... 376
Help menu ............................................................................................... 377
Verificator command line options .......................................................... 379
General ...................................................................................................... 379
Command line syntax ......................................................................... 379
List of Verificator command line options .................................. 380
Coder options .................................................................................................. 381
Command line syntax ......................................................................... 381
Lists of Coder options ......................................................................... 382
Documenter options .................................................................................... 399
Command line syntax ......................................................................... 399
Lists of Documenter options ........................................................... 399
Appendix A: visualSTATE file name extensions .............................. 415
Appendix B: CD player example ............................................................ 417
Statechart diagram of CD player example ............................... 418
Validator test sequence file example ........................................... 419
Validator dynamic analysis file ........................................................ 434
Validator static analysis file .............................................................. 439
Appendix C: RealLink memory consumption ................................. 443
visualSTATE model dependent memory usage ...................... 443
RealLink API dependent memory usage .................................... 444
Appendix D: Source code example ...................................................... 445
Mobile phone.frm ................................................................................. 445
Main.bas .................................................................................................... 457
Utility.bas ................................................................................................. 463
Appendix E: Handling
visualSTATE files from previous versions ........................................... 469
Manual conversion from format 1 to 5 format ........................ 469
Index 471
【文件名】:08927@52RD_UserGuide.rar
【格　式】:rar
【大　小】:3618K
【简　介】:
【目　录】:

[此贴子已经被作者于2008-9-27 10:28:19编辑过]

meizhan278

能下载吗？