Advertisement

Real-Time Programming Languages

  • Wolfgang A. Halang
  • Karlotto Mangold
Part of the The Springer International Series in Engineering and Computer Science book series (SECS, volume 167)

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 Reconfiguration 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [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. [2]
    “Ada Reference Manual” (July 1980). In: K Ledgard: Ada-An Introduction. New York-Heidelberg-Berlin: Springer-Verlag 1981Google Scholar
  3. [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. [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. [5]
    T. Baker: “Implementing Timing Guarantees in Ada”. Proc. 4th IEEE Workshop on Real-Time Operating Systems, Cambridge, MA, July 1987Google Scholar
  6. [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. [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. [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. [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. [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. [11]
    D.L. Clutterbuck and B.A. Carre: “The verification of low-level code”. IEE Software Engineering Journal, 97–111, May 1988Google Scholar
  12. [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. [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. [14]
    DIN 44300: Informationsverarbeitung. October 1985Google Scholar
  15. [15]
    DIN 66253: Programmiersprache PEARL, Teil 1 Basic PEARL, Vornorm, Juli 1981; Teil 2 Full PEARL, Norm, Oktober 1982Google Scholar
  16. [16]
    DIN 66253 Teil 3: Programmiersprache PEARL-Mehrrechner-PEARL (PEARL for distributed systems). Berlin: Beuth-Verlag 1989Google Scholar
  17. [17]
    W. Ehrenberger: “Softwarezuverlassigkeit und Programmiersprache”. Regelungstechnische Praxis 25,1, 24–29, 1983Google Scholar
  18. [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. [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. [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. [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. [22]
    A. Fleischmann, E. Holleczek, G. Klebes and R. Kummer: “Synchronisation und Kommunikation verteilter Automatisierungsprogramme”. Angewandte Informatik 7, 1983, 290–297Google Scholar
  23. [23]
    A. Ghassemi: “Untersuchung der Eignung der Prozessprogrammier-sprache PEARL zur Automatisierung von Folgeprozessen”. PhD Thesis. Universitat Stuttgart 1978Google Scholar
  24. [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. [25]
    W.A. Halang: “On Methods for Direct Memory Access Without Cycle Stealing”. Microprocessing and Microprogramming 17,5, May 1986Google Scholar
  26. [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. [27]
    R. Henn: “Deterministische Modelle fuer die Prozessorzuteilung in einer harten Realzeit-Umgebung”. PhD Thesis. Technical University Munich 1975Google Scholar
  28. [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. [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. [30]
    R. Henn: “Antwortzeitgesteuerte Prozessorzuteilung unter strengen Zeitbedingungen”. Computing 19, 209–220, 1978MATHCrossRefGoogle Scholar
  31. [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. [32]
    IEC Standard 880: “Software for computers in the safety systems of nuclear power stations”. Geneva 1986Google Scholar
  33. [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. [34]
    A. Kappatsch: “Full PEARL Language Description”. PDV-Bericht KFK-PDV 130. GfK Karlsruhe 1977Google Scholar
  35. [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. [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. [37]
    R. Lauber: “Prozessautomatisierung I”. Berlin-Heidelberg-New York: Springer-Verlag 1989Google Scholar
  38. [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. [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. [40]
    C.L. Liu, J.W. Layland: “Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment”. JACM 20, 46–61, 1973MATHCrossRefGoogle Scholar
  41. [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. [42]
    LTR Reference Manual. “Compagnie d’informatique militaire, spatiale et aeronautique”, Velizy, October 1979Google Scholar
  43. [43]
    L. MacLaren: “Evolving Toward Ada in Real Time Systems”. ACM SIGPLAN Notices 15,11, 146–155, November 1980CrossRefGoogle Scholar
  44. [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. [45]
    “Malpas” (Malvern Program Analysis Suite). Rex, Thompson & Partners Ltd., Farnham, EnglandGoogle Scholar
  46. [46]
    P.M. Newbold et al.: “HAL/S Language Specification”. Intermetrics Inc., Report No. IR-61-5, November 1974Google Scholar
  47. [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. [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. [49]
    R. Roessler: “Betriebssystemstrategien zur Bewältigung von Zeitproblemen in der Prozessautomatisierung”. PhD Thesis. Universitat Stuttgart 1979Google Scholar
  50. [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. [51]
    P. Sorenson: “A Methodology for Real-Time System Development”. Ph.D. Thesis, Department of Computer Science, University of Toronto, 1974Google Scholar
  52. [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. [53]
    A. Stoyenko: “Real-Time Systems: Scheduling and Structure”. M.Sc. Thesis, Department of Computer Science, University of Toronto, 1984Google Scholar
  54. [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. [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. [56]
    S. Ward: “An Approach to Real Time Computation”. Proc. Texas Conf. on Computing Systems, November 1978Google Scholar
  57. [57]
    N. Wirth: “Programming in Modula-2”. Berlin-Heidelberg-New York: Springer-Verlag 1982MATHGoogle Scholar

Copyright information

© Kluwer Academic Publishers 1992

Authors and Affiliations

  • Wolfgang A. Halang
    • 1
  • Karlotto Mangold
    • 2
  1. 1.Department of Computing ScienceRijksuniversiteit te GroningenAV GroningenThe Netherlands
  2. 2.ATM Computer GmbHKonstanzGermany

Personalised recommendations