Ten years ago, MITRE/CAASD built a realtime, Human-In-The-Loop (HITL) research laboratory. The focus of this lab is integration and human factors research for the air traffic control and aviation communities. The last...
ISBN:
(纸本)0769516084
Ten years ago, MITRE/CAASD built a realtime, Human-In-The-Loop (HITL) research laboratory. The focus of this lab is integration and human factors research for the air traffic control and aviation communities. The last ten years have been illuminating in terms of the evolution of laboratory capabilities, infrastructure, and corporate culture. This paper will describe the laboratory environment, its history and vision, and will also provide some examples of how distributedsimulation technology has been applied, and continues to evolve, in a real-world HITL simulation environment serving a broad range of research needs.
SystemC is a system-level modeling language and simulation framework which facilitates design and verification of processor designs at different levels. Recently, SystemC is becoming a popular choice for designers of ...
详细信息
ISBN:
(纸本)9780769537139
SystemC is a system-level modeling language and simulation framework which facilitates design and verification of processor designs at different levels. Recently, SystemC is becoming a popular choice for designers of both System-On-Chip (SoC) and embedded processors, clue to its adaptability at cycle as well as transaction levels, and ability to model concurrent processes. However, the single threaded simulation kernel inherent to SystemC, prevents it froth utilizing the potential computing power of symmetric multiprocessing (SMP) machines to speed up hardware simulation. We present a parallel SystemC simulation kernel, which is implemented using parallel programming techniques and leverages the parallel execution capabilities of multi-core machines to speed up hardware simulation. We discuss the mechanism we use for mapping parallel SystemC modules into different cores. Finally we report the performance of the parallelized SystemC kernel using a linear pipelined performance model and a pipelined performance model tailored to exhibit the behavior of real world simulation. Our results demonstrate that the performance improvement obtained by using parallelized SystemC for simulation of the above models is significant and improves with increasing design complexity of the simulated design and the number of cores in the machine running the simulators.
This paper introduces a technique to control the overhead of time management processes in order to make such mechanisms appropriate for real-time distributedsimulation. A novel message accounting scheme, the offset-e...
详细信息
ISBN:
(纸本)0769519709
This paper introduces a technique to control the overhead of time management processes in order to make such mechanisms appropriate for real-time distributedsimulation. A novel message accounting scheme, the offset-epoch method, is presented as a way to increase the efficiency of time management algorithms by eliminating transient messages. A synchronized lower-bound on timestamp (LBTS) computation exploits this efficiency to reduce time management overheads. This approach represents one step in bridging the gap that now exists between analytic and real-time distributedsimulations.
Time-parallelsimulation defines a methodology that can be applied to certain specific simulation problems. In this paper, we present a time-parallel approach for trace-driven simulation of the CSMA/CD protocol. The &...
详细信息
ISBN:
(纸本)0769519709
Time-parallelsimulation defines a methodology that can be applied to certain specific simulation problems. In this paper, we present a time-parallel approach for trace-driven simulation of the CSMA/CD protocol. The "memoryless" property of the physical system under moderate traffic loads allows for efficient time-parallelsimulation. We also present two optimization techniques: the estimation of idle points and the incremental fix-up computation. The former can improve the probability that a subtrace begins with a known initial system state. The latter can speedup the fix-up computation that is required when the estimation of the initial state is incorrect.
The use of Web caches makes it possible to offer a service of better quality to Internet users. Due to the difficulty in obtaining a real network of caches to experience with, most research projects use Web caches sim...
详细信息
ISBN:
(纸本)0769513484
The use of Web caches makes it possible to offer a service of better quality to Internet users. Due to the difficulty in obtaining a real network of caches to experience with, most research projects use Web caches simulators. This paper presents a Web cache simulator capable of executing simulations of distributed and cooperative Web caches servers. ne simulator allows the measurement of the impact of configuration parameters in the cache performance, making possible to design better cooperative cache networks. To show an example of the simulator use, simulations based in the Brazilian National Research Network - RNP are presented.
This paper advocates the use of a formal framework for analyzing simulation performance. simulation performance is characterized based on the three simulation development process boundaries: physical system, simulatio...
详细信息
ISBN:
(纸本)0769521118
This paper advocates the use of a formal framework for analyzing simulation performance. simulation performance is characterized based on the three simulation development process boundaries: physical system, simulation model, and simulator implementation. Firstly, we formalize simulation event ordering using partially ordered set theory. A simulator implements a simulation event ordering, and incurs implementation overheads when enforcing event ordering at runtime. Secondly, we apply our formalism to extract and formalize the simulation event orderings of both sequential and parallelsimulations. Thirdly, we propose the relation stricter and a measure called strictness for comparing and quantifying the degree of event dependency of simulation event orderings respectively.
In a distributed memory environment the communication overhead of Time Warp is the dominating performance factor. In order to limit the optimism to the extent that can be justified from the inherent model parallelism,...
详细信息
In a distributed memory environment the communication overhead of Time Warp is the dominating performance factor. In order to limit the optimism to the extent that can be justified from the inherent model parallelism, an optimism control mechanism is proposed. After investigating statistical forecast methods, it is shown that arrival processes in the context of Time Warp simulations of timed Petri nets have certain predictable and consistent ARIMA characteristics.
The proceedings contain 30 papers from the workshop on Principles of Advanced and distributedsimulation, PADS 2005. The topics discussed include: modeling and simulating the brain as a system;towards time-parallel ro...
详细信息
The proceedings contain 30 papers from the workshop on Principles of Advanced and distributedsimulation, PADS 2005. The topics discussed include: modeling and simulating the brain as a system;towards time-parallel road traffic simulation;parallel event-driven neural network simulations using the Hodgkin-Huxley Neuron model;optimistic protocol analysis in a performance analyzer and prediction tool;distributed worm simulation with a realistic internet model;mobile contagion: simulation of infection and defense;efficient simulation of Wireless Networks Using Lazy MAC state update;the WarpIV simulation kernel;preliminary simulation of the effect of scanning worm activity on multicast;and merging parallelsimulation programs.
暂无评论