On synchronization in hard-real-time systems

ABSTRACT

The design of software for hard-real-time systems is usually difficult to change because of the constraints imposed by the need to meet absolute real-time deadlines on processors with limited capacity. Nevertheless, a new approach involving a trio of ideas appears to be helpful for those who build software for such complex applications.

REFERENCES

• 1: Ada Joint Program Office. Ada programming language. ANSI/MIL- STD-1815A, U.S. Dept. of Defense, Washington, D.C., Jan. 1983.
• 2: Belpaire, G., and Wilmotte, J.P. A semantic approach to the theory of parallel processes. In Proceedings of the 1973 European ACM Symposium (Dares, Switzerland). ACM, New York, 1973, pp. 159-164.
• 3: Per Brinch Hansen, Operating System Principles, Prentice Hall PTR, Upper Saddle River, NJ, 1973
• 4: Per Brinch Hansen, Distributed processes: a concurrent programming concept, Communications of the ACM, v.21 n.11, p.934-941, Nov. 1978 [doi>10.1145/359642.359651]
• 5: Britton (nee Heninger), K., and Parnas, D. A-7E software module guide. Memo. Rep. 4702, Naval Research Laboratory, Washington, D.C., Dec. 1981.
• 6: Kathryn Heninger Britton , R. Alan Parker , David L. Parnas, A procedure for designing abstract interfaces for device interface modules, Proceedings of the 5th international conference on Software engineering, p.195-204, March 09-12, 1981, San Diego, California, United States
• 7: Britton (nee Heninger), K., Clements, P., Parnas, D., and Weiss, D. Interface specifications for the A-7E (SCR) extended computer module. Memo. Rep. 4843, Naval Research Laboratory, Washington, D.C., Jan. 6, 1983. (Updated version available as Memo. Rep. 5502, Naval Research Laboratory, Washington, D.C., Dec. 31, 1984.)
• 8: Clements, P. Interface specifications for the SCR (A-7E) function driver module. Memo. Rep. 4659, Naval Research Laboratory, Washington, D.C., Nov. 27, 1981.
• 9: Clements, P. Interface specifications for the SCR (A-7E) shared services module. Memo. Rep. 4863, Naval Research Laboratory, Washington, D.C., Sept. 8, 1982.
• 10: D L Parnas , P C Clements, A rational design process: How and why to fake it, IEEE Transactions on Software Engineering, v.12 n.2, p.251-257, Feb. 1986
• 11: Clements, P., Faulk, S., and Parnas, D. Interface specifications for the SCR (A-7E1 application data types module. Memo. Rep. 8734, Naval Research Laboratory, Washington, D.C., Aug. 23, 1983.
• 12: Dijkstra, E.W. Cooperating sequential processes. In Programming Languages, F. Genuys, Ed. Academic Press, New York, 1968, pp. 43-112.
• 13: 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]
• 14: Faulk, S. Pseudo-code language for the SCR (A-7E) operational flight program. Tech. Memo. 7590-261:SF, Naval Research Laboratory, Washington, D.C., Nov. 1980.
• 15: Heninger, K. Specifying software requirements for complex systems: New techniques and their application. IEEE Trans. Softw. Eng. SE-6, 1 (Jan. 1980), 2-13.
• 16: Heninger, K., Kallander, J., Parnas, D., and Shore, J. Software requirements for the A-7E aircraft. Memo. Rep. 3876, Naval Research Laboratory, Washington, D.C., Nov. 27, 1978.
• 17: Hester, S.D., Parnas, D.L., and Utter, D.F. Using documentation as a software design medium. Belt Syst. Tech. J. 60, 8 (Oct. 1981), 1941-1977.
• 18: C. A. R. Hoare, Monitors: an operating system structuring concept, Communications of the ACM, v.17 n.10, p.549-557, Oct. 1974 [doi>10.1145/355620.361161]
• 19: C. A. R. Hoare, Communicating sequential processes, Communications of the ACM, v.21 n.8, p.666-677, Aug. 1978 [doi>10.1145/359576.359585]
• 20: Mok, A.K. The design of real-time programming systems based on process models. In Proceedings of the IEEE Real-Time Systems Symposium (Austin, Tex., Dec. 4-6}. IEEE Press, New York, 1984, pp. 5-17.
• 21: Mok, A.K., and Detouzos, M.L. Multiprocessor scheduling in a hard real-time environment. In Proceedings of the 7th IEEE Texas Conference on Computing Systems (Houston, Tex., Oct, 30-Nov. 1}. IEEE Press, New York, 1978, pp. 5-1-5-12.
• 22: Parker, A., Britton, K.H., Parnas, D.L., and Shore, J. Abstract interface specification for the A-7E device interface module. Memo. Rep. 4385, Naval Research Laboratory, Washington, D.C., Nov. 1980.
• 23: Parnas, D.L. On a "Buzzword": Hierarchical structure. In Proceedings of the IFIP Congress. North-Holland, Amsterdam, 1974.
• 24: Parnas, D.L. On the design and development of program families. IEEE Trans. Softw. Eng. SE-2, I (Mar. 1976), 1-9.
• 25: Parnas, D.L. A new approach to the structuring of avionics software. Tech. Memo. 5403-107, Naval Research Laboratory, Washington, D.C., Mar. 29, 1977.
• 26: Parnas, D.L., Clements, P., and Weiss, D. The modular structure of complex systems. IEEE Trans. Softw. Eng. SE-11, 3 (Mar. 1985), 259-266.
• 27: David P. Reed , Rajendra K. Kanodia, Synchronization with eventcounts and sequencers, Communications of the ACM, v.22 n.2, p.115-123, Feb. 1979 [doi>10.1145/359060.359076]
• 28: Dennis M. Ritchie , Ken Thompson, The UNIX time-sharing system, Communications of the ACM, v.17 n.7, p.365-375, July 1974 [doi>10.1145/361011.361061]

INDEX TERMS

Primary Classification:
  D. Software
  D.1 PROGRAMMING TECHNIQUES

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
        D.2.10 Design**
            Subjects: Methodologies**
  D.3 PROGRAMMING LANGUAGES
      D.3.3 Language Constructs and Features
          Subjects: Concurrent programming structures
  D.4 OPERATING SYSTEMS
      D.4.7 Organization and Design
          Subjects: Real-time systems and embedded systems

General Terms:
Design