A taxonomy for distributed object-oriented real-time systems

ABSTRACT

This paper gives a taxonomy for the evaluation of object-oriented design methods and implementation languages for the construction of distributed real-time systems. This taxonomy is aimed at answering the following main questions: (1) how well do current approaches support the design of non-functional system features like concurrency and the specification of allocation, timing and fault tolerance constraints and (2) how can we discern essential properties of such methods and languages in order to point out the strengths and weaknesses of contemporary approaches.

REFERENCES

• 1: [1] "Ada 95 Reference Manual", International Standard ANSI/ISO/IEC-8652:1995, January 1995.
• 2: Denis Caromel, Toward a method of object-oriented concurrent programming, Communications of the ACM, v.36 n.9, p.90-102, Sept. 1993 [doi>10.1145/162685.162711]
• 3: Dieter K. Hammer , Erik J. Luit , Onno S. Van Roosmalen , Peter D. V. Van der Stok , Jack P. C. Verhoosel, Dedos: A Distributed Real-Time Environment, IEEE Parallel & Distributed Technology: Systems & Technology, v.2 n.4, p.32-47, December 1994 [doi>10.1109/88.345962]
• 4: [4] D.K. Hammer, L.R. Welch and O.S. van Roosmalen, "Distributed Object-Oriented Real-Time Systems: A Survey of Design and Implementation Methods", to be submitted to IEEE Journal of Parallel & Distributed Technology.
• 5: Dieter K. Hammer , Onno S. Van Roosmalen , Lonnie R. Welch, Classifying Object-Oriented Real-time Systems: Ada 95 and Deal, Proceedings of the IEEE Symposium and Workshop on Engineering of Computer Based Systems, p.324, March 11-15, 1996
• 6: Bjarne Stroustrup, The C++ programming language (2nd ed.), Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1991
• 7: Lonnie R. Welch, A Parallel Virtual Machine for Programs Composed of Abstract Data Types, IEEE Transactions on Computers, v.43 n.11, p.1249-1261, November 1994 [doi>10.1109/12.324558]
• 8: [8] L.R. Welch, M. Lankala, W. Farr and D.K. Hammer, L.R. Welch, M. Lankala, W. Farr, and D.K. Hammer, "Metrics for Quality and Concurrency in Object-Based Systems," Annals of Software Engineering, 2, 1996 (in press).

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING

Additional Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.3 Language Constructs and Features
          Subjects: Concurrent programming structures
  D.4 OPERATING SYSTEMS
      D.4.5 Reliability
          Subjects: Verification

General Terms:
Management, Theory, Verification