Real Time Programming 1986

Description

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.

Front Cover 2
Real Time Programming 1986 5
Copyright Page 6
14TH IFAC/IFIP WORKSHOP ON REAL-TIME PROGRAMMING 7
FOREWORD 8
Table of Contents 9
CHAPTER 1. FLUIDE: AN OPERATING ENVIRONMENT FOR EXTENSIBLE MULTIPROCESSORS 11
- INTRODUCTION 11
- A - THE BASIC DATA-FLOW MODEL 12
- B - ENCLOSED GRAPHS AND ENVELOPES 14
- C - COMPUTATIONABLE NODE AND GRAPH ANIMATION PRIMITIVES 16
- D - SYSTEM SERVICES 16
- E - THE KERNEL 17
- REFERENCES 18
- F - THE PROGRAMMING ENVIRONMENT 18

Front Cover 2
Real Time Programming 1986 5
Copyright Page 6
14TH IFAC/IFIP WORKSHOP ON REAL-TIME PROGRAMMING 7
FOREWORD 8
Table of Contents 9
CHAPTER 1. FLUIDE: AN OPERATING ENVIRONMENT FOR EXTENSIBLE MULTIPROCESSORS 11
- INTRODUCTION 11
- A - THE BASIC DATA-FLOW MODEL 12
- B - ENCLOSED GRAPHS AND ENVELOPES 14
- C - COMPUTATIONABLE NODE AND GRAPH ANIMATION PRIMITIVES 16
- D - SYSTEM SERVICES 16
- E - THE KERNEL 17
- REFERENCES 18
- F - THE PROGRAMMING ENVIRONMENT 18
- CONCLUSION 18
CHAPTER 2. MAPPING AN ALGEBRAIC SPECIFICATION ONTO A MODULA-2-PROGRAM 21
- Abstract 21
- 1. Introduction 21
- 2. An Algebraic Specification of a System 21
- 3. The Module Concept 23
- 4. Modula-2 as Target Language for Modular Systems 24
- 5. Algebraic Specification as a Base for a Modula-2-Program 24
- Acknowledgement 27
- 6. Conclusion 27
- 7. References 27
CHAPTER 3. PERSPECTIVES OF AUTOMATIC REAL-TIME PROGRAM SYNTHESIS 29
- INTRODUCTION 29
- BASIC NOTATIONS AND DEFINITIONS 30
- PROBLEM STATEMENT 31
- MAIN RESULTS 33
- ALGORITHM: DESIGN AND OPERATION 34
- REFERENCES 36
- CONCLUDING REMARKS 36
CHAPTER 4. A KNOWLEDGE-REPRESENTATION FOR DIAGNOSIS OF DYNAMICAL SYSTEMS 37
- INTRODUCTION 37
- PRELIMINARY 38
- CHECKING CONSISTENCY AMONG SENSOR PATTERNS 40
- PROCEDURES ON EVENT-TREE 43
- CONCLUSION 45
- REFERENCES 45
CHAPTER 5. A FRAMEWORK FOR FAULT TOLERANT DESIGN USING ABSTRACT DATA TYPES 49
- Introduction 49
- Supporting fault tolerance in ADTs 50
- Fault tolerant design based on ADTs 51
- Conclusions 52
- References 53
CHAPTER 6. DIGITAL SIGNAL PROCESSORS. A TUTORIAL 55
- Application Areas and Methods 56
- Introduction 56
- Methods and the Application of Methods 57
- Hardware for Digital Signalprocessing 57
- Software for DSP's 58
- Literature 59
- Conclusion 59
- Figure Captions 59
CHAPTER 7. A PARADIGM FOR THE DEVELOPMENT OF DISTRIBUTED SYSTEMS 67
- INTRODUCTION 67
- THE π DEVELOPMENT PARADIGM 67
- DEVELOPING A FORMAL SPECIFICATION 68
- AN ILLUSTRATIVE EXAMPLE: THE INDEX SYSTEM 68
- AN OBJECT VIEW OF THE INDEX SYSTEM 70
- A DISTRIBUTED IMPLEMENTATION VIEW OF THE INDEX SYSTEM 71
CHAPTER 8. DEVELOPMENT OF REALTIME SYSTEMS: SPECIFYING FUNCTIONAL AND PARALLEL BEHAVIOUR FORMALLY 77
- 0 INTRODUCTION 77
- 1 SPECIFYING THE REQUIREMENTS TO REALTIME SYSTEMS USING EDE 78
- 2 DEVELOPMENT OF SOFTWARE FOR REALTIME SYSTEMS USING CEMS 86
- ACKNOWLEDGMENT 88
- 3 CONCLUSION 88
- LITERATURE 89
CHAPTER 9. RTUNIX — ONE STEP TOWARDS REAL-TIME UNIX 91
- DRAWBACKS OF UNIX CONCERNING REAL-TIME BEHAVIOUR 91
- WAYS TO OVERCOME THE REAL-TIME PROBLEMS OF UNIX AND RELATED WORK 91
- THE RTUNIX IMPLEMENTATION 92
- THE FUTURE OF REAL-TIME UNIX -SOME SPECULATIONS 93
- REFERENCES 94
- ACKNOWLEDGEMENT 94
- CONCLUSION 94
- APPENDIX 95
CHAPTER 10. PROBLEMS OF REAL TIME SCHEDULING 97
- CONTINGENCY HANDLING 97
- INTRODUCTION 97
- SCHEDULING OPERATIONS 98
- AN EXAMPLE OF REAL TIME SCHEDULING 98
- USE OF EXPERT SYSTEMS 99
- COMMUNICATIONS NETWORKS 99
- GLOBAL TELECOMMUNICATIONS 100
- REFERENCES 101
- TECHNOLOGICAL REQUIREMENTS 101
- CONCLUSIONS 101
CHAPTER 11. FORMAL SPECIFICATION OF A REAL TIME MULTIPROGRAMMING KERNEL 103
- THE SPECIFICATION METHOD 103
- INTRODUCTION 103
- DOMAINS 104
- THE SPECIFICATION 104
- PARAMETERS 104
- INITIAL 105
- ENDF 105
- STATE 105
- INTERFACE 105
- BEHAVIOUR 106
- CONCLUSION 108
- REFERENCES 109
CHAPTER 12. ARTEX — A REAL-TIME EXECUTIVE FOR DISTRIBUTED PROCESS CONTROL 111
- INTRODUCTION 111
- HIERARCHY OF OPERATING SYSTEMS 113
- MULTITASKING STATE MODEL AND LINKING TO APPLICATION PROGRAMS 114
- THE DISPATCHER 118
- MESSAGE HANDLING 119
- LAN AND MASTER/SLAVE BUS 120
- OVERALL CONTROL AND STEERING 120
- CONCLUSION AND ACKNOWLEDGMENTS 121
- PERFORMANCE AND IMPLEMENTATION 121
- REFERENCES 121
- LANGUAGE BINDINGS 121
CHAPTER 13. FORMAL SPECIFICATION OF REAL-TIME SOFTWARE SYSTEMS. AN INDUSTRIAL EXAMPLE 123
- INTRODUCTION 123
- A FORMAL SPECIFICATION TECHNIQUE 124
- LOTOS 124
- A REAL-TIME CONTROL SYSTEM. 125
- SPECIFICATION OF THE CONTROL SYSTEM 126
- CONCLUSIONS 131
- ACKNOWLEDGEMENTS 131
- REFERENCES 131
CHAPTER 14. A DUAL-COMPUTER BASED DATA ACQUISITION AND CONTROL SYSTEM USING XENIX/UNIX SYSTEM V 133
- INTRODUCTION 133
- UNICONT CONTROL SYSTEM 133
- OPERATOR INTERFACE 134
- PLAUSIBILITY ANALYSIS 134
- EVENT MANAGEMENT 134
- KERNEL EXTENSION ROUTINES 135
- CONCLUSIONS 135
- MASTER SLAVE 135
- INTERPROCESS COMMUNICATION 135
- REFERENCES 135
- OPERATING SYSTEM REQUIREMENTS 135
- SHARED MEMORY HANDLING 135
AUTHOR INDEX 137

Proceedings of the 14th IFAC/IFIP Workshop, Lake Balaton, Hungary, 26-28 May 1986

Description

TOC

Reviews (0)