IEEE Transactions on Software Engineering · 1991 · 57 citations · 12 references
EngineeringComputer ScienceSystems EngineeringDistributed SystemsSystems ArchitectureSystems ModelingDistributed ComputingDistributed Systems DesignExecutable System ModelsHybrid SystemsModel ExecutionSystem SimulationDistributed Model ExecutionHybrid Performance ModelingHybrid SimulationHybrid Simulation ModelsIterative RefinementSimulation AlgorithmsSimulation-based Performance ModelingStochastic Simulation Algorithms
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.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
12
Communicating sequential processes
C. A. R. Hoare · Communications of the ACM · 1983 · 3.8K citations · Full text
Communicating sequential processes
C. A. R. Hoare · Communications of the ACM · 1978 · 3.5K citations · Full text
David Jefferson · ACM Transactions on Programming Languages and Systems · 1985 · 2.4K citations · Full text
Probabilistic clock synchronization
Flaviu Cristian · Distributed Computing · 1989 · 597 citations
The process view of simulation
H.G. Sol · European Journal of Operational Research · 1978 · 115 citations