Software engineerng applied to discrete event simulations

ABSTRACT

Developing simulation programs shows many similarities with classical system software development tasks. In simulation one is often concerned with allocating and deallocating resources. Two forms of deadlock — the 'deadly embrace' and 'apré-vous' — can be troublesome to simulators unless they know how to avoid them in the first place. Critical races and time dependent functions are other characteristics shared between simulation and systems programming. If simulation is viewed and taught as data processing, the simulator will be ill-prepared for writing simulation code. Most simulations in industry are not written by skilled software developers. There is good reason for this: the simulation writer must ultimately understand the problem, its features and the managerial concerns that lead to the requirement for the simulation. However, simulation writers with no software training are poorly equipped for developing simulation code that is easy to design, debug, verify, maintain and explain. A number of simple modern software engineering techniques which are described in this paper can be applied to simulation programs in a practical way to improve both the quality of the simulation and the productivity of the simulator.

REFERENCES

• 1: AutoSimulations (1986) ~ Auto~Iod User Manual. AutoSimulations, Bount~iful.
• 2: Robert Balzer, A 15 year perspective on automatic programming, IEEE Transactions on Software Engineering, v.11 n.11, p.1257-1268, Nov. 1985 [doi>10.1109/TSE.1985.231877]
• 3: Frederick P. Brooks, Jr., The Mythical Man-Month: Essays on Softw, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1978
• 4: CACI (1983). SIMS CRIPT I I_5 Programming Language. C.A.C.I., Los Angeles.
• 5: Chattergy, R. and Pooch, U.W. (April 1977) . Integrated design and verification of simulation programs. IEEE Co~.puter.
• 6: Clarke, L.A. (September 1976) . A system to generate test data and symbolically execute programs. IEEE Transactions on Software Engineering.
• 7: CMS Research (1985). MAST User Manual. CMS Re search, Oshkosh.
• 8: Jay W. Cohen , Anthony M. Fiore , Roger H. Larson, Structured modeling, Proceedings of the 14th conference on Winter Simulation, December 06-08, 1982, San Diego, California
• 9: Ole Johan Dahl, Structured Programming, Academic Press, Inc., Orlando, FL, 1972
• 10: Steven D. Duket, Implementation: a requirement for successful simulation, Proceedings of the 14th conference on Winter Simulation, December 06-08, 1982, San Diego, California
• 11: Endres, A. (June 1975). An analysis of errors and their causes in system programs. IEEE Transactions on Soft%~are Engineering, Vol. i, No. 2.
• 12: Freer~an, P. (1975). Software System Prin.- c_iples : A Survey. SclenceResearch Associates, Chicago.
• 13: A T Goldberg, Knowledge-based programming: a survey of program design and construction techniques, IEEE Transactions on Software Engineering, v.12 n.7, p.752-768, July 1986
• 14: Donald G. Golden, Software engineering considerations for the design of simulation languages, Simulation, v.45 n.4, p.169-178, Oct. 1985 [doi>10.1177/003754978504500403]
• 15: Gomaa, H. and Scott, D.B.H. (1981) . Prototyping as a tool in the specification of user requirements. Proceedings Winter Simulation Conference.
• 16: Per Brinch Hansen, Operating System Principles, Prentice Hall PTR, Upper Saddle River, NJ, 1973
• 17: I J Hayes, Specification directed module testing, IEEE Transactions on Software Engineering, v.12 n.1, p.124-133, Jan. 1986
• 18: John E. Hopcroft , Jeffrey D. Ullman, Introduction To Automata Theory, Languages, And Computation, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1990
• 19: M. A. Jackson, Principles of Program Design, Academic Press, Inc., Orlando, FL, 1975
• 20: Brian W. Kernighan , P. J. Plauger, The Elements of Programming Style, McGraw-Hill, Inc., New York, NY, 1982
• 21: Donald E. Knuth, The Art of Computer Programming Volumes 1-3 Boxed Set, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1998
• 22: Miner, R.J. and Rolston, L.J. (1986) . ~IAP/I User's Manual, Version 3. 0. Pritsker & Associates, West LaFayette.
• 23: Glenford J. Myers, Composite Structure Design, John Wiley & Sons, Inc., New York, NY, 1978
• 24: 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
• 25: Pegden, C.D. (1985). Introduction to SIMIAN. Systems Modelling Corporation, State College.
• 26: A Alan B. Pritsker, Introduction to simulation and SLAM II (2nd ed.), Halsted Press, New York, NY, 1984
• 27: Kevin T. Ryan, Software engineering and simulation, Proceedings of the 11th conference on Winter simulation, p.477-482, December 03-05, 1979, San Diego, CA, United States
• 28: Thomas J. Schriber, Simulation Using GPSS, Krieger Publishing Co., Inc., Melbourne, FL, 1990
• 29: Alan C. Shaw, The Logical Design of Operating Systems, Prentice Hall PTR, Upper Saddle River, NJ, 1974
• 30: Sheppard, S. (January 1983). Applying software engineering to simulation. Simulation.
• 31: Sylvia B. Sheppard , Elizabeth Kruesi , Bill Curtis, The effects of symbology and spatial arrangement on the comprehension of software specifications, Proceedings of the 5th international conference on Software engineering, p.207-214, March 09-12, 1981, San Diego, California, United States
• 32: G. M. Weinberg, The psychology of computer programming, Van Nostrand Reinhold Co., New York, NY, 1988
• 33: Wolverton, R.W. (June 1974). The cost of developing large-scale software. IEEE Transactions on Computers.
• 34: Stephen S. Yau , Jeffery J.-P. Tsai, A survey of software design techniques, IEEE Transactions on Software Engineering, v.12 n.6, p.713-721, June 1986
• 35: Yourdon, E. and Constantine, L.L. (1979). Structured Design. Prentice-Hall, Englewood cii~f fs.
• 36: Marvin V. Zelkowitz , Alan C. Shaw , John D. Gannon, Principles of Software Engineering and Design, Prentice Hall Professional Technical Reference, 1979

INDEX TERMS

Primary Classification:
  K. Computing Milieux
  K.6 MANAGEMENT OF COMPUTING AND INFORMATION SYSTEMS

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING

  I. Computing Methodologies
  I.6 SIMULATION AND MODELING
      I.6.8 Types of Simulation
          Subjects: Discrete event

General Terms:
Design, Performance, Theory, Verification