Sahraoui / de la Puente Distributed Computer Control Systems 1995

1. Auflage 2014
ISBN: 978-1-4832-9684-5
Verlag: Elsevier Science & Techn.
Format: PDF
Kopierschutz: 1 - PDF Watermark

E-Book, Englisch, 186 Seiten, Web PDF

Reihe: IFAC Postprint Volume

The series of IFAC Workshops on distributed computer control systems (DCCS) provide the opportunity for leading researchers and practitioners in the field to discuss and evaluate recent advances and current issues in theory, applications and technology of DCCS. DCCS'95, the 13th IFAC workshop in the series was held in Toulouse-Blagnac, France. The topics covered at this meeting included: the role of real-time in DCCS specifications; scheduling methods for DCCS; real-time distributed operating systems and databases and industrial applications and experience with DCSS.

Autoren/Hrsg.

Sahraoui, A. E. K.

de la Puente, J. A.

Inhaltsverzeichnis

1;Front Cover;1
2;Distributed Computer Control Systems 1995 (DCCS'95);2
3;Copyright Page;3
4;Table of Contents;6
5;WORKSHOP ON DISTRIBUTED COMPUTER CONTROL SYSTEMS 1995;4
6;CHAPTER 1. AN APPROACH DESIGNING PARALLEL SOFTWARE FOR DISTRIBUTED CONTROL SYSTEMS;10
6.1;1. INTRODUCTION;10
6.2;2. BASIC CONCEPTS;11
6.3;3. TRANSFORMATION;11
6.4;4. IMPLEMENTATION;13
6.5;5. CONCLUSION;14
6.6;6. REFERENCES;14
7;CHAPTER 2. MULTIAGENT-BASED CONTROL SYSTEMS: AN HYBRID APPROACH TO DISTRIBUTED PROCESS CONTROL;16
7.1;1. INTRODUCTION;16
7.2;2. AGENTS DESCRIPTION;17
7.3;3. MIX MULTIAGENT PLATFORM;17
7.4;4. AN APPLICATION: ECONOMIC CONTROL OF A FOSSIL POWER PLANT;18
7.5;5. ADL AND CKRL SPECIFICATION;19
7.6;6. CONCLUSIONS;19
7.7;7. REFERENCES;20
7.8;APPENDIX: ADL AND CKRL FILES;21
8;CHAPTER 3. ON THE MODELLING OF DISTRIBUTED REAL-TIME CONTROL APPLICATIONS;22
8.1;1. INTRODUCTION;22
8.2;2. CHARACTERISTICS OF REAL-TIME CONTROL APPLICATIONS;22
8.3;3. APPLICABILITY OF PROPOSED MODELS FOR REAL-TIME CONTROL SYSTEMS;24
8.4;4. MODELLING EXTENSIONS FOR REAL-TIME CONTROL APPLICATIONS;25
8.5;5. CONCLUSIONS;27
8.6;6.REFERENCES;27
9;CHAPTER 4. TEMPORAL VALIDATION OF DISTRIBUTED COMPUTER CONTROL SYSTEMS;28
9.1;1. INTRODUCTION;28
9.2;2. FEATURES OF A TESTING DEVICE;29
9.3;3. HARDWARE OF THE TEST DEVICE;29
9.4;4. SOFTWARE OF THE TEST DEVICE;32
9.5;5. HIGH-PRECISION TIMING;32
9.6;6. CONCLUSION;32
9.7;7. REFERENCES;33
10;CHAPTER 5. MODELLING AND VERIFYING TIMING PROPERTIES IN DISTRIBUTED COMPUTER CONTROL SYSTEMS;34
10.1;1. INTRODUCTION;34
10.2;2. REPRESENTING TIME;34
10.3;3. IMPLEMENTATION DETAILS;36
10.4;4. DISTRIBUTED REAL-TIME CONTROL EXAMPLE;37
10.5;5. CONCLUSIONS;39
10.6;6. ACKNOWLEDGEMENTS;39
10.7;7. REFERENCES;39
11;CHAPTER 6. ON THE DUALITY BETWEEN EVENT-DRIVEN AND TIME-DRIVEN MODELS;40
11.1;1. INTRODUCTION;40
11.2;2. THE STORY OF JOHN AND MARY;41
11.3;3. PROGRAMMING PARADIGMS;42
11.4;4. REACTIVE AGENTS;42
11.5;5. CONTROL MACHINES;43
11.6;6. A UNIFIED CONTROL MACHINE;43
11.7;7. CONCLUSIONS;44
11.8;REFERENCES;45
12;CHAPTER 7. DYNAMIC TASK MAPPING FOR REAL-TIME CONTROLLER OF DISTRIBUTED COOPERATIVE ROBOT SYSTEMS;46
12.1;1. INTRODUCTION;46
12.2;2. BOTTLENECK OF INTELLIGENT CONTROL;46
12.3;3. STATE OF THE ART;46
12.4;4. THE ADAPTIVE CONTROL STRUCTURE;47
12.5;5. MPLEMEJNTTATION ASPECTS;48
12.6;6. DYNAMIC TASK MAPPING;48
12.7;7. EXPERIMENTS;49
12.8;8. CONCLUSION AND FUTURE WORK;51
12.9;9. ACKNOWLEDGMENT;51
12.10;REFERENCES;51
13;CHAPTER 8. PROGRAMMING APPROACHES FOR DISTRIBUTED CONTROL SYSTEMS;52
13.1;1 INTRODUCTION;52
13.2;2 GENERAL DESIGN MODEL;52
13.3;3 REQUIREMENTS;53
13.4;4 APPROACHES;53
13.5;5 COMPARISON AND CONCLUSIONS;57
13.6;6 ACKNOWLEDGEMENTS;57
13.7;REFERENCES;57
14;CHAPTER 9. DISTRIBUTED HARD-REAL-TIME SYSTEMS: FROM SPECIFICATION TO REALIZATION;58
14.1;1. INTRODUCTION;58
14.2;2. MODELLING;60
14.3;3. R.S.D.T. PRESENTATION;61
14.4;4. CONCLUSION;63
14.5;REFERENCES;63
15;CHAPTER 10. HEURISTICS FOR SCHEDULING PERIOFIC COMPLEX REAL-TIME TASKS IN A DISTRIBUTED SYSTEM;64
15.1;1. PRESENTATION;64
15.2;2. THE MODEL;64
15.3;3. THE ALGORITHMS;65
15.4;4. RESULTS OF SIMULATIONS;67
15.5;5. CONCLUSION;68
15.6;6. REFERENCES;69
16;CHAPTER 11. ALPHA MESSAGE SCHEDULING FOR OPTIMIZING COMMUNICATION LATENCY IN DISTRIBUTED SYSTEMS;70
16.1;1. INTRODUCTION;70
16.2;2. ASUMPTIONS AND INVESTIGATION;70
16.3;3. FIFO SCHEDULING;70
16.4;4. ROUND ROBIN;71
16.5;5. SHORTEST FIRST;71
16.6;6. ALPHA SCHEDULING STRATEGY;71
16.7;7. SIMULATION AND RESULTS;72
16.8;8. AN ANALYSIS OF LARGE ALPHA;73
16.9;9. USING ALPHA AS A PRIORITY SCHEME;74
16.10;10. ENSURING IN-ORDER DELIVERY OF MESSAGES;74
16.11;11. ADVERSARY APPLICATIONS;74
16.12;12. TRACKING ALPHA;75
16.13;13. CONCLUSION;75
16.14;14. REFERENCES;75
17;CHAPTER 12. PREEMPTIVE AND NON-PREEMPTIVE REAL-TIME SCHEDULING BASED ON NEURAL NETWORKS;76
17.1;1. INTRODUCTION;76
17.2;2. HOPFIELD'S NEURAL NETWORKS AND TAGGLIARINTS RULE;77
17.3;3. PREEMPTIVE TASKS SCHEDULING;78
17.4;4. NON-PREEMPTIVE TASKS SCHEDULING;78
17.5;5. EXAMPLE OF NON-PREEMPTIVE SCHEDULING;79
17.6;6. CONCLUSION;80
17.7;REFERENCES;81
18;CHAPTER 13. Co-specifications for Co-design in Avionics Systems Development;82
18.1;1. Introduction;82
18.2;2. The Hardware-Software Co-design Methodology;82
18.3;3. Co-specifications of Avionics;83
18.4;4. Composing Partial Specifications;84
18.5;5. Conclusions;84
18.6;Acknowledgement;85
18.7;References;85
19;CHAPTER 14. TRANSPUTER CONTROL SYSTEM WITH A GAs MOTION PLANNER FOR THE PUMA560 INDUSTRIAL ROBOTIC MANIPULATOR;86
19.1;1. INTRODUCTION;86
19.2;2. PUMA INTERFACE ALTERNATIVES;87
19.3;3. THE PUMA TRANSPUTER INTERFACE BOARD;87
19.4;4. THE NEW CONTROL SYSTEM SOFTWARE;88
19.5;5. PUMA MOTION PLANNING USING GAs;89
19.6;6. CONCLUSION REMARKS;91
19.7;ACKNOWLEDGEMENT;91
19.8;REFERENCES;91
20;CHAPTER 15. AUTOMATED CLIENT_SERVER CODE GENERATION FROM OBJECT ORIENTED DESIGNS USING HOOD4™;92
20.1;1. INTRODUCTION;92
20.2;2. HOOD4 TARGET CODE GENERATION;92
20.3;3. DEVELOPING CLIENT_SERVER APPLICATIONS WITH HOOD4;96
20.4;4. CONCLUSION;97
20.5;5. REFERENCES;97
21;CHAPTER 16. TEMPORAL PROPERTIES IN DISTRIBUTED REAL-TIME APPLICATIONS COOPERATION MODELS AND COMMUNICATION TYPES;98
21.1;1. INTRODUCTION;98
21.2;2. TIME PROPERTIES IN PROCESS INTERACTIONS;98
21.3;3. CASE STUDY;101
21.4;4. COOPERATION MODELS;102
21.5;5. CONCLUSION;103
21.6;6. REFERENCES;103
22;CHAPTER 17. CONCEPTION AND ANALYSIS OF AN ATM BASED COMMUNICATION TRANSFER PROTOCOL FOR DISTRIBUTEDREAL-TIME SYSTEMS;104
22.1;1. INTRODUCTION;104
22.2;2. REMOTE IPC UNDER C/RT-UNIX;105
22.3;3. AN ATM BASED CONCEPT OF A COMMUNICATION NETWORK;105
22.4;4. ATM EXTENSION UNDER C/QNX;107
22.5;5. ANALYSIS OF THE CONCEPT;107
22.6;6. OVERALL CONCLUSIONS AND FUTURE WORK;109
22.7;7. ACKNOWLEDGEMENTS;109
22.8;8. REFERENCES;109
23;CHAPTER 18. SELF CONFIGURATION PROTOCOL FOR A HARD REAL TIME NETWORK;110
23.1;1. INTRODUCTION;110
23.2;2. OVERVIEW OF PHOEBUS IIX;111
23.3;3. INITIALIZATION AND CONFIGURATION PHASE;111
23.4;4. FUTURE WORK;113
23.5;5. CONCLUSIONS;113
23.6;6. REFERENCES;113
24;CHAPTER 19. GUARANTEEING SYNCHRONOUS MESSAGE SETS IN FDDI NETWORKS;114
24.1;1. INTRODUCTION;114
24.2;2. NETWORK AND MESSAGE MODELS;115
24.3;3. SYNCHRONOUS BANDWIDTH ALLOCATION (SBA) SCHEMES;115
24.4;4. PROTOCOL TIMING PROPERTIES;116
24.5;5. SCHEDULABILITY ANALYSIS;117
24.6;6. CONCLUSIONS;119
24.7;REFERENCES;119
25;CHAPTER 20. HETEROGENEOUS PROTOTYPING FOR DISTRIBUTED REAL-TIME SYSTEMS;120
25.1;1. INTRODUCTION;120
25.2;2. THE IDERS APPROACH;120
25.3;3. HETEROGENEOUS PROTOTYPES OF DISTRIBUTED SYSTEMS;123
25.4;4. CONCLUSIONS;125
25.5;ACKNOWLEDGMENTS;125
25.6;REFERENCES;125
26;CHAPTER 21. DEPENDABLE DISTRIBUTED COMPUTER CONTROL SYSTEMS: ANALYSIS OF THE DESIGN STEP ACTIVITIES;126
26.1;1. INTRODUCTION;126
26.2;2. THE DESIGN STEP OF DISTRIBUTED CONTROL SYSTEMS;127
26.3;3. MODELS OF THE SYSTEM AT THE DESIGN STEP;127
26.4;4. A DESIGN PROCESS MODEL;128
26.5;5. VALIDATION MODELS USED AT THE DESIGN STEP;130
26.6;6. CONCLUSIONS;131
26.7;7. REFERENCES;131
27;CHAPTER 22. DEADLOCK PREVENTION IN A DISTRIBUTED REAL-TIME SYSTEM.;132
27.1;1. INTRODUCTION;132
27.2;2. MODEL;132
27.3;3. MONOPROCESSOR ARCHITECTURE;133
27.4;4. DISTRIBUTED SYSTEMS;136
27.5;5. CONCLUSION;137
27.6;6. REFERENCES;137
28;CHAPTER 23. ANALYSIS OF THE IEEE 802.4 TOKEN PASSING BUS NETWORK WITH FINITE BUFFERS AND SINGLE PRIORITY;138
28.1;1. INTRODUCTION;138
28.2;2. MODEL DESCRIPTION;139
28.3;3. MEAN QUEUE LENGTH DISTRIBUTION AND MEAN TOKEN ROTATION TIME;139
28.4;4. MEAN WAITING TIME AND BLOCKING PROBABILITY;141
28.5;5. NUMERICAL RESULTS;142
28.6;6. CONCLUSION;143
28.7;REFERENCES;143
29;CHAPTER 24. HOW TO SCHEDULE PERIODIC AND SPORADIC TASKS WITH RESOURCE CONSTRAINTS IN A REAL-TIME COMPUTER SYSTEM;144
29.1;1. INTRODUCTION;144
29.2;2. BACKGROUND;145
29.3;3. LOCAL SCHEDULING;146
29.4;4. OUTLINE OF THE SCHEDULING SCHEME;148
29.5;5. SUMMARY;149
29.6;REFERENCES;149
30;CHAPTER 25. LAN MEDIUM ACCESS CONTROL SIMULATION STUDY UNDER A REAL-TIME DCCS: AN AUTOMATED GUIDED VEHICLES SYSTEM;150
30.1;1. INTRODUCTION;150
30.2;2. THE AGVS COMMUNICATION SYSTEM;150
30.3;3. THE MAC SIMULATION PACKAGE;151
30.4;4. AGVS REAL-TIME COMMUNICATION REQUIREMENTS;152
30.5;5. MAC SIMULATION RESULTS;152
30.6;6. CONCLUSIONS;154
30.7;REFERENCES;155
31;CHAPTER 26. INTEGRATION OF WIRELESS MOBILE NODES IN MAP/MMS;156
31.1;1 INTRODUCTION;156
31.2;2 TECHNICAL BACKGROUND;156
31.3;3 NETWORK ARCHITECTURES;157
31.4;4 ROUTING;158
31.5;5 CONCLUSION;159
31.6;6 ACKNOWLEDGMENTS;159
31.7;7 REFERENCES;159
32;CHAPTER 27. DEFINITION OF REAL TIME SERVICES FOR HETEROGENEOUS PROFILES;160
32.1;1. INTRODUCTION;160
32.2;2. CONTEXT PRESENTATION;160
32.3;3. SERVICES DESCRIPTION;161
32.4;4. CONCLUSION;165
32.5;BIBLIOGRAPHY;165
33;CHAPTER 28. A Distributed Real-Time Transaction Processing Environment For the CIM Applications;166
33.1;1. Introduction;166
33.2;2. Hierarchical Layers Presentation;167
33.3;3. Specification and Validation;171
33.4;4. Conclusions;171
33.5;5. References;171
34;CHAPTER 29. CONTROL DESIGN FOR AUTOLAB USING THE REAC-TIVE PARADIGM;174
34.1;1. INTRODUCTION;174
34.2;2. REACTIVE SYSTEMS AND THE SYNCHRONOUS APPROACH;174
34.3;3. AUTOLAB;175
34.4;4. THE ESTEREL LANGUAGE;175
34.5;5. CONTROL DESIGN FOR AUTOLAB;175
34.6;6. CONCLUSION;178
34.7;7. ACKNOWLEDGEMENT;179
34.8;8. REFERENCES;179
35;CHAPTER 30. A HIGHLY DISTRIBUTED CONTROL SYSTEM FOR A LARGE SCALE EXPERIMENT;180
35.1;INTRODUCTION;180
35.2;DELPHI ONLINE SYSTEM;181
35.3;DESIGN REQUIREMENTS;181
35.4;COMMUNICATION MECHANISM CONSIDERATIONS;182
35.5;DESIGN PHILOSOPHY;182
35.6;IMPLEMENTATION ISSUES;184
35.7;CURRENT DEVELOPMENTS;185
35.8;CONCLUSIONS;185
35.9;REFERENCES;185
36;AUTHOR INDEX;186