Software for Computer Control 1986 (eBook)

Front Cover 1
Software for Computer Control 1986 4
Copyright Page 5
Table of Contents 10
FOREWORD 8
CHAPTER 1. SOFTWARE PROJECT MANAGEMENT 14
1. INTRODUCTION 14
2 RESULTS OF THE WORKSHOP 14
3 ESSENTIAL ASPECTS OF SOFTWARE DEVELOPMENT 15
4 ORGANISATIONAL ASPECTS 17
5. TECHNOLOGICAL ASPECTS 21
7. Conclusion 22
8 LITERATURE 22
CHAPTER 2. PANEL DISCUSSION: SOFTWARE PROJECT MANAGEMENT 26
CHAPTER 3. USE OF QUALITATIVE KNOWLEDGE IN LEARNING SYSTEM BEHAVIOUR AND DISCOVERING CONTROL STRATEGY 28
1. INTRODUCTION 28
2. THE MODEL 29
3. CONVENTIONAL METHODS FOR LEARNING FROM EXAMPLES 29
A. KNOWLEDGE-BASED INFERENCE OF CONTROL STRATEGY 30
REFERENCES 31
CHAPTER 4. PANEL DISCUSSION: USE OF EXPERT SYSTEMS IN PROCESS CONTROL 32
CHAPTER 5. MAP — MANUFACTURING AUTOMATION PROTOCOL 34
1. INTRODUCTION 34
2. MAP 34
3. CARRIERBAND BUS 36
4. MAP/PROWAY SYSTEM 36
5. MAP ARCHITECTURE 37
6. MAP COMPONENTS 37
7. COMPATIBILITY OF MAP PRODUCTS 38
8. PRODUCTS AND FIRMS 38
9. SYSTEM REALISATIONS 39
10. CONCLUSION 39
CHAPTER 6. PANEL DISCUSSION: MANUFACTURING AUTOMATION PROTOCOL 48
CHAPTER 7. SOFTWARE DEVELOPMENT FOR DISTRIBUTED SYSTEMS 50
INTRODUCTION 50
PARADIGMS OF SYSTEM DEVELOPMENT 50
DEVELOPMENT FREEDOMS AND CONSTRAINTS 52
ACKNOWLEDGEMENTS 53
REFERENCES 53
APPENDIX 53
CHAPTER 8. A DYNAMICALLY CONFIGURABLE GENERAL PURPOSE AUTOMATION CONTROLLER 60
Introduction 60
Requirements 60
Architecture Overview 61
Verbs 61
Specification of Real Time Computations 62
Real Time Execution Model 64
Conclusions 64
Acknowledgements 64
References 64
CHAPTER 9. RULE-BASED CONTROL SOFTWARE SYSTEM FOR FACTORY AUTOMATION — ITS RULE CORRECTNESS CHECK SUPPORT AND RESPONSE-TIME ESTIMATION 66
INTRODUCTION 66
OUTLINE OF RULE-BASED CONTROL 66
RULE-BASED CONTROL SOFTWARE SYSTEM 67
RULE CORRECTNESS CHECK SUPPORT 68
RESPONSE-TIME ESTIMATION 68
CONCLUSION 70
ACKNOWLEDGMENTS 70
REFERENCES 70
CHAPTER 10. ABSTRACTIONS WITH EXPLICIT PERFORMANCE ATTRIBUTES FOR PROCESS-CONTROL SOFTWARE DEVELOPMENT 72
INTRODUCTION 72
SOFTWARE DEVELOPMENT PROCESS 73
FUNCTIONAL AND ATTRIBUTE SPECIFICATIONS 73
AN APPROACH TO ATTRIBUTE PROVING 75
PRACTICAL IMPLICATIONS OF THE ATTRIBUTE-DRIVEN APPROACH 77
CONCLUSIONS 77
REFERENCES 77
CHAPTER 11. INNOVATIVE KNOWLEDGE ENGINEERING FOR REAL-TIME EXPERT SYSTEMS 78
INTRODUCTION 78
INNOVATIVE KNOWLEDGE ENGINEERING TECHNIQUES 79
INTERACTIVE FACILITY FOR KNOWLEDGE BASE CAPTURE 79
TESTING OF KNOWLEDGE BASE 80
FUTURE EXTENSIONS 81
REFERENCES 81
CHAPTER 12. MUSIC: A TOOL FOR SIMULATION ANDREAL-TIME CONTROL 88
INTRODUCTION 88
SYSTEM STRUCTURE 88
THE CONTROL SYSTEM 89
BUILDING THE CONTROL SYSTEM 89
INTERACTION WITH THECONTROL SYSTEM 89
DISPLAY FACILITIES 90
ADDITIONAL PROCESSING 90
REALISATION 90
EXAMPLE 91
CONCLUSIONS 91
ACKNOWLEDGEMENT 91
REFERENCES 91
CHAPTER 13. HCDM: A HIERARCHICAL DESIGN METHOD FOR CHILL BASED SYSTEMS 94
INTRODUCTION 94
HIERARCHICAL CHILL DESIGN METHOD 95
HIERARCHICAL DECOMPOSITION AND CONSISTENCY 97
THE GRAPHICAL SOFTWARE DESIGN SYSTEM (GSDS) 99
CONCLUSIONS 100
ACKNOWLEDGEMENTS 100
REFERENCES 100
CHAPTER 14. AUTOMATIC CONTROL SYSTEMS PROGRAMMING USING A REAL TIME DECLARATIVE LANGUAGE 102
INTRODUCTION 102
1. BASIC LUCID 103
2. BASIC LUSTRE 103
3. EXAMPLES, AND STRUCTURING TOOLS 104
4. MULTI-SAMPLING PRIMITIVES 105
CONCLUSION 106
REFERENCES 106
CHAPTER 15. M.L.C.: A LANGUAGE FOR THE SPECIFICATION OF THE FMS CONTROL SYSTEMS 108
INTRODUCTION 108
THE S.E.CO.I.A. PROJECT 108
CONCLUSION 112
REFERENCES 112
CHAPTER 16. COMO: A MODULA-2 PROGRAM FOR REAL-TIME CONTROL OF A RAW MATERIAL MILL 114
INTRODUCTION 114
PROCESS DESCRIPTION 114
CONTROL SYSTEM REQUIREMENTS 115
SYSTEM DESIGN 118
CONCLUSION 119
ACKNOWLEDGEMENTS 119
REFERENCES 119
CHAPTER 17. A PROGRAMMING LANGUAGE FOR DISTRIBUTED SYSTEMS 122
INTRODUCTION 122
GENERAL PROGRAM STRUCTURE 122
INTERTASK COMMUNICATION 123
REAL TIME FACILITIES 123
SELECTIVE RECEPTION 124
EXAMPLE 124
CONCLUSIONS 125
REFERENCES 125
CHAPTER 18. PARALLEL PROGRAMMING IN ADA AND IN THE HUNGARIAN ADA COMPILER 126
INTRODUCTION 126
PARALLEL PROCESSING IN ADA: TASKING 126
TASKING IN THE HUNGARIAN ADA COMPILER 129
THE ADA PROGRAM FOR DINING PHILOSOPHERS 131
CONCLUSION 131
REFERENCES 131
CHAPTER 19. REALIZATION OF A PROCESS CONTROL LANGUAGE BASED ON MACROASSEMBLER 132
1. INTRODUCTION 132
2. BACKGROUND 132
3. SOME DETAILS ABOUT THE LANGUAGE PREM 133
4. HOW PROGRAMS IN PREM ARE PREPARED AND DEBUGGED 133
5. PRACTICAL APPLICATIONS 134
6. PRELIMINARY EXPERIENCE AND DISCUSSION 134
CONCLUSION 136
REFERENCES 136
APPENDIX A 136
CHAPTER 20. THE REAL TIME LANGUAGE PLZRTC AND ITS APPLICATION 138
INTRODUCTION 138
PRINCIPLES OF PLZRTC 138
APPLICATION AND DEBUGGING 139
PLZRTC AND MULTIPROCESSOR SYSTEMS 140
CONCLUSION 140
REFERENCES 140
CHAPTER 21. AN INTERACTIVE GRAPHICAL PC PROGRAM PACKAGE FOR IDENTIFICATION, DESIGN AND SIMULATION OF CONTROL SYSTEMS 142
INTRODUCTION 142
THE STRUCTURE OF PROGRAM PACKAGE PCCON 142
REPRESENTATION OF THE PROGRAMS 143
SIMULATION EXAMPLE 146
APPLICATION 147
CONCLUSION 147
REFERENCES 147
CHAPTER 22. COMPUTER AIDED DESIGN OF ROBUST MULTIVARIABLE CONTROL SYSTEMS 148
INTRODUCTION 148
CONTROL LAW 148
COMPUTER AIDED DESIGN 149
NUMERICAL EXAMPLE: A FIVE-TERMINAL MTDC SYSTEM 150
CONCLUSIONS 151
REFERENCES 151
CHAPTER 23. THE IDENTIFICATION AND CONTROL, PARTIALLY ADDED WITH THE ARTIFICIALINTELLIGENCE APPROACH 152
INTRODUCTION 152
THE STRUCTURE OF GENERALIZED SYSTEM 152
IDENTIFICATION AND CONTROL 152
DESCRIPTION OF THE KILN PROCESS 153
CASE OF NON-STATIONAL STATE 155
APPLICATION OF ANALYTICAL ARTIFICIAL INTELLIGENCE 155
SPECTRAL OBSERVATION OF HIDDEN INFORMATION FOR PROCESS INSIGHT 156
EXPERT SHELL 157
SUMMARY 158
REFERENCES 158
CHAPTER 24. GRAPHICS IN AN ARTIFICIAL INTELLIGENCE LANGUAGE, PROLOG 160
INTRODUCTION 160
GRAPHICS IN PROLOG 161
EDUCATION ASPECTS OF GRAPHICS IN PROLOG 165
CONCLUSION 165
REFERENCES 165
CHAPTER 25. ON THE MODEL FOR THE CONSTRUCTION OF KNOWLEDGE-BASED DIAGNOSTIC SYSTEMS 166
INTRODUCTION 166
STRUCTURAL MODEL FOR DIAGNOSIS 166
EVENT-NET (KNOWLEDGE-BASE) 168
INTERACTIONS BETWEEN SENSOR-NET AND EVENT-TREE 168
IMPLEMENTATION OF THE SYSTEM 170
CONCLUSION 170
ACKNOWLEDGEMENT 170
REFERENCES 170
APPENDICES 171
CHAPTER 26. A LANGUAGE AND A CALCULUS FOR DISTRIBUTED COMPUTER CONTROL SYSTEMS DESCRIPTION AND ANALYSIS 172
INTRODUCTION 172
LANGUAGE FOR SYSTEM DESCRIPTION (LSD) AND CALCULUS 173
INTERPROCESS COMMUNICATION 176
CONCLUSIONS 178
REFERENCES 178
CHAPTER 27. KNOWLEDGE BASED SUPPORT FOR ONLINE PROGRAM CHANGES 180
INTRODUCTION 180
THE PROGRAM MODEL 181
SOFTWARE RECONFIGURATION 182
THE KNOWLEDGE BASE 183
CONCLUSIONS 184
REFERENCES 185
CHAPTER 28. A CORRECTNESS VERIFICATION OF PARALLEL CONTROL PROGRAMS 186
INTRODUCTION 186
NOTATION AND BASIC NOTIONS 186
THE CORRECTNESS OF A PROCESS 187
DECOMPOSITION OF A PROCESS 188
CONCLUDING REMARKS 190
REFERENCES 190
CHAPTER 29. SOFTWARE AND HARDWARE TO SUPPORT THE TEACHING OF REAL-TIME DISTRIBUTED SYSTEMS 192
NTRODUCTION 192
THE FIRST DISTRIBUTED SYSTEMS 192
THE NEW REAL-TIME SYLLABUS 193
AIMS OF THE COURSE 193
SOFTWARE TOOLS 193
THE PROJECT HARDWARE 194
THE CURRENT SITUATION 195
REFERENCES 195
CHAPTER 30. DESIGN OF A MAN-MACHINE INTERFACE FOR PROCESS CONTROL ON THE BRIDGE OF A SHIP 198
INTRODUCTION 198
SPECIAL REQUIREMENTS TO PROCESS CONTROL ON BOARD 198
DESIGN OF THE USER INTERFACE 199
A UNIFORM HANDLING SURFACE 200
IMPLEMENTATION AND EVALUATION 202
CONCLUSION 202
REFERENCES 203
CHAPTER 31. CONCURRENT ARCHITECTURES FOR POWER SYSTEM CONTROL 204
INTRODUCTION 204
CONCURRENT ARCHITECTURES 206
FUTURE DIRECTIONS 208
ACKNOWLEDGEMENTS 208
REFERENCES 208
CHAPTER 32. A DISTRIBUTED CONTROL SYSTEM FOR THE SODA ASH PRODUCTION PLANT AUTOMATION — ARCHITECTURE, SOFTWARE DESIGN AND ENGINEERING 210
1. INTRIDUCTION 210
2. PROBLEM FORMULATION AND METHODOLOGY IMPLEMENTED 210
3. DISTRIBUTED CONTROL SYSTEM FOR THE PLANT CONTROL MODERNIZATION- ARCHITECTURE, SOFTWARE DESIGN AND ENGINEERING 211
4. CONCLUSIONS 213
REFERENCES 213
CHAPTER 33. LEAK DETECTION METHODS FOR GAS PIPELINES 218
INTRODUCTION 218
PROBLEM FORMULATION AND OUTLINE OF LEAK DETECTION METHODS 218
LEAK DETECTION USING A FAULT SENSITIVE FILTER 220
CONCLUSION 221
REFERENCES 221
CHAPTER 34. A FLEXIBLE INTERPRETER AND MANAGEMENT SYSTEM FOR CONTROL ENGINEERING PURPOSES 224
INTRODUCTION 224
THE INTERPRETER AND MANAGEMENT CONCEPTION 224
THE INTERNAL REPRESENTATION OF THE FLOW STRUCTURE 225
THE DATABASE 226
THE COMMAND LANGUAGE 227
PROGRAM REALISATION 228
CONCLUSIONS 228
REFERENCES 228
CHAPTER 35. METHODS AND TOOLS FOR THE DEVELOPMENT OF SOFTWARE FOR COMPLEX REALTIME CONTROL SYSTEMS 230
GENERAL REMARKS 230
THE EXAMPLE 230
REQUIREMENTS 231
ARCHITECTURAL DESIGN 231
EVALUATION 232
CODING 232
TEST AND DEBUG 232
REFERENCES 232
CHAPTER 36. MAN-MACHINE INTERACTION AND SUPERVISORY FUNCTIONS OF HAHSS — A SOFTWARE PACKAGE FOR CAD OF HIGH ACCURACY AND HIGH SPEED SERVO 236
INTRODUCTION 236
THE IMPORTANCE OF AN EFFICIENT USER INTERFACE FOR HAHSS 236
MAN-MACHINE COMMUNICATION OF HAHSS 237
DATA-BASE MANAGEMENT 238
ERROR DETECTION 238
ON-LINE USER ASSISTANCE 238
PROGRAM REVERSE CONTROL 238
SUMMARY 238
REFERENCES 239
CHAPTER 37. A NEW METHODOLOGY FOR MODELLING, ANALYSIS AND CONTROL DESIGN OF NON-CONVENTIONAL SAMPLED DATA SYSTEMS 240
INTRODUCTION 240
STATEMENT OF THE METHOLOGY 240
MAIN RESULT 241
COMPUTATION PROCEDURE 242
COMPUTATIONAL ASPECTS 242
EXAMPLE 243
CONCLUSIONS 243
REFERENCES 243
CHAPTER 38. SYNTHESIS OF WELL BEHAVED SYNCHRONIZED PROCESSES 246
Abstract 246
1. Introduction 246
2. Net And System Representation 246
3- Fundamental Net Components 247
4. Program Structure 248
5. Illustrative Examples 249
6. Conclusion 249
References 250
CHAPTER 39. IMPROVED TIME DOMAIN ROBUSTNESS CRITERIA FOR MULTIVARIABLE CONTROL SYSTEMS 252
INTRODUCTION 252
OUTPUT FEEDBACK DESIGN WITH APRESCRIBED DEGREE OF STABILITY 252
EXAMPLE: A JET AIRCRAFT 255
CONCLUSIONS 255
REFERENCES 255
APPENDICES 256
CHAPTER 40. TRAFFIC CONTROL AND OPTIMIZATION IN PROCESS CONTROL COMMUNICATION SYSTEMS 258
INTRODUCTION 258
BRIEF DESCRIPTION OF THE COMMUNICATIONSYSTEM 258
CONTROL STRATEGY OF MAIN STATION 1 259
STRATEGY OF THE COORDINATOR 260
SOFTWARE STRUCTURE 261
COMPUTATIONAL RESULTS 261
REFERENCES 262
CHAPTER 41. CLOSING PANEL DISCUSSION 264
AUTHOR INDEX 266
SUBJECT INDEX 268