Crespo / de La Puente Real Time Programming 1988

Proceedings of the 15thIFAC/IFIP Workshop, Valencia, Spain, 25-27 May 1988
1. Auflage 2014
ISBN: 978-1-4832-9805-4
Verlag: Elsevier Science & Techn.
Format: PDF
Kopierschutz: 1 - PDF Watermark

E-Book, Englisch, 95 Seiten, Web PDF

Reihe: IFAC Workshop Series

Digital computers are now used routinely in on-line control systems. As applications become more complex and costs of developing software rise, the need for good software tools becomes vital. This volume presents 14 papers on the most recent developments within real-time programming - languages for real-time programming, software development tools and the application of real-time systems within industry.

Autoren/Hrsg.

Crespo, A.

de La Puente, J. A.

Inhaltsverzeichnis

1;Front Cover;1
2;Real Time Programming 1988;4
3;Copyright Page;5
4;Table of Contents;8
5;IFAC WORKSHOP ON REAL TIME PROGRAMMING 1988;6
6;PART 1: FORMAL SPECIFICATION;10
6.1;CHAPTER 1. CORRECTNESS VERIFICATION OFREAL-TIME PROGRAMS;10
6.1.1;1. INTRODUCTION;10
6.1.2;2. PROCESS AND CORRECTNESS;10
6.1.3;3· CTOEUSTPALBEIDL IPTRYO CETSHSE OARENMD LOCAL;11
6.1.4;4. CORRECTNESS VERIFICATION;12
6.1.5;5.ECXOAOMPPELREA TI-N GS YSRTOEBMO TSOP;13
6.1.6;5· FINAL REMARKS;14
6.1.7;REFERENCES;14
6.2;LOTOS BASED DERIVATION METHODOLOGYIN THE PRODAT PROJECT;16
6.2.1;1 Introduction;16
6.2.2;2 Analysis of Project DevelopmentPhases;17
6.2.3;3 Implementation;18
6.2.4;4 Testing;19
6.2.5;5 Conclusions;19
6.3;THE CREATIVE STEP IN DESIGNINGREAL-TIME SOFTWARE;24
6.3.1;INTRODUCTION;24
6.3.2;THE SOFTWARE DESIGN PROCESS ININDUSTRIAL PRACTICE;24
6.3.3;METHODICAL SUPPORT FORSOFTWARE DESIGN;27
6.3.4;JOINING ALL DESIGN GUIDELINES AND EXPERIENCEINTO ONE SET OF RULES IN ANEXPERT SYSTEM;28
6.3.5;REFERENCES;28
6.4;APPLYING THE PRINCIPLE OF SEPARATIONOF CONCERNS IN SOFTWAREDEVELOPMENT;30
6.4.1;INTRODUCTION;30
6.4.2;EXAMPLE 1: COUPLING BETWEENMODUL;31
6.4.3;EXAMPLE 2: ORGANISING CASEANALYSES;33
6.4.4;EXAMPLE 3: CHOOSING NAMES INPROGRAMS;35
6.4.5;CONCLUSION;36
6.4.6;REFERENCES;36
6.5;SUPPORTING TOOL FOR OBJECT ORIENTEDDESIGN OF REAL TIME APPLICATIONS;38
6.5.1;INTRODUCTION;38
6.5.2;OBJECT ORIENTED DESIGN METHODOLGY;39
6.5.3;PRESENTATION OF THE FUNCTIONALITIES OFSTOOD;40
6.5.4;PRESENT AND FUTURE;42
6.5.5;REFERENCES;42
7;PART 2: LANGUAGES FOR REAL TIME PROGRAMMING;44
7.1;ADDITIONAL PEARL LANGUAGE STRUCTURES FOR THE IMPLEMENTATION OF RELIABLE AND INHERENTLY SAFE REAL-TIME SYSTEMS;44
7.1.1;INTRODUCTION;44
7.1.2;PROPOSAL OF ADDITIONAL LANGUAGE ELEMENTSFOR PEARL;45
7.1.3;ADDITIONAL OPERATING SYSTEM FEATURES TOBE SUPPORTED BY PEARL;46
7.1.4;SOFTWARE VERIFICATION FEATURES;47
7.1.5;SUPPORT OF THE ADDITIONAL PEARL LANGUAGE STRUCTURES BY THE REAL-TIME OPERATING SYSTEM PORTOS;48
7.1.6;SYNOPSIS OF THE ADDITIONAL
LANGUAGE STRUCTURES
PEARL;49
7.1.7;CONCLUSION;51
7.1.8;REFERENCES;51
7.2;THE USE OF STANDARD SOFTWARE IN REAL TIME PROGRAMMING: AN EXAMPLE DEMONSTRATING THE INTEGRATION OF ADA, ORACLE AND GKS;52
7.2.1;1. Parroebal enme;t woOrpke ration guidance for a;52
7.2.2;2. Building blocks of the solution:data-base, decision-support system andman-machine interface;53
7.2.3;3. Selection of standard software ADA, ORACLS and GKS;53
7.2.4;Literature;;56
8;PART 3: SPECIFICATIONS;60
8.1;SPECIFICATION, DESIGN AND MODULA-2 IMPLEMENTATION OF A LOW COST INDUSTRIAL CONTROL SYSTEM;60
8.1.1;INTRODUCTION;60
8.1.2;SPECIFICATIONS PHASE;60
8.1.3;DESIGN PHASE;63
8.1.4;IMPLEMENTATION PHASE;65
8.1.5;CONCLUSIONS;65
8.1.6;REFERENCES;65
8.2;MICROPROCESSOR BASED DEVELOPMENT TOOL - DESIGN AND REALIZATION OF SISO CONTROLLERS;66
8.2.1;BACKGROUND: THE LOW-END CONTROL PROBLEMS;66
8.2.2;THE HARDWARE STRUCTURE OF A LOW-LEVEL SYSTEM;66
8.2.3;AN EXPERIMENTAL FIELD UNIT;67
8.2.4;SYSTEM COMMUNICATIONS;68
8.2.5;APPLICATION SOFTWARE IN FUN;68
8.2.6;THE DEVELOPMENT TOOL - SOFTWARE AND APPLICATION ASPECTS;68
8.2.7;EXAMPLE;70
8.2.8;CONCLUSIONS;71
8.2.9;REFERENCES;71
8.3;A REAL-TIME SYSTEM FOR ROBOT MANIPULATOR INVERSE DYNAMICS COMPUTATION;72
8.3.1;INTRODUCTION;72
8.3.2;A HYBRID COMPUTATIONAL ALGORITHM;73
8.3.3;IMPLEMENTATION OF THE NEW COMPUTATIONAL ALGORITHM;73
8.3.4;PARALLEL COMPUTATION;74
8.3.5;DISCUSSION;75
8.3.6;CONCLUSION;75
8.3.7;REFERENCES;75
9;PART 4: OPERATING SYSTEM AND IMPLEMENTATION ASPECTS;78
9.1;A MODEL FOR A HARD REAL TIME SYSTEM EXECUTIVE;78
9.1.1;INTRODUCTION;78
9.1.2;THE REACTIVE SYSTEMS MODEL;79
9.1.3;EXAMPLES;80
9.1.4;IMPLEMENTATION OF THE REACTIVE MODEL;81
9.1.5;CONCLUSION;82
9.1.6;REFERENCES;82
9.1.7;APPENDIX : A sample of RSEX system calls.;82
9.2;THE SPY: A MECHANISM FOR SAFE IMPLEMENTATION OF HIGHLY CONCURRENT SYSTEMS;84
9.2.1;INTRODUCTION;84
9.2.2;GLOBAL APPROACH;84
9.2.3;CONCEPTS AND TECHNIQUES FOR THE OBSERVATION OF THE CONTROL PART: ABRIEF PANORAMA;85
9.2.4;THE SPY: AN INTEGRATED OBSERVER;86
9.2.5;ON THE IMPLEMENTATION OF THE SPY;87
9.2.6;COMENTS ON A PARTICULAR IMPLEMENTATION OF THE SPY;88
9.2.7;PERFORMANCE EVALUATION AND EXPERIENCE;89
9.2.8;REFERENCES;90
10;PART 5: ROUND TABLE DISCUSSIONS;92
10.1;FORMAL SPECIFICATION;92
10.2;PROGRAMMING LANGUAGES FOR REAL-TIME APPLICATIONS;94
11;AUTHOR INDEX;96