Florian / Haase Software for Computer Control 1986

Selected Papers from the Fourth IFAC/IFIP Symposium, Graz, Austria, 20-23 May 1986
1. Auflage 2014
ISBN: 978-1-4832-9886-3
Verlag: Elsevier Science & Techn.
Format: PDF
Kopierschutz: 1 - PDF Watermark

E-Book, Englisch, 265 Seiten, Web PDF

Reihe: IFAC Symposia Series

This volume studies the advances of software for computers, their development, applications and management. Topics covered include software project management, real time languages and their uses, and computer aided design techniques. The book also discusses how far artificial intelligence is integrated with business and industry to give a complete overview of the role of computer systems today.

Autoren/Hrsg.

Florian, D.

Haase, V.

Inhaltsverzeichnis

1;Front Cover;1
2;Software for Computer Control 1986;4
3;Copyright Page;5
4;Table of Contents;10
5;FOREWORD;8
6;CHAPTER 1. SOFTWARE PROJECT MANAGEMENT;14
6.1;1. INTRODUCTION;14
6.2;2 RESULTS OF THE WORKSHOP;14
6.3;3 ESSENTIAL ASPECTS OF SOFTWARE DEVELOPMENT;15
6.4;4 ORGANISATIONAL ASPECTS;17
6.5;5. TECHNOLOGICAL ASPECTS;21
6.6;7. Conclusion;22
6.7;8 LITERATURE;22
7;CHAPTER 2. PANEL DISCUSSION: SOFTWARE PROJECT MANAGEMENT;26
8;CHAPTER 3. USE OF QUALITATIVE KNOWLEDGE IN LEARNING SYSTEM BEHAVIOUR AND DISCOVERING CONTROL STRATEGY;28
8.1;1. INTRODUCTION;28
8.2;2. THE MODEL;29
8.3;3. CONVENTIONAL METHODS FOR LEARNING FROM EXAMPLES;29
8.4;A. KNOWLEDGE-BASED INFERENCE OF CONTROL STRATEGY;30
8.5;REFERENCES;31
9;CHAPTER 4. PANEL DISCUSSION: USE OF EXPERT SYSTEMS IN PROCESS CONTROL;32
10;CHAPTER 5. MAP — MANUFACTURING AUTOMATION PROTOCOL;34
10.1;1. INTRODUCTION;34
10.2;2. MAP;34
10.3;3. CARRIERBAND BUS;36
10.4;4. MAP/PROWAY SYSTEM;36
10.5;5. MAP ARCHITECTURE;37
10.6;6. MAP COMPONENTS;37
10.7;7. COMPATIBILITY OF MAP PRODUCTS;38
10.8;8. PRODUCTS AND FIRMS;38
10.9;9. SYSTEM REALISATIONS;39
10.10;10. CONCLUSION;39
11;CHAPTER 6. PANEL DISCUSSION: MANUFACTURING AUTOMATION PROTOCOL;48
12;CHAPTER 7. SOFTWARE DEVELOPMENT FOR DISTRIBUTED SYSTEMS;50
12.1;INTRODUCTION;50
12.2;PARADIGMS OF SYSTEM DEVELOPMENT;50
12.3;DEVELOPMENT FREEDOMS AND CONSTRAINTS;52
12.4;ACKNOWLEDGEMENTS;53
12.5;REFERENCES;53
12.6;APPENDIX;53
13;CHAPTER 8. A DYNAMICALLY CONFIGURABLE GENERAL PURPOSE AUTOMATION CONTROLLER;60
13.1;Introduction;60
13.2;Requirements;60
13.3;Architecture Overview;61
13.4;Verbs;61
13.5;Specification of Real Time Computations;62
13.6;Real Time Execution Model;64
13.7;Conclusions;64
13.8;Acknowledgements;64
13.9;References;64
14;CHAPTER 9. RULE-BASED CONTROL SOFTWARE SYSTEM FOR FACTORY AUTOMATION — ITS RULE CORRECTNESS CHECK SUPPORT AND RESPONSE-TIME ESTIMATION;66
14.1;INTRODUCTION;66
14.2;OUTLINE OF RULE-BASED CONTROL;66
14.3;RULE-BASED CONTROL SOFTWARE SYSTEM;67
14.4;RULE CORRECTNESS CHECK SUPPORT;68
14.5;RESPONSE-TIME ESTIMATION;68
14.6;CONCLUSION;70
14.7;ACKNOWLEDGMENTS;70
14.8;REFERENCES;70
15;CHAPTER 10. ABSTRACTIONS WITH EXPLICIT PERFORMANCE ATTRIBUTES FOR PROCESS-CONTROL SOFTWARE DEVELOPMENT;72
15.1;INTRODUCTION;72
15.2;SOFTWARE DEVELOPMENT PROCESS;73
15.3;FUNCTIONAL AND ATTRIBUTE SPECIFICATIONS;73
15.4;AN APPROACH TO ATTRIBUTE PROVING;75
15.5;PRACTICAL IMPLICATIONS OF THE ATTRIBUTE-DRIVEN APPROACH;77
15.6;CONCLUSIONS;77
15.7;REFERENCES;77
16;CHAPTER 11. INNOVATIVE KNOWLEDGE ENGINEERING FOR REAL-TIME EXPERT SYSTEMS;78
16.1;INTRODUCTION;78
16.2;INNOVATIVE KNOWLEDGE ENGINEERING TECHNIQUES;79
16.3;INTERACTIVE FACILITY FOR KNOWLEDGE BASE CAPTURE;79
16.4;TESTING OF KNOWLEDGE BASE;80
16.5;FUTURE EXTENSIONS;81
16.6;REFERENCES;81
17;CHAPTER 12. MUSIC: A TOOL FOR SIMULATION ANDREAL-TIME CONTROL;88
17.1;INTRODUCTION;88
17.2;SYSTEM STRUCTURE;88
17.3;THE CONTROL SYSTEM;89
17.4;BUILDING THE CONTROL SYSTEM;89
17.5;INTERACTION WITH THECONTROL SYSTEM;89
17.6;DISPLAY FACILITIES;90
17.7;ADDITIONAL PROCESSING;90
17.8;REALISATION;90
17.9;EXAMPLE;91
17.10;CONCLUSIONS;91
17.11;ACKNOWLEDGEMENT;91
17.12;REFERENCES;91
18;CHAPTER 13. HCDM: A HIERARCHICAL DESIGN METHOD FOR CHILL BASED SYSTEMS;94
18.1;INTRODUCTION;94
18.2;HIERARCHICAL CHILL DESIGN METHOD;95
18.3;HIERARCHICAL DECOMPOSITION AND CONSISTENCY;97
18.4;THE GRAPHICAL SOFTWARE DESIGN SYSTEM (GSDS);99
18.5;CONCLUSIONS;100
18.6;ACKNOWLEDGEMENTS;100
18.7;REFERENCES;100
19;CHAPTER 14. AUTOMATIC CONTROL SYSTEMS PROGRAMMING USING A REAL TIME DECLARATIVE LANGUAGE;102
19.1;INTRODUCTION;102
19.2;1. BASIC LUCID;103
19.3;2. BASIC LUSTRE;103
19.4;3. EXAMPLES, AND STRUCTURING TOOLS;104
19.5;4. MULTI-SAMPLING PRIMITIVES;105
19.6;CONCLUSION;106
19.7;REFERENCES;106
20;CHAPTER 15. M.L.C.: A LANGUAGE FOR THE SPECIFICATION OF THE FMS CONTROL SYSTEMS;108
20.1;INTRODUCTION;108
20.2;THE S.E.CO.I.A. PROJECT;108
20.3;CONCLUSION;112
20.4;REFERENCES;112
21;CHAPTER 16. COMO: A MODULA-2 PROGRAM FOR REAL-TIME CONTROL OF A RAW MATERIAL MILL;114
21.1;INTRODUCTION;114
21.2;PROCESS DESCRIPTION;114
21.3;CONTROL SYSTEM REQUIREMENTS;115
21.4;SYSTEM DESIGN;118
21.5;CONCLUSION;119
21.6;ACKNOWLEDGEMENTS;119
21.7;REFERENCES;119
22;CHAPTER 17. A PROGRAMMING LANGUAGE FOR DISTRIBUTED SYSTEMS;122
22.1;INTRODUCTION;122
22.2;GENERAL PROGRAM STRUCTURE;122
22.3;INTERTASK COMMUNICATION;123
22.4;REAL TIME FACILITIES;123
22.5;SELECTIVE RECEPTION;124
22.6;EXAMPLE;124
22.7;CONCLUSIONS;125
22.8;REFERENCES;125
23;CHAPTER 18. PARALLEL PROGRAMMING IN ADA AND IN THE HUNGARIAN ADA COMPILER;126
23.1;INTRODUCTION;126
23.2;PARALLEL PROCESSING IN ADA: TASKING;126
23.3;TASKING IN THE HUNGARIAN ADA COMPILER;129
23.4;THE ADA PROGRAM FOR DINING PHILOSOPHERS;131
23.5;CONCLUSION;131
23.6;REFERENCES;131
24;CHAPTER 19. REALIZATION OF A PROCESS CONTROL LANGUAGE BASED ON MACROASSEMBLER;132
24.1;1. INTRODUCTION;132
24.2;2. BACKGROUND;132
24.3;3. SOME DETAILS ABOUT THE LANGUAGE PREM;133
24.4;4. HOW PROGRAMS IN PREM ARE PREPARED AND DEBUGGED;133
24.5;5. PRACTICAL APPLICATIONS;134
24.6;6. PRELIMINARY EXPERIENCE AND DISCUSSION;134
24.7;CONCLUSION;136
24.8;REFERENCES;136
24.9;APPENDIX A;136
25;CHAPTER 20. THE REAL TIME LANGUAGE PLZRTC AND ITS APPLICATION;138
25.1;INTRODUCTION;138
25.2;PRINCIPLES OF PLZRTC;138
25.3;APPLICATION AND DEBUGGING;139
25.4;PLZRTC AND MULTIPROCESSOR SYSTEMS;140
25.5;CONCLUSION;140
25.6;REFERENCES;140
26;CHAPTER 21. AN INTERACTIVE GRAPHICAL PC PROGRAM PACKAGE FOR IDENTIFICATION, DESIGN AND SIMULATION OF CONTROL SYSTEMS;142
26.1;INTRODUCTION;142
26.2;THE STRUCTURE OF PROGRAM PACKAGE PCCON;142
26.3;REPRESENTATION OF THE PROGRAMS;143
26.4;SIMULATION EXAMPLE;146
26.5;APPLICATION;147
26.6;CONCLUSION;147
26.7;REFERENCES;147
27;CHAPTER 22. COMPUTER AIDED DESIGN OF ROBUST MULTIVARIABLE CONTROL SYSTEMS;148
27.1;INTRODUCTION;148
27.2;CONTROL LAW;148
27.3;COMPUTER AIDED DESIGN;149
27.4;NUMERICAL EXAMPLE: A FIVE-TERMINAL MTDC SYSTEM;150
27.5;CONCLUSIONS;151
27.6;REFERENCES;151
28;CHAPTER 23. THE IDENTIFICATION AND CONTROL, PARTIALLY ADDED WITH THE ARTIFICIALINTELLIGENCE APPROACH;152
28.1;INTRODUCTION;152
28.2;THE STRUCTURE OF GENERALIZED SYSTEM;152
28.3;IDENTIFICATION AND CONTROL;152
28.4;DESCRIPTION OF THE KILN PROCESS;153
28.5;CASE OF NON-STATIONAL STATE;155
28.6;APPLICATION OF ANALYTICAL ARTIFICIAL INTELLIGENCE;155
28.7;SPECTRAL OBSERVATION OF HIDDEN INFORMATION FOR PROCESS INSIGHT;156
28.8;EXPERT SHELL;157
28.9;SUMMARY;158
28.10;REFERENCES;158
29;CHAPTER 24. GRAPHICS IN AN ARTIFICIAL INTELLIGENCE LANGUAGE, PROLOG;160
29.1;INTRODUCTION;160
29.2;GRAPHICS IN PROLOG;161
29.3;EDUCATION ASPECTS OF GRAPHICS IN PROLOG;165
29.4;CONCLUSION;165
29.5;REFERENCES;165
30;CHAPTER 25. ON THE MODEL FOR THE CONSTRUCTION OF KNOWLEDGE-BASED DIAGNOSTIC SYSTEMS;166
30.1;INTRODUCTION;166
30.2;STRUCTURAL MODEL FOR DIAGNOSIS;166
30.3;EVENT-NET (KNOWLEDGE-BASE);168
30.4;INTERACTIONS BETWEEN SENSOR-NET AND EVENT-TREE;168
30.5;IMPLEMENTATION OF THE SYSTEM;170
30.6;CONCLUSION;170
30.7;ACKNOWLEDGEMENT;170
30.8;REFERENCES;170
30.9;APPENDICES;171
31;CHAPTER 26. A LANGUAGE AND A CALCULUS FOR DISTRIBUTED COMPUTER CONTROL SYSTEMS DESCRIPTION AND ANALYSIS;172
31.1;INTRODUCTION;172
31.2;LANGUAGE FOR SYSTEM DESCRIPTION (LSD) AND CALCULUS;173
31.3;INTERPROCESS COMMUNICATION;176
31.4;CONCLUSIONS;178
31.5;REFERENCES;178
32;CHAPTER 27. KNOWLEDGE BASED SUPPORT FOR ONLINE PROGRAM CHANGES;180
32.1;INTRODUCTION;180
32.2;THE PROGRAM MODEL;181
32.3;SOFTWARE RECONFIGURATION;182
32.4;THE KNOWLEDGE BASE;183
32.5;CONCLUSIONS;184
32.6;REFERENCES;185
33;CHAPTER 28. A CORRECTNESS VERIFICATION OF PARALLEL CONTROL PROGRAMS;186
33.1;INTRODUCTION;186
33.2;NOTATION AND BASIC NOTIONS;186
33.3;THE CORRECTNESS OF A PROCESS;187
33.4;DECOMPOSITION OF A PROCESS;188
33.5;CONCLUDING REMARKS;190
33.6;REFERENCES;190
34;CHAPTER 29. SOFTWARE AND HARDWARE TO SUPPORT THE TEACHING OF REAL-TIME DISTRIBUTED SYSTEMS;192
34.1;NTRODUCTION;192
34.2;THE FIRST DISTRIBUTED SYSTEMS;192
34.3;THE NEW REAL-TIME SYLLABUS;193
34.4;AIMS OF THE COURSE;193
34.5;SOFTWARE TOOLS;193
34.6;THE PROJECT HARDWARE;194
34.7;THE CURRENT SITUATION;195
34.8;REFERENCES;195
35;CHAPTER 30. DESIGN OF A MAN-MACHINE INTERFACE FOR PROCESS CONTROL ON THE BRIDGE OF A SHIP;198
35.1;INTRODUCTION;198
35.2;SPECIAL REQUIREMENTS TO PROCESS CONTROL ON BOARD;198
35.3;DESIGN OF THE USER INTERFACE;199
35.4;A UNIFORM HANDLING SURFACE;200
35.5;IMPLEMENTATION AND EVALUATION;202
35.6;CONCLUSION;202
35.7;REFERENCES;203
36;CHAPTER 31. CONCURRENT ARCHITECTURES FOR POWER SYSTEM CONTROL;204
36.1;INTRODUCTION;204
36.2;CONCURRENT ARCHITECTURES;206
36.3;FUTURE DIRECTIONS;208
36.4;ACKNOWLEDGEMENTS;208
36.5;REFERENCES;208
37;CHAPTER 32. A DISTRIBUTED CONTROL SYSTEM FOR THE SODA ASH PRODUCTION PLANT AUTOMATION — ARCHITECTURE, SOFTWARE DESIGN AND ENGINEERING;210
37.1;1. INTRIDUCTION;210
37.2;2. PROBLEM FORMULATION AND METHODOLOGY IMPLEMENTED;210
37.3;3. DISTRIBUTED CONTROL SYSTEM FOR THE PLANT CONTROL MODERNIZATION- ARCHITECTURE, SOFTWARE DESIGN AND ENGINEERING;211
37.4;4. CONCLUSIONS;213
37.5;REFERENCES;213
38;CHAPTER 33. LEAK DETECTION METHODS FOR GAS PIPELINES;218
38.1;INTRODUCTION;218
38.2;PROBLEM FORMULATION AND OUTLINE OF LEAK DETECTION METHODS;218
38.3;LEAK DETECTION USING A FAULT SENSITIVE FILTER;220
38.4;CONCLUSION;221
38.5;REFERENCES;221
39;CHAPTER 34. A FLEXIBLE INTERPRETER AND MANAGEMENT SYSTEM FOR CONTROL ENGINEERING PURPOSES;224
39.1;INTRODUCTION;224
39.2;THE INTERPRETER AND MANAGEMENT CONCEPTION;224
39.3;THE INTERNAL REPRESENTATION OF THE FLOW STRUCTURE;225
39.4;THE DATABASE;226
39.5;THE COMMAND LANGUAGE;227
39.6;PROGRAM REALISATION;228
39.7;CONCLUSIONS;228
39.8;REFERENCES;228
40;CHAPTER 35. METHODS AND TOOLS FOR THE DEVELOPMENT OF SOFTWARE FOR COMPLEX REALTIME CONTROL SYSTEMS;230
40.1;GENERAL REMARKS;230
40.2;THE EXAMPLE;230
40.3;REQUIREMENTS;231
40.4;ARCHITECTURAL DESIGN;231
40.5;EVALUATION;232
40.6;CODING;232
40.7;TEST AND DEBUG;232
40.8;REFERENCES;232
41;CHAPTER 36. MAN-MACHINE INTERACTION AND SUPERVISORY FUNCTIONS OF HAHSS — A SOFTWARE PACKAGE FOR CAD OF HIGH ACCURACY AND HIGH SPEED SERVO;236
41.1;INTRODUCTION;236
41.2;THE IMPORTANCE OF AN EFFICIENT USER INTERFACE FOR HAHSS;236
41.3;MAN-MACHINE COMMUNICATION OF HAHSS;237
41.4;DATA-BASE MANAGEMENT;238
41.5;ERROR DETECTION;238
41.6;ON-LINE USER ASSISTANCE;238
41.7;PROGRAM REVERSE CONTROL;238
41.8;SUMMARY;238
41.9;REFERENCES;239
42;CHAPTER 37. A NEW METHODOLOGY FOR MODELLING, ANALYSIS AND CONTROL DESIGN OF NON-CONVENTIONAL SAMPLED DATA SYSTEMS;240
42.1;INTRODUCTION;240
42.2;STATEMENT OF THE METHOLOGY;240
42.3;MAIN RESULT;241
42.4;COMPUTATION PROCEDURE;242
42.5;COMPUTATIONAL ASPECTS;242
42.6;EXAMPLE;243
42.7;CONCLUSIONS;243
42.8;REFERENCES;243
43;CHAPTER 38. SYNTHESIS OF WELL BEHAVED SYNCHRONIZED PROCESSES;246
43.1;Abstract;246
43.2;1. Introduction;246
43.3;2. Net And System Representation;246
43.4;3- Fundamental Net Components;247
43.5;4. Program Structure;248
43.6;5. Illustrative Examples;249
43.7;6. Conclusion;249
43.8;References;250
44;CHAPTER 39. IMPROVED TIME DOMAIN ROBUSTNESS CRITERIA FOR MULTIVARIABLE CONTROL SYSTEMS;252
44.1;INTRODUCTION;252
44.2;OUTPUT FEEDBACK DESIGN WITH APRESCRIBED DEGREE OF STABILITY;252
44.3;EXAMPLE: A JET AIRCRAFT;255
44.4;CONCLUSIONS;255
44.5;REFERENCES;255
44.6;APPENDICES;256
45;CHAPTER 40. TRAFFIC CONTROL AND OPTIMIZATION IN PROCESS CONTROL COMMUNICATION SYSTEMS;258
45.1;INTRODUCTION;258
45.2;BRIEF DESCRIPTION OF THE COMMUNICATIONSYSTEM;258
45.3;CONTROL STRATEGY OF MAIN STATION 1;259
45.4;STRATEGY OF THE COORDINATOR;260
45.5;SOFTWARE STRUCTURE;261
45.6;COMPUTATIONAL RESULTS;261
45.7;REFERENCES;262
46;CHAPTER 41. CLOSING PANEL DISCUSSION;264
47;AUTHOR INDEX;266
48;SUBJECT INDEX;268