Real-Time Systems Engineering and Applications pp 141-200 | Cite as
Real-Time Programming Languages
- 165 Downloads
Abstract
Longer than in other areas of data processing, assembly languages were prevailing for the formulation of real-time applications. The reason for this were the high prices for processors and memories enforcing optimal programming with respect to execution time and storage utilization. However, also for developing real-time systems, the demand for high-level languages grew. The most natural approach was to augment existing and proven languages oriented toward scientific and technical applications by real-time features. This resulted in a large number of vendor-specific real-time dialects of FORTRAN and later also of BASIC and a few other languages.
Keywords
Programmable Logic Controller Function Block Assembly Language International Electrotechnical Commission Dynamic ReconfigurationPreview
Unable to display preview. Download preview PDF.
References
- [1]“Preliminary Ada Reference Manual”, and: J.D. Ichbiah et al.: “Rationale for the Design of the Ada Programming Language”. ACM SIGPLAN Notices 14, 6 Parts A and B, June 1979Google Scholar
- [2]“Ada Reference Manual” (July 1980). In: K Ledgard: Ada-An Introduction. New York-Heidelberg-Berlin: Springer-Verlag 1981Google Scholar
- [3]“The Programming Language Ada Reference Manual”, American National Standards Institute, Inc., ANSI/ML-STD-1815A-1983. Lecture Notes in Computer Science 155, Berlin-Heidelberg-New York-Tokyo: Springer-Verlag 1983Google Scholar
- [4]U. Ammann: “Vergleich einiger Konzepte moderner Echtzeitsprachen”. 6. Fachtagung der GI Über Programmiersprachen und Programmentwicklung. Darmstadt 1980. pp. 1–18. Informatik-Fachberichte 25. Berlin-Heidelberg-New York: Springer-Verlag 1980Google Scholar
- [5]T. Baker: “Implementing Timing Guarantees in Ada”. Proc. 4th IEEE Workshop on Real-Time Operating Systems, Cambridge, MA, July 1987Google Scholar
- [6]R. Barnes: “A Working Definition Of The Proposed Extensions For PL/1 Real-Time Applications”. ACM SIGPLAN Notices 14,10, 77–99, October 1979Google Scholar
- [7]G. Berry, S. Moisan, J.-E Rigaulf “Esterel: Towards a Synchronous and Semantically Sound High Level Language for Real-Time Applications”. Proc. IEEE Real-Time Systems Symposium, December 1983Google Scholar
- [8]G. Berry: “Real Time Programming: Special Purpose or General Purpose Languages”. Proc. 11th IFIP World Computer Congress, San Francisco, 28 August–1 September 1989Google Scholar
- [9]S. Biyabani, J.A. Stankovic, K. Ramamritham: “The Integration of Deadline and Criticalness Requirements in Hard Real-Time Systems”. Proc. 5th IEEE/USENIX Workshop on Real-Time Software and Operating Systems, pp. 12–17. Washington, DC, 12–13 May 1988Google Scholar
- [10]J.Y. Chung, J.W.S. Liu, K.J. Lin: “Scheduling periodic jobs using imprecise results”. Technical Report No. UIUCDCS-R-87-1307, Department of Computer Science, University of Illinois, Urbana, IL, November 1987Google Scholar
- [11]D.L. Clutterbuck and B.A. Carre: “The verification of low-level code”. IEE Software Engineering Journal, 97–111, May 1988Google Scholar
- [12]B. Dasarathy: “Timing Constraints of Real-Time Systems: Constructs for Expressing Them, Methods of Validating Them”. IEEE Transaction on Software Engineering, Vol. 1,No.1, pp.80–86, January 1985CrossRefGoogle Scholar
- [13]N.W. Davis et al.: “Practical Experiences of Ada and Object Oriented Design in Real Time Distributed Systems”, pp. 59–79. In: A. Alvarez (Ed): Ada: the design choice. Proc. Ada-Europe International Conference. Madrid, 13–15 June 1989. Cambridge: Cambridge University Press 1989Google Scholar
- [14]DIN 44300: Informationsverarbeitung. October 1985Google Scholar
- [15]DIN 66253: Programmiersprache PEARL, Teil 1 Basic PEARL, Vornorm, Juli 1981; Teil 2 Full PEARL, Norm, Oktober 1982Google Scholar
- [16]DIN 66253 Teil 3: Programmiersprache PEARL-Mehrrechner-PEARL (PEARL for distributed systems). Berlin: Beuth-Verlag 1989Google Scholar
- [17]W. Ehrenberger: “Softwarezuverlassigkeit und Programmiersprache”. Regelungstechnische Praxis 25,1, 24–29, 1983Google Scholar
- [18]T. Elrad: Comprehensive Race Control: “A Versatile Scheduling Mechanism for Real-Time Applications”, pp. 129–136. In: A. Alvarez (Ed.): Ada: the design choice. Proc. Ada-Europe International Conference. Madrid, 13–15 June 1989. Cambridge: Cambridge University Press 1989Google Scholar
- [19]P. Elzer: “Ein Mechanismus zur Erstellung strukturierter Prozessautomatisierungsprogramme”. Proc. Fachtagung Prozessrechner 1977, Augsburg, March 1977. Informatik-Fachberichte 7, pp. 137–148. Berlin-Heidelberg-New York: Springer-Verlag 1977Google Scholar
- [20]P. Elzer: “Strukturierte Beschreibung von Prozess-Systemen”. PhD Thesis. Reports of the Institute for Mathematical Machines and Data Processing, University of Erlangen-Nuremberg, Vol. 12,No. 1, Erlan-gen, February 1979Google Scholar
- [21]P. Elzer: “Resource allocation by means of access rights, an alternative view on realtime programming”. Proc. 1980 IFAC-IFIP-Workshop on Realtime Programming, pp. 73ff. Oxford-New York: Pergamon Press 1980Google Scholar
- [22]A. Fleischmann, E. Holleczek, G. Klebes and R. Kummer: “Synchronisation und Kommunikation verteilter Automatisierungsprogramme”. Angewandte Informatik 7, 1983, 290–297Google Scholar
- [23]A. Ghassemi: “Untersuchung der Eignung der Prozessprogrammier-sprache PEARL zur Automatisierung von Folgeprozessen”. PhD Thesis. Universitat Stuttgart 1978Google Scholar
- [24]V Gligor, G. Luckenbaugh: “An Assessment of the Real-Time Requirements for Programming Environments and Languages”. Proc. IEEE Real-Time Systems Symposium, December 1983Google Scholar
- [25]W.A. Halang: “On Methods for Direct Memory Access Without Cycle Stealing”. Microprocessing and Microprogramming 17,5, May 1986Google Scholar
- [26]W.A. Halang: “Implications on Suitable Multiprocessor Structures and Virtual Storage Management when Applying a Feasible Scheduling Algorithm in Hard Real-Time Environments”. Software-Practice and Experience 16(8), 761–769, 1986Google Scholar
- [27]R. Henn: “Deterministische Modelle fuer die Prozessorzuteilung in einer harten Realzeit-Umgebung”. PhD Thesis. Technical University Munich 1975Google Scholar
- [28]R. Henn: “Zeitgerechte Prozessorzuteilung in einer harten Realzeit-Umgebung”. GI-6. Jahrestagung. pp. 343–359. Informatik-Fachberichte 5. Berlin-Heidelberg: Springer-Verlag 1976Google Scholar
- [29]R. Henn: “Ein antwortzeitgesteuertes Unterbrechungswerk-Auswirkungen auf Betriebssystem und Programmstruktur”. Proc. GMR-GI-GfK Fachtagung Prozessrechner 1977, Informatik-Fachberichte 7, pp. 345–356, Berlin-Heidelberg-New York: Springer-Verlag 1977Google Scholar
- [30]R. Henn: “Antwortzeitgesteuerte Prozessorzuteilung unter strengen Zeitbedingungen”. Computing 19, 209–220, 1978zbMATHCrossRefGoogle Scholar
- [31]R. Henn: “Feasible Processor Allocation in a Hard-Real-Time Environment”. The Journal of Real-Time Systems 1, 77–93 (1989)CrossRefGoogle Scholar
- [32]IEC Standard 880: “Software for computers in the safety systems of nuclear power stations”. Geneva 1986Google Scholar
- [33]International Electrotechnical Commission, Technical Committee 65: Industrial Process Measurement and Control, Subcommittee 65A: System Considerations, Working Group 6: Discontinuous Process Control, Working Draft “Standards for Programmable Controllers”, Part 3: Programming Languages, IEC 65A(Secretariat)90-I, December 1988Google Scholar
- [34]A. Kappatsch: “Full PEARL Language Description”. PDV-Bericht KFK-PDV 130. GfK Karlsruhe 1977Google Scholar
- [35]J. van Katwijk, H. Toetnel: “Language Extensions to Allow Rapid Mode Shifting in the Ada Programming Language”, pp. 26–36. In: A. Alvarez (Ed.): Ada: the design choice. Proc. Ada-Europe International Conference. Madrid, 13–15 June 1989. Cambridge: Cambridge University Press 1989Google Scholar
- [36]W. Kneis (Ed.): “Draft Standard on Industrial Real-Time FORTRAN”. International Purdue Workshop on Industrial Computer Systems. ACM SIGPLAN Notices 16,7, 45–60, 1981Google Scholar
- [37]R. Lauber: “Prozessautomatisierung I”. Berlin-Heidelberg-New York: Springer-Verlag 1989Google Scholar
- [38]K.J. Lin, S. Natarajan, J.W.S. Liu, T. Krauskopf: “Concord: a system of imprecise computations”. Proc. 1987 COMPSAC Conference, Tokyo, October 1987Google Scholar
- [39]K.J. Lin, S. Natarajan, J.W.S. Liu: “Imprecise results: utilizing partial computations in real-time systems”. Proc. IEEE Real-Time Systems Symposium, San Jose, CA, December 1987Google Scholar
- [40]C.L. Liu, J.W. Layland: “Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment”. JACM 20, 46–61, 1973zbMATHCrossRefGoogle Scholar
- [41]J.W.S. Liu, KJ. Lin, S. Natarajan: “Scheduling real-time, periodic jobs using imprecise results”. Proc. IEEE Real-Time Symposium, San Jose, CA, December 1987Google Scholar
- [42]LTR Reference Manual. “Compagnie d’informatique militaire, spatiale et aeronautique”, Velizy, October 1979Google Scholar
- [43]L. MacLaren: “Evolving Toward Ada in Real Time Systems”. ACM SIGPLAN Notices 15,11, 146–155, November 1980CrossRefGoogle Scholar
- [44]A. Di Maio et al.: “DRAGOON: An Ada-Based Object-Oriented Language for Concurrent, Real-Time, Distributed Systems”, pp. 39–48. In: A. Alvarez (Ed.): Ada: the design choice. Proc. Ada-Europe International Conference. Madrid, 13–15 June 1989. Cambridge: Cambridge University Press 1989Google Scholar
- [45]“Malpas” (Malvern Program Analysis Suite). Rex, Thompson & Partners Ltd., Farnham, EnglandGoogle Scholar
- [46]P.M. Newbold et al.: “HAL/S Language Specification”. Intermetrics Inc., Report No. IR-61-5, November 1974Google Scholar
- [47]R. Rajkumar, J.P. Lehoczky: “Task Synchronization in Real-Time Operating Systems”. Proc. 5th IEEE/USENIX Workshop on Real-Time Software and Operating Systems, pp. 18–22. Washington, D.C., 12–13 May 1988Google Scholar
- [48]R. Roessler, K. Schenk (Eds.): “A Comparison of the Properties of the Programming Languages ALGOL68, Camac-IML, Coral 66, PAS 1, PEARL, PL/1, Procol, RTL/2 in Relation to Real-Time Programming”. International Purdue Workshop on Industrial Computer Systems. Physics Institute of the University of Erlangen. Nuremberg 1975Google Scholar
- [49]R. Roessler: “Betriebssystemstrategien zur Bewältigung von Zeitproblemen in der Prozessautomatisierung”. PhD Thesis. Universitat Stuttgart 1979Google Scholar
- [50]A. Schwald, R. Baumann: “PEARL im Vergleich mit anderen Echtzeitsprachen”. Proc. “Aussprachetag PEARL”. PDV-Bericht KFK-PDV 110. GfK Karlsruhe, Marz 1977Google Scholar
- [51]P. Sorenson: “A Methodology for Real-Time System Development”. Ph.D. Thesis, Department of Computer Science, University of Toronto, 1974Google Scholar
- [52]K. Stieger: “PEARL 90. Die Weiterentwicklung von PEARL”. In: R. Henn, K. Stieger (Eds.): PEARL 89-Workshop über Realzeitsysteme. pp. 99–136, Berlin-Heidelberg: Springer-Verlag 1989Google Scholar
- [53]A. Stoyenko: “Real-Time Systems: Scheduling and Structure”. M.Sc. Thesis, Department of Computer Science, University of Toronto, 1984Google Scholar
- [54]A. Stoyenko, E. Kligerman: “Real-Time Euclid: A Language for Reliable Real-Time Systems”. IEEE Transactions on Software Engineering, Vol. 12,No. 9, pp. 941–949, September 1986Google Scholar
- [55]A. Stoyenko: “A Real-Time-Language With A Schedulability Analyzer”. Ph.D. Thesis, Department of Computer Science, University of Toronto, 1987, Tech. Report CSRI-206Google Scholar
- [56]S. Ward: “An Approach to Real Time Computation”. Proc. Texas Conf. on Computing Systems, November 1978Google Scholar
- [57]N. Wirth: “Programming in Modula-2”. Berlin-Heidelberg-New York: Springer-Verlag 1982zbMATHGoogle Scholar