SAM—a computer aided design tool for specifying and analyzing modular, heirarchical systems

ABSTRACT

This paper presents SAM, a computer aided design tool for specifying and analyzing modular, hierarchical systems. SAM is based on Discrete Event System Specification (DEVS) and it uses generic components for specifying coupling relationships among components. The objectives of this design tool are to provide an environment for a user to specify and design systems with ease, and to allow the reuse of previously specified models to build new ones. The later promulgates increased productivity and the applicability of modular approach in the development of complex systems. Furthermore, the design tool analyses a specified system for interface errors which facilitates early testing of the specification before the model is translated into a simulator. The paper discusses how the objectives of SAM are achieved and what are the implementation issues involved. It is envisioned that the specification produced by SAM will be used to map the model onto a network of processors for distributed simulation.

REFERENCES

• 1: K. M. Chandy , J. Misra, Asynchronous distributed simulation via a sequence of parallel computations, Communications of the ACM, v.24 n.4, p.198-206, April 1981 [doi>10.1145/358598.358613]
• 2: Arturo I. Concepcion, The implementation of the hierarchical abstract simulator on the HEP computer, Proceedings of the 17th conference on Winter simulation, p.428-434, December 11-13, 1985, San Francisco, California, United States [doi>10.1145/21850.253422]
• 3: Concepcion, A. I. and Zeigler, B. P., "Distributed Modelling and Simulation: A Review", Tech. Rep. MSU-ENGR- 85-027, Dept. of Computer Sclence, Michigan State University, E. Lansing, MI.
• 4: Concepcion, A. I., "DEVS Formalism: A Framework for Hierarchical Model Development", Tech. Rep. MSU- ENGR-85-O$8, Dept. of Computer Science, Michigan State University, E. Lansing, MI.
• 5: Davis, C. and Vick, C., "The Software Development System", IEEE Transactions on Software Engineering, Vol. SE-3, No. 1, Jan 1977, pp. 69-84.
• 6: G Estrin , R S Fenchel , R R Razouk , M K Vernon, SARA (system architects apprentice): modeling, analysis, and simulation support for design of concurrent systems, IEEE Transactions on Software Engineering, v.12 n.2, p.293-311, Feb. 1986
• 7: A Joseph Goguen, Reusing and interconnecting software components, Computer, v.19 n.2, p.16-27, Feb. 1986 [doi>10.1109/MC.1986.1663146]
• 8: Hamilton, M. aud Ze{din, S., "Higher Order Software- A Methodology for Defining Software", IEEE Transactions on Software Engineering, Vol. 8FI-2, No. 1, Mar 1976, pp. 9-32.
• 9: Jefferson, D. et. al., "Implementation of the Time Warp on the Caltech Hypercube', In Proceedings of the Conference on Distrib.~ted Simulation, San Diego, CA, Jan 1985, pp. 70-81.
• 10: Myron Melman , Miron Livny, The DISS methodology of distributed system simulation, Simulation, v.42 n.4, p.163-176, April 1984 [doi>10.1177/003754978404200404]
• 11: Mimno, P., "A New Technology for Mathematically Provable Software", Computer World, Oct 1082.
• 12: C Michael Overstreet , Richard E. Nance, A specification language to assist in analysis of discrete event simulation models, Communications of the ACM, v.28 n.2, p.190-201, Feb. 1985 [doi>10.1145/2786.2792]
• 13: Lisa A. Pegden , Trevor I. Miles , Gustavo A. Diaz, Graphical interpretation of output illustrated by a SIMAN manufacturing system simulation, Proceedings of the 17th conference on Winter simulation, p.244-251, December 11-13, 1985, San Francisco, California, United States [doi>10.1145/21850.253161]
• 14: F J Polster, Reuse of software through generation of partial systems, IEEE Transactions on Software Engineering, v.12 n.3, p.402-416, March 1986
• 15: Pritsker, A. A. and Pegden, C. D., "Introduction to Simulation and SLAM", Halsted Press Book, New Yock, 1079.
• 16: Paul F. Reynolds, Jr., Active logical processes and distributed simulation: An analysis, Proceedings of the 15th conference on Winter simulation, p.263-266, December 12-14, 1983, Arlington, Virginia, United States
• 17: J. B. Sinclair , K. A. Doshi , S. Madala, Computer performance evaluation with GIST: a tool for specifying extended queueing network models, Proceedings of the 17th conference on Winter simulation, p.290-299, December 11-13, 1985, San Francisco, California, United States [doi>10.1145/21850.253329]
• 18: Stankovic, J. A., "A Perspective on Distributed Computer Systems", IEEE Transactions on Computers, Vol. C-33, No. 12, Dec 1984, pp. 1102-1115.
• 19: Teichroen, D. and Hershey, E., "PSL/PSA: A Computer Aided Technique for Structured Documentation and Analysis of Information Processing Systems", IEEE Transactions on Software Engineering, Vol. SE-3, No. 1, Jan 1977, pp. ~1-48.
• 20: Bernard P. Zeigler, Multifacetted modelling and discrete event simulation, Academic Press Professional, Inc., San Diego, CA, 1984
• 21: Zeigler, B. P., "Discrete Event Formalism for Model Based Distributed Simulation", In Proceedings of Conference on Distributed Simulation, San Diego, CA, Jan 1985, pp. 3-7.

INDEX TERMS

Primary Classification:
  I. Computing Methodologies
  I.6 SIMULATION AND MODELING

Additional Classification:
  I. Computing Methodologies
  I.6 SIMULATION AND MODELING

  J. Computer Applications

General Terms:
Design, Performance, Theory