Currently network uses, especially the number of internet users, increase rapidly. Also, high quality of service is required and this requirement results a sudden network traffic increment. As a result, an efficient m...
详细信息
DEVS/NS-2 is a new integrated network simulation tool that provides efficient high and low level network modeling capabilities. DEVS (Discrete Event System Specification) serves as a base framework to support well-def...
详细信息
DEVS/NS-2 is a new integrated network simulation tool that provides efficient high and low level network modeling capabilities. DEVS (Discrete Event System Specification) serves as a base framework to support well-defined mathematical formalism specification for structure and behavior of dynamic systems. The NS-2 is a discrete event network simulator, whose primary use is intended to build and run various detailed network models and protocols. The interoperable simulation of the two powerful modeling and simulation systems, DEVS and NS-2, allows to attain significant benefits in terms of reduction of the cost, increased high and low level networks modeling power, and enhanced reusability.
DEVS/NS-2 is a new integrated network simulation tool that provides efficient high and low level network modeling capabilities. DEVS (Discrete Event System Specification) serves as a base framework to support well-def...
详细信息
ISBN:
(纸本)1565553136
DEVS/NS-2 is a new integrated network simulation tool that provides efficient high and low level network modeling capabilities. DEVS (Discrete Event System Specification) serves as a base framework to support well-defined mathematical formalism specification for structure and behavior of dynamic systems. The NS-2 is a discrete event network simulator, whose primary use is intended to build and run various detailed network models and protocols. The interoperable simulation of the two powerful modeling and simulation systems, DEVS and NS-2, allows to attain significant benefits in terms of reduction of the cost, increased high and low level networks modeling power, and enhanced reusability.
Co-design modeling is considered key toward handling the complexity and scale of network systems. The ability to separately specify the software and hardware aspects of computer network systems offers new capabilities...
详细信息
ISBN:
(纸本)9781424413065
Co-design modeling is considered key toward handling the complexity and scale of network systems. The ability to separately specify the software and hardware aspects of computer network systems offers new capabilities beyond what is supported in modeling frameworks and tools such as NS-2 and OPNET. The DEVS/DOC simulation environment supports logical co-design specification based on the distributed object computing (DOC) abstract model. To overcome DEVS/DOC's lack of support for visual and persistent modeling, this paper presents SESM/DOC, a novel approach, which is based on the scaleable entity structure modeler (SESM), a component-based modeling framework. This approach supports logical, visual and persistent modeling. Modelers can develop software and hardware models separately and systematically integrate them to specify a family of computer network system designs. This paper details the SESM/DOC co-design modeling approach with the help of a search engine system example, and presents a discussion for future research directions.
This paper presents a framework for testing at the I/O behavior level in a service-oriented architecture (SOA) environment. The framework derives minimal testable I/O pairs from a service component's behavior spec...
详细信息
This paper presents a framework for testing at the I/O behavior level in a service-oriented architecture (SOA) environment. The framework derives minimal testable I/O pairs from a service component's behavior specifications. These minimal testable I/O pairs are mapped to reusable primitives and then synthesized into test models in the Discrete Event System Specification (DEVS) formalism to meet different test objectives. We present the system theoretic foundation for I/O behavior testing and describe the inherently re-usable test development framework.
It is a common practice to use simulation for validating different types of control and planning algorithms. However, the science of how to rigorously integrate simulation and decision models is not well understood an...
详细信息
ISBN:
(纸本)9781424413065
It is a common practice to use simulation for validating different types of control and planning algorithms. However, the science of how to rigorously integrate simulation and decision models is not well understood and becomes critically important as the complexity and scale of these models increase. In our research, we have developed a methodology for integrating different types of models using a Knowledge Interchange Broker (KIB). In this paper we describe a supply-chain semiconductor application where the KIB has been used as an integral part of developing and deploying a commercial Model Predictive Control model for use in operating a multi-billion dollar supply chain. The simulation based experiments facilitated developing and validating the controller design and data automation for a real-world semiconductor manufacturing system.
There are numerous DEVS-based simulators to configure DEVS systems and run them. Current programs or libraries are based in programming languages such as JAVA, C++, etc. The existence of these different implementation...
详细信息
ISBN:
(纸本)1565553136
There are numerous DEVS-based simulators to configure DEVS systems and run them. Current programs or libraries are based in programming languages such as JAVA, C++, etc. The existence of these different implementations has resulted in the formation of various groups that are not able to share models and cannot capitalize on model reuse. To encourage system modeling and simulator compatibility we propose a standard representation for such models. Such a standard must be simple to manipulate and validate, and promote the integration of DEVS M&S software on different platforms. In this paper we present an XML Schema for representing the structure and the behavior of DEVS coupled scenarios. In addition, we developed a simulator (xDEVS) that can execute these XML-based scenarios over DEVS protocol. We also demonstrate how an Atomic DEVS behavior can be represented using XML by proposing the XML Schema of an atomic model as well. This paper is one of the first papers in the ongoing research on M&S using XML as the communication platform.
There are numerous DEVS-based simulators to configure DEVS systems and run them. Current programs or libraries are based in programming languages such as JAVA, C++, etc. The existence of these different implementation...
详细信息
There are numerous DEVS-based simulators to configure DEVS systems and run them. Current programs or libraries are based in programming languages such as JAVA, C++, etc. The existence of these different implementations has resulted in the formation of various groups that are not able to share models and cannot capitalize on model reuse. To encourage system modeling and simulator compatibility we propose a standard representation for such models. Such a standard must be simple to manipulate and validate, and promote the integration of DEVS M&S software on different platforms. In this paper we present an XML Schema for representing the structure and the behavior of DEVS coupled scenarios. In addition, we developed a simulator (xDEVS) that can execute these XML-based scenarios over DEVS protocol. We also demonstrate how an Atomic DEVS behavior can be represented using XML by proposing the XML Schema of an atomic model as well. This paper is one of the first papers in the ongoing research on M&S using XML as the communication platform.
The combination of parallel/distributed discrete event simulation (PDES) and Grid technology is a new trend in simulation. QoS is important yet difficult in this process. With the special features of Gird architecture...
详细信息
The combination of parallel/distributed discrete event simulation (PDES) and Grid technology is a new trend in simulation. QoS is important yet difficult in this process. With the special features of Gird architecture and PDES input, such as periodical and predictable inputs, we could enhance QoS with a PDES-specific prediction. A Grid-based framework is presented that is designed to help predict the performance of *** on this framework, a prediction algorithm using time series theory is presented in the context of large scale Grid simulations. Experiments are executed in the context of GridSim, which shows methods discussed before to help to improve QoS level.
To obtain the finite reachable graph of a Discrete Event System Specification (DEVS) network, this paper uses a subclass of DEVS, called finite and deterministic DEVS. This subclass has been restricted to have (1) fin...
详细信息
To obtain the finite reachable graph of a Discrete Event System Specification (DEVS) network, this paper uses a subclass of DEVS, called finite and deterministic DEVS. This subclass has been restricted to have (1) finite sets of both events and states, (2) the rational-number time advance function, (3) the time independent external transition, and (4) the selective reschedule functionality. For abstracting the infinite-state behavior to a finite- state reachable graph, we use the clock zone that is a conjunction of inequalities of clocks. A clock zone-based generating algorithm of the reachable graph of the coupled DEVS is proposed and its completeness and complexity are addressed.
暂无评论