ACM Transactions on Programming Languages and Systems (TOPLAS)
Distributed discrete-event simulation
ACM Computing Surveys (CSUR)
IEEE Transactions on Software Engineering
A Message-Based Approach to Discrete-Event Simulation
IEEE Transactions on Software Engineering
An environment for the design and performance analysis of distributed systems
An environment for the design and performance analysis of distributed systems
Specifying software/hardware interactions in distributed systems
ICSE '87 Proceedings of the 9th international conference on Software Engineering
An integrated approach to the design and performance evaluation of distributed systems
ISCI '90 Proceedings of the first international conference on systems integration on Systems integration '90
Parallel simulation of the Sharks World problem
WSC' 90 Proceedings of the 22nd conference on Winter simulation
Communicating sequential processes
Communications of the ACM
Reference Manual for the ADA Programming Language
Reference Manual for the ADA Programming Language
A technique for integrating simulation and system design
SIGMETRICS '79 Proceedings of the 1979 ACM SIGMETRICS conference on Simulation, measurement and modeling of computer systems
The modeling and analysis of supervisory systems
The modeling and analysis of supervisory systems
The process view of simulation (Operating and programming systems series)
The process view of simulation (Operating and programming systems series)
PORTS: a parallel, optimistic, real-time simulator
PADS '94 Proceedings of the eighth workshop on Parallel and distributed simulation
Q-Sim: a GUI for a queueing simulator using Tcl/Tk
ACM SIGSOFT Software Engineering Notes
Mobile wireless network system simulation
MobiCom '95 Proceedings of the 1st annual international conference on Mobile computing and networking
Analyzing partially-implemented real-time systems
ICSE '97 Proceedings of the 19th international conference on Software engineering
Parallel hybrid models in system design
WSC '93 Proceedings of the 25th conference on Winter simulation
A CORBA facility for network simulation
WSC '96 Proceedings of the 28th conference on Winter simulation
Analyzing Partially-Implemented Real-Time Systems
IEEE Transactions on Software Engineering
XSim: real-time analytic parallel simulations
Proceedings of the sixteenth workshop on Parallel and distributed simulation
Performance-related completions for software specifications
Proceedings of the 24th International Conference on Software Engineering
Software Performance Evaluation by Models
Performance Evaluation: Origins and Directions
Origins of Software Performance Engineering: Highlights and Outstanding Problems
Performance Engineering, State of the Art and Current Trends
Origins of Software Performance Engineering: Highlights and Outstanding Problems
Performance Engineering, State of the Art and Current Trends
DECALS: distributed experiment control and logging system
CASCON '95 Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research
Predictable Time Management for Real-Time Distributed Simulation
Proceedings of the seventeenth workshop on Parallel and distributed simulation
An Application-Oriented Approach for Distributed System Modeling and Simulation
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
The Future of Software Performance Engineering
FOSE '07 2007 Future of Software Engineering
Selection for wandering behavior in a small robot
Artificial Life
State dependence in performance evaluation of component-based software systems
Proceedings of the first joint WOSP/SIPEW international conference on Performance engineering
Introduction to software performance engineering: origins and outstanding problems
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
| Hi-index | 0.00 |
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.