Modeling software with finite state machines: a practical approach
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Boca Raton [u.a.]
Auerbach Publ.
2006
|
| Schlagworte: | |
| Online-Zugang: | Table of contents only Inhaltsverzeichnis |
| Beschreibung: | Includes bibliographical references and index |
| Beschreibung: | XIX, 369 S. Ill., graph. Darst. |
| ISBN: | 0849380863 9780849380860 |
Internformat
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV022194772 | ||
| 003 | DE-604 | ||
| 005 | 20080117 | ||
| 007 | t | ||
| 008 | 061215s2006 xxuad|| |||| 00||| eng d | ||
| 010 | |a 2005035224 | ||
| 020 | |a 0849380863 |9 0-8493-8086-3 | ||
| 020 | |a 9780849380860 |9 978-0-8493-8086-0 | ||
| 035 | |a (OCoLC)62728442 | ||
| 035 | |a (DE-599)BVBBV022194772 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 044 | |a xxu |c US | ||
| 049 | |a DE-703 |a DE-29T | ||
| 050 | 0 | |a QA76.76.D47 | |
| 082 | 0 | |a 005.1 | |
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 245 | 1 | 0 | |a Modeling software with finite state machines |b a practical approach |c Ferdinand Wagner ... |
| 264 | 1 | |a Boca Raton [u.a.] |b Auerbach Publ. |c 2006 | |
| 300 | |a XIX, 369 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Includes bibliographical references and index | ||
| 650 | 4 | |a Computer software |x Development | |
| 650 | 4 | |a Machine theory | |
| 650 | 0 | 7 | |a Softwareentwicklung |0 (DE-588)4116522-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Virtuelle Maschine |0 (DE-588)4188396-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Software |0 (DE-588)4055382-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Zustandsmaschine |0 (DE-588)4637782-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Modellierung |0 (DE-588)4170297-9 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Software |0 (DE-588)4055382-6 |D s |
| 689 | 0 | 1 | |a Modellierung |0 (DE-588)4170297-9 |D s |
| 689 | 0 | 2 | |a Virtuelle Maschine |0 (DE-588)4188396-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 1 | 1 | |a Zustandsmaschine |0 (DE-588)4637782-7 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Wagner, Ferdinand |e Sonstige |4 oth | |
| 856 | 4 | |u http://www.loc.gov/catdir/toc/ecip065/2005035224.html |3 Table of contents only | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015406288&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-015406288 | ||
Datensatz im Suchindex
| _version_ | 1804136169135407104 |
|---|---|
| adam_text | Table of Contents
Part I The Problems of Software
1 Evolution of Software Development..........................................3
Introduction .............................................................................................................3
Programming Languages...........................................................................................4
A Little History................................................................................................5
BASIC Catastrophe...........................................................................................6
C++..................................................................................................................6
PLC...................................................................................................................7
Script or Macro Notations...............................................................................8
There Are Many Languages..............................................................................8
Methods.....................................................................................................................9
Basic Knowledge...........................................................................................10
Specifying or Not?.........................................................................................11
CASETools.....................................................................................................12
UML................................................................................................................13
Agile Methods................................................................................................16
Behavior Modeling.........................................................................................17
Development Tools..................................................................................................19
Recommended Reading..........................................................................................20
2 The Price of Weakness...............................................................23
Software Development Costs..................................................................................23
Programming as a Hobby..............................................................................24
Small Software Projects.................................................................................25
Large Software Projects.................................................................................26
Hardness of Software.....................................................................................28
Ease of Creating New Macro Languages.......................................................30
Do We Need So Many Programming Languages?..........................................31
The Specifics of Programming Languages....................................................32
The Specifics of a Software Project..............................................................33
Software Is Expensive...................................................................................35
XI
xii ¦ Modeling Software with Finite State Machines
Maintenance Costs..................................................................................................35
Software Errors..............................................................................................35
Software Changes..........................................................................................36
In Code We Trust...........................................................................................37
The Costs of Software Errors........................................................................38
The Programmers World........................................................................................38
A Programmer in a Project............................................................................39
The Software Project Leader.........................................................................40
Examples of Disasters.............................................................................................40
Recommended Reading..........................................................................................42
3 Software as Engineering?..........................................................43
Methods...................................................................................................................43
Fascination with Graphics.............................................................................45
Visual Basic Chaos.........................................................................................46
Object-Oriented Design Illusion....................................................................47
UML Illusion..................................................................................................47
Formal Methods.............................................................................................49
CASETools — Value for Money?...................................................................49
Programming or Specification Languages?....................................................50
Development Cycle.................................................................................................51
Prototyping....................................................................................................51
Specification..................................................................................................52
Software Development Steps........................................................................52
Software Documentation...............................................................................53
Testing and Debugging..................................................................................54
Maintenance and Support.............................................................................55
Human Factors...............................................................................................55
Summary........................................................................................................55
Education Requirements.........................................................................................56
Who Is a Programmer?..................................................................................56
Education as the Basis of Skill.......................................................................57
Missing Skill — Examples.............................................................................57
Conclusions.............................................................................................................58
Recommended Reading..........................................................................................60
Part II Finite State Machines
4 Introduction, Definitions, and Notation..................................63
Finite State Machine................................................................................................63
State Machine Models and Presentations...............................................................65
Transition Matrix...........................................................................................65
State Transition Diagram................................................................................67
Outputs (Actions)..........................................................................................68
Moore and Mealy Model................................................................................69
State Transition Table.....................................................................................69
Example.........................................................................................................73
Recommended Reading..........................................................................................75
Table of Contents ¦ xiii
5 Hardware Applications..............................................................77
Introduction............................................................................................................77
Limited to Boolean Signals......................................................................................77
Design Example —Traffic Light Control......................................................78
EPROM-Based Implementations....................................................................80
FPLA- or CPLD-Based Implementations.........................................................83
Conclusions.............................................................................................................83
Recommended Reading..........................................................................................84
6 Software Specific........................................................................85
Introduction............................................................................................................85
Data and Control Flow............................................................................................86
Any Class of Signal May Contain the Control Value.............................................88
Digital Input...................................................................................................88
Command Input............................................................................................88
Numerical Input............................................................................................89
Parameter.......................................................................................................89
Data Processing Result..................................................................................90
Timer..............................................................................................................90
State Machine................................................................................................91
External and Internal Signals.........................................................................91
What about Outputs?....................................................................................91
Digital Output................................................................................................92
Command Output..........................................................................................92
Numerical Output..........................................................................................92
Data Processing Output.................................................................................92
Timer..............................................................................................................93
Summary........................................................................................................93
Event-Driven Software.............................................................................................94
Event as a Control Signal...............................................................................94
State Machine or Combinational System?...............................................................96
Models of a Finite State Machine............................................................................98
Application-Based State Machine Models......................................................99
State Machine Execution Models................................................................100
Coding as a Universal Solution.............................................................................101
Table-Driven Software to Reduce Coding Effort..................................................103
Limits of the Coded Solutions..............................................................................104
Recommended Reading........................................................................................105
7 Misunderstandings about FSM................................................107
Historical Background...........................................................................................107
Software Systems...................................................................................................108
Event-Driven Model.....................................................................................109
Parser Problem.............................................................................................109
State Explosion............................................................................................110
Signal Lifetime.............................................................................................112
State Machine Size.......................................................................................113
Interface between State Machines..............................................................114
x!v ¦ Modeling Software with Finite State Machines
A Flowchart Is Not a State Machine.....................................................................114
Flowchart.....................................................................................................114
Example.......................................................................................................115
What Is a Flowchart For?............................................................................118
Inventions..............................................................................................................120
Conclusions...........................................................................................................121
Recommended Reading........................................................................................122
8 Designing a State Machine......................................................123
A State Machine Models Behavior........................................................................123
Mealy or Moore Models........................................................................................124
Actions (Entry, Input, Exit, Transition)..................................................................126
Defining States.....................................................................................................127
Acknowledgment Principle (Busy and Done States)...........................................127
The Role of a Timer..............................................................................................129
Error States and Alarms.........................................................................................129
Completeness of the Design.................................................................................132
Hiding Control Information.........................................................................133
Example — Pedestrian Traffic Lights....................................................................133
The Requirements.......................................................................................133
The Specification.........................................................................................134
The Specification Must Be Understandable................................................137
Example — Pressure Supervision.........................................................................138
The Requirements.......................................................................................138
The Specification.........................................................................................139
The Output Function..................................................................................142
The State Transition Diagram......................................................................143
Conclusions...........................................................................................................144
9 Systems of State Machines.......................................................145
Mastering Complexity...........................................................................................145
The Partitioning Criteria.......................................................................................146
The Communication Interface among State Machines........................................148
The Handshaking Rule..........................................................................................150
The (Hierarchical) Structure of the Control System............................................151
Design Procedure..................................................................................................152
Locality of the Control Problems................................................................152
Up-Down or Bottom-Up Design.............................................................;.... 153
Deadlocks....................................................................................................154
Loops...........................................................................................................154
Sins...............................................................................................................155
Design Rules................................................................................................156
Example — Pumps Supervision System...............................................................156
Task Definition.............................................................................................156
The First Approach......................................................................................157
The Second Trial..........................................................................................159
The Ultimate Solution..................................................................................164
Table of Contents ¦ xv
Example —Traffic Light Control..........................................................................168
Task Definition.............................................................................................168
Obvious Solution.......................................................................................169
The Ultimate Control...................................................................................171
Light.............................................................................................................172
TrafficLight...................................................................................................174
Flash.............................................................................................................175
System for Two-Track Railway.....................................................................176
Summary......................................................................................................177
Conclusions...........................................................................................................178
Implementation...........................................................................................179
Designing a State Machine..........................................................................179
Designing a System of State Machines........................................................180
Part III StateWORKS: Principles and Practice
10 StateWORKS...............................................................................183
Virtual Environment andVfsm..............................................................................183
The StateWORKS Development Environment......................................................184
Positive Logic Algebra..................................................................................184
TheVfsm Execution Model.........................................................................185
Objects.........................................................................................................187
State Machine Defines Object Control Values.............................................190
Signal Lifetime.............................................................................................190
Behavior Specification.................................................................................191
System Specification....................................................................................197
The StateWORKS Execution Environment...........................................................197
RTDB-Based Runtime System......................................................................198
Output Function..........................................................................................199
I/O Handler..................................................................................................200
User Interface..............................................................................................201
Recommended Reading........................................................................................202
11 Digital Input and Output.........................................................203
A Digital Input Has Three Control Values.............................................................203
Example.......................................................................................................204
Setting and Clearing the Boolean Output Are Two Different Actions..................204
DI and DO Properties...........................................................................................207
Recommended Reading........................................................................................207
12 Other Inputs..............................................................................209
Input Data (DAT)..................................................................................................209
Control Values..............................................................................................209
Example.......................................................................................................210
Properties.....................................................................................................211
Getting the Control Value (SWIP).........................................................................211
Actions.........................................................................................................211
Control Values..............................................................................................212
xvi ¦ Modeling Software with Finite State Machines________________
Example.......................................................................................................213
Properties.....................................................................................................214
NI Object as an Extension of DAT Type...............................................................214
Control Values..............................................................................................214
Properties.....................................................................................................214
PAR Object as a Specific Variant of DAT Type......................................................215
Control Values..............................................................................................216
Properties.....................................................................................................217
String (STR) as a Specific Variant of SWIP............................................................218
Actions.........................................................................................................218
Control Values..............................................................................................218
Example.......................................................................................................219
Properties.....................................................................................................220
Recommended Reading........................................................................................220
13 Other Outputs...........................................................................221
Output Data (NO).................................................................................................221
Actions.........................................................................................................221
Example.......................................................................................................223
Properties.....................................................................................................223
Output Demultiplexer (TAB)................................................................................224
Actions.........................................................................................................225
Example.......................................................................................................225
Alarms (AL)...........................................................................................................225
Actions.........................................................................................................225
Properties.....................................................................................................226
Example.......................................................................................................227
Recommended Reading........................................................................................228
14 Counters....................................................................................229
A Simple Counter (CNT)......................................................................................229
Actions.........................................................................................................229
Control Values..............................................................................................230
Example.......................................................................................................231
Properties.....................................................................................................232
An Event Counter (ECNT)....................................................................................232
Example.......................................................................................................233
Properties.....................................................................................................233
ATimer(TD...........................................................................................................234
Properties.....................................................................................................235
An Up/Down Counter (UDÇ)...............................................................................235
Actions.........................................................................................................235
Control Values..............................................................................................235
Properties.....................................................................................................236
Example.......................................................................................................236
Recommended Reading........................................................................................237
Table of Contents ¦ xvii
15 VFSM and Its Interfaces...........................................................239
Virtual Finite State Machine Interfaces.................................................................239
AVirtual Finite State Machine (VFSM)..................................................................240
Hiding Specification Details........................................................................241
A Command (CMD)..............................................................................................242
Properties.....................................................................................................246
An Interface to I/O Handler (UNIT).....................................................................246
An Interface to a User-Written Function (OFUN)................................................247
Example.......................................................................................................248
Properties.....................................................................................................248
JustXDA................................................................................................................249
Memory for OFUN.......................................................................................249
Internal Value as a Control Value.................................................................249
Recommended Reading........................................................................................250
16 Debugging Vfsm........................................................................251
Testing a Vfsm Application....................................................................................251
System Consistency...............................................................................................252
Trace......................................................................................................................252
Debugging Mode (VFSM)......................................................................................254
Command Files......................................................................................................255
Service Mode.........................................................................................................257
The Role of Documentation.................................................................................260
17 What Is StateWORKS?...............................................................261
Compared with Specification Methods................................................................261
Compared with Agile Methods.............................................................................262
Application Areas..................................................................................................262
Recommended Reading........................................................................................263
Appendix A Case Studies.............................................................265
Appendix B Microwave Oven Control — Use of StateWORKS
Development Tools.................................................267
Topic......................................................................................................................267
First Simple Solution.............................................................................................268
More Realistic Control..........................................................................................269
RTDB Objects........................................................................................................270
Yet Another Change..............................................................................................272
Conclusions...........................................................................................................272
Demo.....................................................................................................................273
Appendix C Gas Control — Hierarchical System of State
Machines..................................................................275
Topic......................................................................................................................275
Flow Control.........................................................................................................276
xvüi ¦ Modeling Software with Finite State Machines
Monitoring the Pressure.......................................................................................277
Gas Control...........................................................................................................279
Conclusions...........................................................................................................280
Demo.....................................................................................................................281
Appendix D Dining Philosophers Problem...............................283
Example.................................................................................................................283
Running the Example...........................................................................................285
Appendix E Going Beyond the Limitations of IEC 61131-3.....287
Introduction..........................................................................................................287
GRAVEL Example from IEC 61131 Document — Critical Analysis.....................287
A State Machine as a Replacement for Markers...................................................292
GRAVEL Example as a State Machine...................................................................293
Conclusions...........................................................................................................297
Testing with SWLab..............................................................................................298
Recommended Reading........................................................................................298
Appendix F Traffic Light Control — Design of the Hardware
Solution....................................................................299
Appendix G Coding Finite State Machine — Vending
Machine Counter Example.....................................301
Appendix H IOD File of the StandardUnit.................................305
Appendix I StateWORKS Projects..............................................307
A Project................................................................................................................307
Specification of State Machines............................................................................308
Specification of UNITs..........................................................................................309
System Specification..............................................................................................309
Documentation......................................................................................................310
Testing with SWLab and Monitors........................................................................310
Documentation of Examples................................................................................311
Appendix J Vending Machine Counter Project........................313
Appendix K Pedestrian Traffic Light Project.............................315
The System............................................................................................................315
The State Machine of Type Pedestrian.................................................................315
Testing with SWLab..............................................................................................316
Appendix L Pumps Supervision Project....................................319
The System............................................................................................................319
The Main State Machine.......................................................................................320
The State Machine of Type Pressure.....................................................................320
The State Machine ofType Device.......................................................................320
Testing with SWLab..............................................................................................323
Appendix M Output Function CalcIimitsC )...............................325
Table of Contents ¦ xix
Appendix N Traffic light Project................................................329
The System............................................................................................................329
The Flash State Machine.......................................................................................329
The Trafficlight State Machine.............................................................................330
The light State Machine.......................................................................................331
Testing with SWLab..............................................................................................333
Appendix O DI_DO Project.........................................................335
The Project............................................................................................................335
The State Machine Test_DI_DO............................................................................335
The State Machine Tank........................................................................................336
Appendix P Other_Inputs Project..............................................339
The Project............................................................................................................339
The State Machine Test_DAT................................................................................339
The State Machine Test_SWIP...............................................................................340
The State Machine Test_STR.................................................................................341
Appendix Q Other_Outputs Project............................................345
The Project............................................................................................................345
The State Machine Test_NO..................................................................................345
Testing TAB Object................................................................................................347
The State Machine Test_AL...................................................................................348
Appendix R Counters Project......................................................351
The Project............................................................................................................351
The State Machine Test_CNT................................................................................351
The State Machine Test_ECNT..............................................................................354
The State Machine Test_UDC................................................................................355
Appendix S Attributes of RTDB Objects....................................357
Appendix T StateWORKS Tools and Components....................359
StateWORKS Studio...............................................................................................359
State Machine Specification.........................................................................359
UNIT Specification......................................................................................360
String Resource Specification......................................................................360
Definition of Object Properties...................................................................360
Definition of System of State Machines......................................................360
Building........................................................................................................360
Testing..........................................................................................................361
StateWORKS Simulation........................................................................................361
StateWORKS Monitors..........................................................................................361
StateWORKS Runtime Systems.............................................................................362
Recommended Reading........................................................................................362
Index..................................................................................................363
|
| adam_txt |
Table of Contents
Part I The Problems of Software
1 Evolution of Software Development.3
Introduction .3
Programming Languages.4
A Little History.5
BASIC Catastrophe.6
C++.6
PLC.7
Script or Macro Notations.8
There Are Many Languages.8
Methods.9
Basic Knowledge.10
Specifying or Not?.11
CASETools.12
UML.13
Agile Methods.16
Behavior Modeling.17
Development Tools.19
Recommended Reading.20
2 The Price of Weakness.23
Software Development Costs.23
Programming as a Hobby.24
Small Software Projects.25
Large Software Projects.26
Hardness of Software.28
Ease of Creating New Macro Languages.30
Do We Need So Many Programming Languages?.31
The Specifics of Programming Languages.32
The Specifics of a Software Project.33
Software Is Expensive.35
XI
xii ¦ Modeling Software with Finite State Machines
Maintenance Costs.35
Software Errors.35
Software Changes.36
In Code We Trust.37
The Costs of Software Errors.38
The Programmers' World.38
A Programmer in a Project.39
The Software Project Leader.40
Examples of Disasters.40
Recommended Reading.42
3 Software as Engineering?.43
Methods.43
Fascination with Graphics.45
Visual Basic Chaos.46
Object-Oriented Design Illusion.47
UML Illusion.47
Formal Methods.49
CASETools — Value for Money?.49
Programming or Specification Languages?.50
Development Cycle.51
Prototyping.51
Specification.52
Software Development Steps.52
Software Documentation.53
Testing and Debugging.54
Maintenance and Support.55
Human Factors.55
Summary.55
Education Requirements.56
Who Is a Programmer?.56
Education as the Basis of Skill.57
Missing Skill — Examples.57
Conclusions.58
Recommended Reading.60
Part II Finite State Machines
4 Introduction, Definitions, and Notation.63
Finite State Machine.63
State Machine Models and Presentations.65
Transition Matrix.65
State Transition Diagram.67
Outputs (Actions).68
Moore and Mealy Model.69
State Transition Table.69
Example.73
Recommended Reading.75
Table of Contents ¦ xiii
5 Hardware Applications.77
Introduction.77
Limited to Boolean Signals.77
Design Example —Traffic Light Control.78
EPROM-Based Implementations.80
FPLA- or CPLD-Based Implementations.83
Conclusions.83
Recommended Reading.84
6 Software Specific.85
Introduction.85
Data and Control Flow.86
Any Class of Signal May "Contain" the Control Value.88
Digital Input.88
Command Input.88
Numerical Input.89
Parameter.89
Data Processing Result.90
Timer.90
State Machine.91
External and Internal Signals.91
What about Outputs?.91
Digital Output.92
Command Output.92
Numerical Output.92
Data Processing Output.92
Timer.93
Summary.93
Event-Driven Software.94
Event as a Control Signal.94
State Machine or Combinational System?.96
Models of a Finite State Machine.98
Application-Based State Machine Models.99
State Machine Execution Models.100
Coding as a Universal Solution.101
Table-Driven Software to Reduce Coding Effort.103
Limits of the Coded Solutions.104
Recommended Reading.105
7 Misunderstandings about FSM.107
Historical Background.107
Software Systems.108
Event-Driven Model.109
Parser Problem.109
State Explosion.110
Signal Lifetime.112
State Machine Size.113
Interface between State Machines.114
x!v ¦ Modeling Software with Finite State Machines
A Flowchart Is Not a State Machine.114
Flowchart.114
Example.115
What Is a Flowchart For?.118
Inventions.120
Conclusions.121
Recommended Reading.122
8 Designing a State Machine.123
A State Machine Models Behavior.123
Mealy or Moore Models.124
Actions (Entry, Input, Exit, Transition).126
Defining States.127
Acknowledgment Principle (Busy and Done States).127
The Role of a Timer.129
Error States and Alarms.129
Completeness of the Design.132
Hiding Control Information.133
Example — Pedestrian Traffic Lights.133
The Requirements.133
The Specification.134
The Specification Must Be Understandable.137
Example — Pressure Supervision.138
The Requirements.138
The Specification.139
The Output Function.142
The State Transition Diagram.143
Conclusions.144
9 Systems of State Machines.145
Mastering Complexity.145
The Partitioning Criteria.146
The Communication Interface among State Machines.148
The Handshaking Rule.150
The (Hierarchical) Structure of the Control System.151
Design Procedure.152
Locality of the Control Problems.152
Up-Down or Bottom-Up Design.;. 153
Deadlocks.154
Loops.154
Sins.155
Design Rules.156
Example — Pumps Supervision System.156
Task Definition.156
The First Approach.157
The Second Trial.159
The Ultimate Solution.164
Table of Contents ¦ xv
Example —Traffic Light Control.168
Task Definition.168
"Obvious" Solution.169
The Ultimate Control.171
Light.172
TrafficLight.174
Flash.175
System for Two-Track Railway.176
Summary.177
Conclusions.178
Implementation.179
Designing a State Machine.179
Designing a System of State Machines.180
Part III StateWORKS: Principles and Practice
10 StateWORKS.183
Virtual Environment andVfsm.183
The StateWORKS Development Environment.184
Positive Logic Algebra.184
TheVfsm Execution Model.185
Objects.187
State Machine Defines Object Control Values.190
Signal Lifetime.190
Behavior Specification.191
System Specification.197
The StateWORKS Execution Environment.197
RTDB-Based Runtime System.198
Output Function.199
I/O Handler.200
User Interface.201
Recommended Reading.202
11 Digital Input and Output.203
A Digital Input Has Three Control Values.203
Example.204
Setting and Clearing the Boolean Output Are Two Different Actions.204
DI and DO Properties.207
Recommended Reading.207
12 Other Inputs.209
Input Data (DAT).209
Control Values.209
Example.210
Properties.211
Getting the Control Value (SWIP).211
Actions.211
Control Values.212
xvi ¦ Modeling Software with Finite State Machines_
Example.213
Properties.214
NI Object as an Extension of DAT Type.214
Control Values.214
Properties.214
PAR Object as a Specific Variant of DAT Type.215
Control Values.216
Properties.217
String (STR) as a Specific Variant of SWIP.218
Actions.218
Control Values.218
Example.219
Properties.220
Recommended Reading.220
13 Other Outputs.221
Output Data (NO).221
Actions.221
Example.223
Properties.223
Output Demultiplexer (TAB).224
Actions.225
Example.225
Alarms (AL).225
Actions.225
Properties.226
Example.227
Recommended Reading.228
14 Counters.229
A Simple Counter (CNT).229
Actions.229
Control Values.230
Example.231
Properties.232
An Event Counter (ECNT).232
Example.233
Properties.233
ATimer(TD.234
Properties.235
An Up/Down Counter (UDÇ).235
Actions.235
Control Values.235
Properties.236
Example.236
Recommended Reading.237
Table of Contents ¦ xvii
15 VFSM and Its Interfaces.239
Virtual Finite State Machine Interfaces.239
AVirtual Finite State Machine (VFSM).240
Hiding Specification Details.241
A Command (CMD).242
Properties.246
An Interface to I/O Handler (UNIT).246
An Interface to a User-Written Function (OFUN).247
Example.248
Properties.248
JustXDA.249
Memory for OFUN.249
Internal Value as a Control Value.249
Recommended Reading.250
16 Debugging Vfsm.251
Testing a Vfsm Application.251
System Consistency.252
Trace.252
Debugging Mode (VFSM).254
Command Files.255
Service Mode.257
The Role of Documentation.260
17 What Is StateWORKS?.261
Compared with Specification Methods.261
Compared with Agile Methods.262
Application Areas.262
Recommended Reading.263
Appendix A Case Studies.265
Appendix B Microwave Oven Control — Use of StateWORKS
Development Tools.267
Topic.267
First Simple Solution.268
More Realistic Control.269
RTDB Objects.270
Yet Another Change.272
Conclusions.272
Demo.273
Appendix C Gas Control — Hierarchical System of State
Machines.275
Topic.275
Flow Control.276
xvüi ¦ Modeling Software with Finite State Machines
Monitoring the Pressure.277
Gas Control.279
Conclusions.280
Demo.281
Appendix D Dining Philosophers Problem.283
Example.283
Running the Example.285
Appendix E Going Beyond the Limitations of IEC 61131-3.287
Introduction.287
GRAVEL Example from IEC 61131 Document — Critical Analysis.287
A State Machine as a Replacement for Markers.292
GRAVEL Example as a State Machine.293
Conclusions.297
Testing with SWLab.298
Recommended Reading.298
Appendix F Traffic Light Control — Design of the Hardware
Solution.299
Appendix G Coding Finite State Machine — Vending
Machine Counter Example.301
Appendix H IOD File of the StandardUnit.305
Appendix I StateWORKS Projects.307
A Project.307
Specification of State Machines.308
Specification of UNITs.309
System Specification.309
Documentation.310
Testing with SWLab and Monitors.310
Documentation of Examples.311
Appendix J Vending Machine Counter Project.313
Appendix K Pedestrian Traffic Light Project.315
The System.315
The State Machine of Type Pedestrian.315
Testing with SWLab.316
Appendix L Pumps Supervision Project.319
The System.319
The Main State Machine.320
The State Machine of Type Pressure.320
The State Machine ofType Device.320
Testing with SWLab.323
Appendix M Output Function CalcIimitsC ).325
Table of Contents ¦ xix
Appendix N Traffic light Project.329
The System.329
The Flash State Machine.329
The Trafficlight State Machine.330
The light State Machine.331
Testing with SWLab.333
Appendix O DI_DO Project.335
The Project.335
The State Machine Test_DI_DO.335
The State Machine Tank.336
Appendix P Other_Inputs Project.339
The Project.339
The State Machine Test_DAT.339
The State Machine Test_SWIP.340
The State Machine Test_STR.341
Appendix Q Other_Outputs Project.345
The Project.345
The State Machine Test_NO.345
Testing TAB Object.347
The State Machine Test_AL.348
Appendix R Counters Project.351
The Project.351
The State Machine Test_CNT.351
The State Machine Test_ECNT.354
The State Machine Test_UDC.355
Appendix S Attributes of RTDB Objects.357
Appendix T StateWORKS Tools and Components.359
StateWORKS Studio.359
State Machine Specification.359
UNIT Specification.360
String Resource Specification.360
Definition of Object Properties.360
Definition of System of State Machines.360
Building.360
Testing.361
StateWORKS Simulation.361
StateWORKS Monitors.361
StateWORKS Runtime Systems.362
Recommended Reading.362
Index.363 |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| building | Verbundindex |
| bvnumber | BV022194772 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.76.D47 |
| callnumber-search | QA76.76.D47 |
| callnumber-sort | QA 276.76 D47 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 230 |
| ctrlnum | (OCoLC)62728442 (DE-599)BVBBV022194772 |
| dewey-full | 005.1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1 |
| dewey-search | 005.1 |
| dewey-sort | 15.1 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02082nam a2200529zc 4500</leader><controlfield tag="001">BV022194772</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20080117 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">061215s2006 xxuad|| |||| 00||| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2005035224</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0849380863</subfield><subfield code="9">0-8493-8086-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780849380860</subfield><subfield code="9">978-0-8493-8086-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)62728442</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV022194772</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">xxu</subfield><subfield code="c">US</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-703</subfield><subfield code="a">DE-29T</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.76.D47</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Modeling software with finite state machines</subfield><subfield code="b">a practical approach</subfield><subfield code="c">Ferdinand Wagner ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Boca Raton [u.a.]</subfield><subfield code="b">Auerbach Publ.</subfield><subfield code="c">2006</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIX, 369 S.</subfield><subfield code="b">Ill., graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield><subfield code="x">Development</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Machine theory</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Virtuelle Maschine</subfield><subfield code="0">(DE-588)4188396-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Software</subfield><subfield code="0">(DE-588)4055382-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Zustandsmaschine</subfield><subfield code="0">(DE-588)4637782-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Modellierung</subfield><subfield code="0">(DE-588)4170297-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Software</subfield><subfield code="0">(DE-588)4055382-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Modellierung</subfield><subfield code="0">(DE-588)4170297-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Virtuelle Maschine</subfield><subfield code="0">(DE-588)4188396-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Zustandsmaschine</subfield><subfield code="0">(DE-588)4637782-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Wagner, Ferdinand</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="u">http://www.loc.gov/catdir/toc/ecip065/2005035224.html</subfield><subfield code="3">Table of contents only</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015406288&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015406288</subfield></datafield></record></collection> |
| id | DE-604.BV022194772 |
| illustrated | Illustrated |
| index_date | 2024-07-02T16:22:29Z |
| indexdate | 2024-07-09T20:52:07Z |
| institution | BVB |
| isbn | 0849380863 9780849380860 |
| language | English |
| lccn | 2005035224 |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015406288 |
| oclc_num | 62728442 |
| open_access_boolean | |
| owner | DE-703 DE-29T |
| owner_facet | DE-703 DE-29T |
| physical | XIX, 369 S. Ill., graph. Darst. |
| publishDate | 2006 |
| publishDateSearch | 2006 |
| publishDateSort | 2006 |
| publisher | Auerbach Publ. |
| record_format | marc |
| spelling | Modeling software with finite state machines a practical approach Ferdinand Wagner ... Boca Raton [u.a.] Auerbach Publ. 2006 XIX, 369 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Includes bibliographical references and index Computer software Development Machine theory Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Virtuelle Maschine (DE-588)4188396-2 gnd rswk-swf Software (DE-588)4055382-6 gnd rswk-swf Zustandsmaschine (DE-588)4637782-7 gnd rswk-swf Modellierung (DE-588)4170297-9 gnd rswk-swf Software (DE-588)4055382-6 s Modellierung (DE-588)4170297-9 s Virtuelle Maschine (DE-588)4188396-2 s DE-604 Softwareentwicklung (DE-588)4116522-6 s Zustandsmaschine (DE-588)4637782-7 s Wagner, Ferdinand Sonstige oth http://www.loc.gov/catdir/toc/ecip065/2005035224.html Table of contents only HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015406288&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Modeling software with finite state machines a practical approach Computer software Development Machine theory Softwareentwicklung (DE-588)4116522-6 gnd Virtuelle Maschine (DE-588)4188396-2 gnd Software (DE-588)4055382-6 gnd Zustandsmaschine (DE-588)4637782-7 gnd Modellierung (DE-588)4170297-9 gnd |
| subject_GND | (DE-588)4116522-6 (DE-588)4188396-2 (DE-588)4055382-6 (DE-588)4637782-7 (DE-588)4170297-9 |
| title | Modeling software with finite state machines a practical approach |
| title_auth | Modeling software with finite state machines a practical approach |
| title_exact_search | Modeling software with finite state machines a practical approach |
| title_exact_search_txtP | Modeling software with finite state machines a practical approach |
| title_full | Modeling software with finite state machines a practical approach Ferdinand Wagner ... |
| title_fullStr | Modeling software with finite state machines a practical approach Ferdinand Wagner ... |
| title_full_unstemmed | Modeling software with finite state machines a practical approach Ferdinand Wagner ... |
| title_short | Modeling software with finite state machines |
| title_sort | modeling software with finite state machines a practical approach |
| title_sub | a practical approach |
| topic | Computer software Development Machine theory Softwareentwicklung (DE-588)4116522-6 gnd Virtuelle Maschine (DE-588)4188396-2 gnd Software (DE-588)4055382-6 gnd Zustandsmaschine (DE-588)4637782-7 gnd Modellierung (DE-588)4170297-9 gnd |
| topic_facet | Computer software Development Machine theory Softwareentwicklung Virtuelle Maschine Software Zustandsmaschine Modellierung |
| url | http://www.loc.gov/catdir/toc/ecip065/2005035224.html http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015406288&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT wagnerferdinand modelingsoftwarewithfinitestatemachinesapracticalapproach |