This Article 
 Bibliographic References 
 Add to: 
MIDAS: Integrated Design and Simulation of Distributed Systems
October 1991 (vol. 17 no. 10)
pp. 1042-1058

An approach called MIDAS is described that supports the design of distributed systems via iterative refinement of hybrid models. A hybrid model is a partially implemented design where some components exist as simulation models and others as operational subsystems. It is an executable model and may be used to determine the stochastic performance characteristics of a partially elaborated design. MIDAS enhances the applicability of hybrid models in system design with its support for interrupts and its inclusion of distributed components in the partially implemented design. The authors describe how an existing simulation language may be extended to program hybrid models, and show how simulation algorithms may be adapted to execute hybrid models. A prototype MIDAS implementation is operational and was used to develop a set of applications. The experimental results of the exercise are also described.

[1] R. Bagrodia, K. M. Chandy, and J. Misra, "A message-based approach to discrete-event simulation,"IEEE Trans. Software Eng., vol. SE-13, pp. 654-665, June 1987.
[2] R. Bagrodia and W.-T. Liao, "Maisie user manual," Comput. Sci. Dept., UCLA, 1990.
[3] R. L. Bagrodia, "An environment for the design and performance analysis of distributed systems," Ph.D. thesis, Dept. Comput. Sci., Univ. Texas, Austin, May 1987.
[4] R. L. Bagrodia, "An integrated approach to the design and performance evaluation of distributed systems," inProc. 1st Int. Conf. on Syst. Integration(Morristown, NJ), Apr. 1990, pp. 662-671.
[5] R. L. Bagrodia and W.-T. Liao, "Parallel simulation of the sharks world problem," in1990 Winter Simulation Conf.(New Orleans, LA), Dec. 1990.
[6] R. L. Bagrodia and C.-C. Shen, "Integrated design, simulation and verification of real-time systems," inProc. 11th Int. Conf. on Distributed Comput. Syst.(Arlington, TX), May 1991, pp. 164-171.
[7] K. M. Chandy, J. Misra, R. Berry, and D. Neuse, "The use of performance models in systematic design," inAFIPS Conf. Proc., Fall Joint Comput. Conf., Nat. Comput. Conf., 1982, vol. 51, pp. 251-256.
[8] K. M. Chandy and R. Sherman, "Space-time and simulation," inProc. Distributed Simulation Conf. (Tampa, FL), Mar. 1989, pp. 53-57.
[9] F. Cristian, "Probabilistic clock synchronization,"Distributed Comput., vol. 3, pp. 146-158, 1989.
[10] G. Estrin, R. S. Fenchel, R. R. Razouk, and M. K. Vernon, "SARA (System ARchitects Apprentice): Modeling, analysis, and simulation support for design of concurrent systems,"IEEE Trans. Software Eng., vol. SE-12, no. 2, pp. 293-311, Feb. 1986.
[11] W. R. Franta,The Process View of Simulation, New York; Elsevier North-Holland, 1977.
[12] C. A. R. Hoare, "Communicating sequential processes,"Commun. ACM, vol. 21, pp. 666-677, 1978.
[13] D. Jefferson, "Virtual Time,"ACM Trans. Programming Languages, Vol. 7, No. 3, July 1985, pp. 404-425.
[14] A. Mink, R. Carpenter, G. Nacht, and J. Roberts, "Multiprocessor performance-measurement instrumentation,"IEEE Computer, pages 63-75, Sept. 1990.
[15] J. Misra, "Distributed discrete-event simulation,"Comput. Surveys, vol. 18, no. 1, Mar. 1986.
[16] D. Noal, "The design of an MTT radar subsystem using MIDAS," Master's thesis, Comput. Sci. Dept., UCLA, to be published.
[17] D. Parnas and J. A. Darringer, "SODAS and a methodology for system design," inAFIPS Conf. Proc., Fall Joint Comput. Conf., Washington, DC: Thompson, 1967, vol. 31, pp. 449-474.
[18] W. E. Riddle, "The modeling and analysis of supervisory systems," PhD thesis, Stanford Univ., Mar. 1972.
[19] G. C. Roman, "Specifying software/hardware interactions in distributed systems," inProc. Int. Conf. Software Eng., May 1987, pp. 126-139.
[20] J. Sanguinetti, "A technique for integrating simulation and system design," inConf. on Simulation, Measure, and Model. of Comput. Syst.(Boulder, CO), Aug. 1979.
[21] Reference Manual for the Ada Programming Language. Washington, DC: US Dept. of Defense, 1983.
[22] F. Zurcher and B. Randell, "Iterative, multi-level modeling--a methodology for computer system design," inProc. IFIP Congress'68, 1968, pp. 867-871.

Index Terms:
MIDAS; distributed systems; iterative refinement; hybrid models; partially implemented design; simulation models; operational subsystems; executable model; stochastic performance characteristics; partially elaborated design; system design; interrupts; distributed components; simulation language; simulation algorithms; distributed processing; interrupts; simulation languages; virtual machines
R.L. Bagrodia, C.-C. Shen, "MIDAS: Integrated Design and Simulation of Distributed Systems," IEEE Transactions on Software Engineering, vol. 17, no. 10, pp. 1042-1058, Oct. 1991, doi:10.1109/32.99192
Usage of this product signifies your acceptance of the Terms of Use.