Designing large real-time systems with Ada

ABSTRACT

The programming language Ada encourages improved methods for the design of real-time systems.

REFERENCES

• 1: S. T. Allworth , R. N. Zobel, Introduction to real-time software design (2nd ed.), Springer-Verlag New York, Inc., New York, NY, 1987
• 2: Grady Booch, Software engineering with Ada, Benjamin-Cummings Publishing Co., Inc., Redwood City, CA, 1983
• 3: Bohr. R.J.A. System Design wifh Ada. Prentice-Hall, Englewood Cliffs, N.J., 1984.
• 4: A. Burns , G. Davies, Concurrent programming, Addison Wesley Longman Publishing Co., Inc., Redwood City, CA, 1993
• 5: Cherry. G.W., and Crawford, B.S. The PAMELA Methodology. Thought**Tools. Reston, Va.. Nov. 1985.
• 6: Edsger W. Dijkstra, The structure of the “THE”-multiprogramming system, Communications of the ACM, v.11 n.5, p.341-346, May 1968 [doi>10.1145/363095.363143]
• 7: H. Gomaa, A software design method for real-time systems, Communications of the ACM, v.27 n.9, p.938-949, Sept. 1984 [doi>10.1145/358234.358262]
• 8: L. J. Groves , W. J. Rogers, The design of a virtual machine for Ada, Proceedings of the ACM-SIGPLAN symposium on The ADA programming language, p.223-234, January 1980 [doi>10.1145/800004.807953]
• 9: Charles Hammons , Paul Dobbs, Coupling, cohesion, and package unity in Ada, ACM SIGAda Ada Letters, v.IV n.6, p.49-59, May-June 1985 [doi>10.1145/998421.998426]
• 10: M. A. Jackson, Principles of Program Design, Academic Press, Inc., Orlando, FL, 1975
• 11: Lee MacLaren, Evolving toward Ada in real time systems, Proceedings of the ACM-SIGPLAN symposium on The ADA programming language, p.146-155, January 1980 [doi>10.1145/800004.807945]
• 12: K W Nielsen, Task coupling and cohesion in Ada, ACM SIGAda Ada Letters, v.VI n.4, p.44-52, July, Aug. 1986 [doi>10.1145/9312.9314]
• 13: Meilir Page-Jones, The practical guide to structured systems design: 2nd edition, Yourdon Press, Upper Saddle River, NJ, 1988
• 14: D. L. Parnas, On the criteria to be used in decomposing systems into modules, Communications of the ACM, v.15 n.12, p.1053-1058, Dec. 1972 [doi>10.1145/361598.361623]
• 15: Ian C. Pyle, ADA Programming Language, Prentice Hall PTR, Upper Saddle River, NJ, 1981
• 16: United States Department of Defense. Reference manual for the Ada programming language. ANSI/MIL-STD-1815A.1983. United States Department of Defense, Washington, D.C., Jan. 1983.
• 17: Paul T. Ward , Stephen J. Mellor, Structured Development for Real-Time Systems, Prentice Hall Professional Technical Reference, 1991
• 18: Stephen J. Young, Real time languages: design and development, Halsted Press, New York, NY, 2000
• 19: Stephen J. Young, Introduction to ADA, Horwood, Ellis Limited, 1983
• 20: Yourdon, E.. and Constantine. L.L. Structured Design. Prentice-Hall, Englewood Cliffs, N.J.. 1979.

INDEX TERMS

Classification:
  C. Computer Systems Organization
  C.3 SPECIAL-PURPOSE AND APPLICATION-BASED SYSTEMS
      Subjects: Real-time and embedded systems

  D. Software
  D.1 PROGRAMMING TECHNIQUES
  D.2 SOFTWARE ENGINEERING
        D.2.10 Design**
            Subjects: Methodologies**
      D.2.2 Design Tools and Techniques
          Subjects: Modules and interfaces
  D.3 PROGRAMMING LANGUAGES
      D.3.2 Language Classifications
          Subjects: Design languages
      D.3.3 Language Constructs and Features
          Subjects: Modules, packages; Concurrent programming structures

General Terms:
Design, Documentation, Languages