Szlanko Real Time Programming 1986

Proceedings of the 14th IFAC/IFIP Workshop, Lake Balaton, Hungary, 26-28 May 1986
1. Auflage 2014
ISBN: 978-1-4832-9804-7
Verlag: Elsevier Science & Techn.
Format: PDF
Kopierschutz: 1 - PDF Watermark

E-Book, Englisch, 135 Seiten, Web PDF

Reihe: IFAC Workshop Series

The 1986 IFAC/IFIP Workshop on real-time programming represents the 14th meeting of this workshop since it was first organized in 1971. Traditionally a meeting of a small number of experts, the papers presented at this meeting concentrate on the topics of real-time environment and executives, software development tools and languages, and special real-time applications. The continuing progress being made in this field of programming is amply reflected by the papers and should be of interest to anyone wishing to be kept up to date in the field.

Autoren/Hrsg.

Szlanko, J.

Inhaltsverzeichnis

1;Front Cover;1
2;Real Time Programming 1986;4
3;Copyright Page;5
4;Table of Contents;8
5;14TH IFAC/IFIP WORKSHOP ON REAL-TIME PROGRAMMING;6
6;FOREWORD;7
7;CHAPTER 1. FLUIDE: AN OPERATING ENVIRONMENT FOR EXTENSIBLE MULTIPROCESSORS;10
7.1;INTRODUCTION;10
7.2;A - THE BASIC DATA-FLOW MODEL;11
7.3;B - ENCLOSED GRAPHS AND ENVELOPES;13
7.4;C - COMPUTATIONABLE NODE AND GRAPH ANIMATION PRIMITIVES;15
7.5;D - SYSTEM SERVICES;15
7.6;E - THE KERNEL;16
7.7;F - THE PROGRAMMING ENVIRONMENT;17
7.8;CONCLUSION;17
7.9;REFERENCES;17
8;CHAPTER 2. MAPPING AN ALGEBRAIC SPECIFICATION ONTO A MODULA-2-PROGRAM;20
8.1;Abstract;20
8.2;1. Introduction;20
8.3;2. An Algebraic Specification of a System;20
8.4;3. The Module Concept;22
8.5;4. Modula-2 as Target Language for Modular Systems;23
8.6;5. Algebraic Specification as a Base for a Modula-2-Program;23
8.7;6. Conclusion;26
8.8;7. References;26
8.9;Acknowledgement;26
9;CHAPTER 3. PERSPECTIVES OF AUTOMATIC REAL-TIME PROGRAM SYNTHESIS;28
9.1;INTRODUCTION;28
9.2;BASIC NOTATIONS AND DEFINITIONS;29
9.3;PROBLEM STATEMENT;30
9.4;MAIN RESULTS;32
9.5;ALGORITHM: DESIGN AND OPERATION;33
9.6;CONCLUDING REMARKS;35
9.7;REFERENCES;35
10;CHAPTER 4. A KNOWLEDGE-REPRESENTATION FOR DIAGNOSIS OF DYNAMICAL SYSTEMS;36
10.1;INTRODUCTION;36
10.2;PRELIMINARY;37
10.3;CHECKING CONSISTENCY AMONG SENSOR PATTERNS;39
10.4;PROCEDURES ON EVENT-TREE;42
10.5;CONCLUSION;44
10.6;REFERENCES;44
11;CHAPTER 5. A FRAMEWORK FOR FAULT TOLERANT DESIGN USING ABSTRACT DATA TYPES;48
11.1;Introduction;48
11.2;Supporting fault tolerance in ADTs;49
11.3;Fault tolerant design based on ADTs;50
11.4;Conclusions;51
11.5;References;52
12;CHAPTER 6. DIGITAL SIGNAL PROCESSORS. A TUTORIAL;54
12.1;Introduction;55
12.2;Application Areas and Methods;55
12.3;Methods and the Application of Methods;56
12.4;Hardware for Digital Signalprocessing;56
12.5;Software for DSP's;57
12.6;Conclusion;58
12.7;Figure Captions;58
12.8;Literature;58
13;CHAPTER 7. A PARADIGM FOR THE DEVELOPMENT OF DISTRIBUTED SYSTEMS;66
13.1;INTRODUCTION;66
13.2;THE p DEVELOPMENT PARADIGM;66
13.3;AN ILLUSTRATIVE EXAMPLE: THE INDEX SYSTEM;67
13.4;DEVELOPING A FORMAL SPECIFICATION;67
13.5;AN OBJECT VIEW OF THE INDEX SYSTEM;69
13.6;A DISTRIBUTED IMPLEMENTATION VIEW OF THE INDEX SYSTEM;70
14;CHAPTER 8. DEVELOPMENT OF REALTIME SYSTEMS: SPECIFYING FUNCTIONAL AND PARALLEL BEHAVIOUR FORMALLY;76
14.1;0 INTRODUCTION;76
14.2;1 SPECIFYING THE REQUIREMENTS TO REALTIME SYSTEMS USING EDE;77
14.3;2 DEVELOPMENT OF SOFTWARE FOR REALTIME SYSTEMS USING CEMS;85
14.4;3 CONCLUSION;87
14.5;ACKNOWLEDGMENT;87
14.6;LITERATURE;88
15;CHAPTER 9. RTUNIX — ONE STEP TOWARDS REAL-TIME UNIX;90
15.1;DRAWBACKS OF UNIX CONCERNING REAL-TIME BEHAVIOUR;90
15.2;WAYS TO OVERCOME THE REAL-TIME PROBLEMS OF UNIX AND RELATED WORK;90
15.3;THE RTUNIX IMPLEMENTATION;91
15.4;THE FUTURE OF REAL-TIME UNIX -SOME SPECULATIONS;92
15.5;CONCLUSION;93
15.6;REFERENCES;93
15.7;ACKNOWLEDGEMENT;93
15.8;APPENDIX;94
16;CHAPTER 10. PROBLEMS OF REAL TIME SCHEDULING;96
16.1;INTRODUCTION;96
16.2;CONTINGENCY HANDLING;96
16.3;SCHEDULING OPERATIONS;97
16.4;AN EXAMPLE OF REAL TIME SCHEDULING;97
16.5;USE OF EXPERT SYSTEMS;98
16.6;COMMUNICATIONS NETWORKS;98
16.7;GLOBAL TELECOMMUNICATIONS;99
16.8;TECHNOLOGICAL REQUIREMENTS;100
16.9;CONCLUSIONS;100
16.10;REFERENCES;100
17;CHAPTER 11. FORMAL SPECIFICATION OF A REAL TIME MULTIPROGRAMMING KERNEL;102
17.1;INTRODUCTION;102
17.2;THE SPECIFICATION METHOD;102
17.3;THE SPECIFICATION;103
17.4;PARAMETERS;103
17.5;DOMAINS;103
17.6;STATE;104
17.7;INITIAL;104
17.8;ENDF;104
17.9;INTERFACE;104
17.10;BEHAVIOUR;105
17.11;CONCLUSION;107
17.12;REFERENCES;108
18;CHAPTER 12. ARTEX — A REAL-TIME EXECUTIVE FOR DISTRIBUTED PROCESS CONTROL;110
18.1;INTRODUCTION;110
18.2;HIERARCHY OF OPERATING SYSTEMS;112
18.3;MULTITASKING STATE MODEL AND LINKING TO APPLICATION PROGRAMS;113
18.4;THE DISPATCHER;117
18.5;MESSAGE HANDLING;118
18.6;LAN AND MASTER/SLAVE BUS;119
18.7;OVERALL CONTROL AND STEERING;119
18.8;PERFORMANCE AND IMPLEMENTATION;120
18.9;LANGUAGE BINDINGS;120
18.10;CONCLUSION AND ACKNOWLEDGMENTS;120
18.11;REFERENCES;120
19;CHAPTER 13. FORMAL SPECIFICATION OF REAL-TIME SOFTWARE SYSTEMS. AN INDUSTRIAL EXAMPLE;122
19.1;INTRODUCTION;122
19.2;A FORMAL SPECIFICATION TECHNIQUE;123
19.3;LOTOS;123
19.4;A REAL-TIME CONTROL SYSTEM.;124
19.5;SPECIFICATION OF THE CONTROL SYSTEM;125
19.6;CONCLUSIONS;130
19.7;ACKNOWLEDGEMENTS;130
19.8;REFERENCES;130
20;CHAPTER 14. A DUAL-COMPUTER BASED DATA ACQUISITION AND CONTROL SYSTEM USING XENIX/UNIX SYSTEM V;132
20.1;INTRODUCTION;132
20.2;UNICONT CONTROL SYSTEM;132
20.3;PLAUSIBILITY ANALYSIS;133
20.4;EVENT MANAGEMENT;133
20.5;OPERATOR INTERFACE;133
20.6;MASTER SLAVE;134
20.7;OPERATING SYSTEM REQUIREMENTS;134
20.8;KERNEL EXTENSION ROUTINES;134
20.9;INTERPROCESS COMMUNICATION;134
20.10;SHARED MEMORY HANDLING;134
20.11;CONCLUSIONS;134
20.12;REFERENCES;134
21;AUTHOR INDEX;136