Real-Time Systems

, Volume 1, Issue 1, pp 7–25

The cyclic executive model and Ada

  • T. P. Baker
  • Alan Shaw
Article

Abstract

Periodic processes are major parts of many real-time embedded computer applications. The programming language Ada permits programming simple periodic processes, but it has some serious limitations; producing Ada programs with real-time performance comparable to those produced to date using traditional cyclic executives requires resorting to techniques that are specific to one machine or compiler. We present and evaluate the cyclic executive model for controlling periodic processes. The features and limitations of Ada for programming cyclic executive software are discussed and demonstrated, and some practical techniques for circumventing Ada limitations are described.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Ada Run-time Environment Working Group. 1986.A Catalog of Interface Features and Options for the Ada Run-Time Environment. ACM SIGAda.Google Scholar
  2. Baker, T.P. 1987. A Low-Level Tasking Package for Ada.Proc. SIGAda Internat. Conf. on the Ada Programming Language.Google Scholar
  3. Baker, T.P., and K. Jeffay. 1987. Corset and Lace: Adapting Ada Run-Time Support to Real-Time Systems.Proc. IEEE Real-Time Systems Symposium, pp. 158–176.Google Scholar
  4. Baker, T.P., and G. Scallon, 1986. An Architecture for Real-Time Software Systems.IEEE Software (May): 50–58.Google Scholar
  5. CarlowG.D. 1984. Architecture of the Space Shuttle Primary Avionics Software System.Comm. ACM 27 (September): 926–936.CrossRefGoogle Scholar
  6. ClappR.M., L.Duchesneau, R.A.Volz, T.N.Mudge, and T.Schultze. 1986. Toward Real-Time Performance Benchamarks for Ada.Comm. ACM 29 (August): 760–778.CrossRefGoogle Scholar
  7. Dertouzos, M. 1984. Control Robotics: The Procedural Control of Physical Processes.Proc. IFIP Congress, pp. 807–813.Google Scholar
  8. Donner, M.D. 1984. Control of Walking: Local Control and Real-Time Systems. CMU-CS-84-121. Ph.D. Dissertation, Department of Computer Science, Carnegie-Mellon University, Pittsburgh, PA 15213.Google Scholar
  9. FaulkS.R., and D.L.Parnas. 1988. On Synchronization in Hard-Real-Time Systems.Comm. ACM 31 (March): 274–287.CrossRefGoogle Scholar
  10. GareyM., and D.Johnson. 1979.Computers and Intractability. Freeman, San Francisco.Google Scholar
  11. Hood, P., and V. Grover. 1986.Designing Real-Time Systems in Ada. SofTech Report 1123-1. Submitted to HQ, U.S. Army Communications and Electronics Command.Google Scholar
  12. KochD.M. and T.P.Baker. 1987.Verification of Cyclic Schedules for Hard-Real-Time Systems. Technical Report, Department of Computer Science, Florida State University, Tallahassee, FL 32304.Google Scholar
  13. LiuC.L. and J.W.Layland. 1973. Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment.JACM 20 (January): 46–61.CrossRefMathSciNetGoogle Scholar
  14. MacLaren, L. 1980. Evolving Toward Ada in Real-Time Systems.Proc. ACM-SIGPLAN Symposium on Ada, SIGPLAN Notices, 15.11, pp. 146–155.Google Scholar
  15. Military Standard Ada Programming Language. 1983. ANSI/MIL-STD-1815A. U.S. Department of Defense, Ada Joint Program Office.Google Scholar
  16. Mok, A.K.-L. 1983. Fundamental Design Problems of Distributed Systems for the Hard-Real-Time-Environment. Ph.D. Dissertation, M.I.T., Cambridge, MA 02139.Google Scholar
  17. Mok, A.K.-L., P. Amerasinghe, M. Chen, S. Sutanthavibul, and K. Tantisirivat. 1987. Synthesis of a Real-Time Message-Processing System with Data-Driven Timing Constraints.Proc. IEEE Real-Time Systems Symposium. pp. 133–143.Google Scholar
  18. Reference Manual for the Ada Programming Language. 1980. Proposed standard document, U.S. Department of Defense.Google Scholar
  19. Roubine, O. 1987. Oral remarks at International Workshop on Real-Time Ada Issues, Moreton-Hampstead, England.Google Scholar
  20. Shaw, A. 1986. Software Clocks, Concurrent Programming, and Slice-Based Scheduling.Proc. IEEE Real-Time Systems Symposium, pp. 14–18.Google Scholar
  21. Shaw, A. 1987. Reasoning about Time in Higher-Level Language Software. TR#87-08-05. Department of Computer Science, University of Washington. Accepted for publication inIEEE Trans. Software Engineering.Google Scholar
  22. ZhaoW., K.Ramamritham, and J.Stankovic. 1987.Scheduling Tasks with Resource Requirements in Hard-Real-Time Systems.IEEE Trans. Software Engineering, SE-13 (May): 564–576.Google Scholar

Copyright information

© Kluwer Academic Publishers 1989

Authors and Affiliations

  • T. P. Baker
    • 1
  • Alan Shaw
    • 2
  1. 1.Department of Computer ScienceFlorida State UniversityTallahasseeUSA
  2. 2.Department of Computer Science FR-35University of WashingtonSeattleUSA

Personalised recommendations