A metrics-driven approach for utilizing concurrency in object-oriented real-time systems

ABSTRACT

This paper presents a metrics-driven process and software toolset for the engineering of concurrent, object-oriented, real-time systems. In the engineering of real-time systems, the objective need not be to exploit all potential concurrency, but to exploit only as much concurrency as is needed to enable satisfaction of timing constraints. Thus, the systems engineering process presented in the paper utilizes inter-object concurrency selectively, as a means to meet timelines. To support the selective use of concurrency, this paper describes techniques for computing inter-object concurrency metrics. It is also shown how the concurrency metrics are used to guide the mapping of objects onto processors.

REFERENCES

• 1: [1] "Ada 95 Reference Manual," International Standard ANSI/ISO/IEC-8652:1995, January 1995.
• 2: S. H. Bokhari, Partitioning Problems in Parallel, Pipeline, and Distributed Computing, IEEE Transactions on Computers, v.37 n.1, p.48-57, January 1988 [doi>10.1109/12.75137]
• 3: F. Ercal , J. Ramanujan , P. Sadayappan, Task allocation onto a hypercube by recursive mincut bipartitioning, Journal of Parallel and Distributed Computing, v.10 n.1, p.35-44, Sep. 1990 [doi>10.1016/0743-7315(90)90004-9]
• 4: Rakesh Jha , Dennis T. Cornhill , J. Michael Kamrad, II, Ada Program Partitioning Language: A Notion for Distributing Ada Programs, IEEE Transactions on Software Engineering, v.15 n.3, p.271-280, March 1989 [doi>10.1109/32.21755]
• 5: V. M. Lo, Heuristic Algorithms for Task Assignment in Distributed Systems, IEEE Transactions on Computers, v.37 n.11, p.1384-1397, November 1988 [doi>10.1109/12.8704]
• 6: [6] The Rational Corporation, "Distributed Application Development System Guide," version 6.2.3, December 16, 1994.
• 7: [7] B. Ravindran, "Extracting parallelism at compile-time through dependence analysis and cloning techniques in an object-based paradigm," M.S. Thesis, New Jersey Institute of Technology, May 1994.
• 8: [8] H.S. Stone, "Multiprocessor scheduling with the aid of network flow algorithms," IEEE Transactions on Software Engineering, Vol. SE-3, No. 1, pp. 85-93, January 1977.
• 9: Minoru Uehara , Mario Tokoro, An adaptive load balancing method in the computational field model, ACM SIGPLAN OOPS Messenger, v.2 n.2, p.109-113, Apr. 1991
• 10: [10] J. P. C. Verhoosel, L. R. Welch, D. K. Hammer, A. D. Stoyenko, and E. J. Luit, "A Formal Deterministic Scheduling Model for Object-Based, Hard Real-Time Executions," Journal of Real-Time Systems, 8(1), January 1995.
• 11: Richard A. Volz , Trevor N. Mudge , Padmanabhan Krishnan , Gregory D. Buzzard, Translation and Execution of Distributed Ada Programs: Is It Still Ada?, IEEE Transactions on Software Engineering, v.15 n.3, p.281-292, March 1989 [doi>10.1109/32.21756]
• 12: R. A. Volz , R. Theriault , G. Smith , R. Waldrop, Distributed and parallel execution in Ada 83, Proceedings of the 3rd Workshop on Parallel and Distributed Real-Time Systems, p.52, April 25-25, 1995
• 13: L. R. Welch , B. Ravindran , J. Henriques , D. K. Hammer, Metrics and techniques for automatic partitioning and assignment of object-based concurrent programs, Proceedings of the 7th IEEE Symposium on Parallel and Distributeed Processing, p.440, October 25-28, 1995
• 14: Lonnie R. Welch , Antonio L. Samuel , Michael W. Masters , Robert D. Harrison , Mark Wilson , Joe Caruso, Reengineering computer-based systems for enhanced concurrency and layering, Journal of Systems and Software, v.30 n.1-2, p.45-70, July/Aug. 1995 [doi>10.1016/0164-1212(94)00116-5]
• 15: 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]
• 16: [16] 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).
• 17: [17] L. R. Welch, G. Yu, B. Ravindran, F. Kurfees, J. Henriques, M. Wilson, M. W. Masters and A. Samuel, "Reverse Engineering of Computer-Based Control Systems," International Journal of Software Engineering and Knowledge Engineering, 6(3), Sept. 1996.
• 18: [18] G. Yu and L. R. Welch, "A Novel Approach to Off-line Scheduling in Real-Time Systems," Informatica, Special Issue on Parallel and Distributed Real-Time Systems, Vol. 19, No. 1, pages 71-82, Feb. 1995.
• 19: [19] G. Yu, "Parallelism enhancement during off-line scheduling of object-based, real-time systems," PhD Thesis, New Jersey Institute of Technology, January 1996.

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING

  K. Computing Milieux
  K.6 MANAGEMENT OF COMPUTING AND INFORMATION SYSTEMS

General Terms:
Design, Theory