Olympus: an interactive simulation system

In this paper, we describe the Olympus Modeling System, a prototype modeling and simulation system we have built to interpret formal models of computation. Olympus employs a graphical, interactive user interface that enables one to control the system as it interprets a model. The system supports animation and simulation; animation is used to observe qualitative behavior of a model and simulation is used to obtain quantitative information about the model's behavior. The system supports multiple simultaneous users with fine-grained interaction between the users and the system.

[1]  J. C. Browne,et al.  Graphical programming for simulation of computer systems , 1985, ANSS '85.

[2]  Brian Beckman,et al.  Time warp operating system , 1987, SOSP '87.

[3]  Phil Hontalas,et al.  Distributed Simulation and the Time Wrap Operating System. , 1987, SOSP 1987.

[4]  Gary James Nutt,et al.  The formulation and application of evaluation nets , 1972 .

[5]  Robert J. T. Morris,et al.  Visual Simulation: The Performance Analysis Workstation , 1985, Computer.

[6]  Gary J. Nutt,et al.  Macro E-Nets for Representation of Parallel Systems , 1973, IEEE Transactions on Computers.

[7]  Kathleen M. Nichols,et al.  Modeling multicomputer systems with PARET , 1988, Computer.

[8]  Sorin lacobovici,et al.  VLSI And System Performance Modeling , 1987, IEEE Micro.

[9]  Gary J Nutt.  A Formal Model for Interactive Simulation Systems ; CU-CS-410-88 , 1988 .

[10]  Greg C. Marr,et al.  System iconic modeling facility , 1986, WSC '86.

[11]  M. C. Moser.  Understanding Complex Software Systems Using GADD: A Tool for Graphical Animated Design and Debugging , 1987, HCI.

[12]  Gerald Estrin,et al.  A methodology for the design of digital systems-Supported by SARA at the age of one , 1899, AFIPS National Computer Conference.

[13]  Gary J. Nutt,et al.  Quinault: An Office Modeling System , 1981, Computer.

[14]  Gerald Estrin,et al.  Evaluation methods in SARA—the graph model simulator , 1979, SIGMETRICS '79.

[15]  Jayadev Misra,et al.  Distributed discrete-event simulation , 1986, CSUR.