{"title":"Modelling and performability analysis of network memory servers","authors":"O. Gemikonakli, G. Mapp, D. N. Thakker, E. Ever","doi":"10.1109/ANSS.2006.30","DOIUrl":"https://doi.org/10.1109/ANSS.2006.30","url":null,"abstract":"This paper presents an analytical method for the performability evaluation of a proposed network memory server attached to a local area network. The proposed server is expected to improve data storage and retrieval. However, the underlying network will receive an increased amount of traffic which may have a significant effect on the network's performance. The proposed analytical model and its solution can be used to evaluate the performance of such a system. Mean queue lengths and the probability that the NMS queue is full are calculated and presented.","PeriodicalId":308739,"journal":{"name":"39th Annual Simulation Symposium (ANSS'06)","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-04-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122398539","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Localized Credit Based QoS Routing : Performance Evaluation Using","authors":"S. Alabbad, M. E. Woodward","doi":"10.1109/ANSS.2006.23","DOIUrl":"https://doi.org/10.1109/ANSS.2006.23","url":null,"abstract":"Localized Quality of Service (QoS) routing has recently been proposed as a viable alternative approach to traditional QoS routing algorithms that use global state information. In this approach, problems associated with maintaining global state information and the staleness of such information are avoided by having the source nodes to infer the network QoS state based on flow blocking statistics collected locally, and perform flow routing using this localized view of the network QoS state . In this paper we introduce a credit based routing algorithm (cbr) which is a simple yet effective localized QoS routing algorithm. We compare its performance against the localized proportional sticky routing (psr) algorithm same time complexity. using different types of network topologies, QoS requirements and traffic patterns and under a wide range of traffic loads. Extensive simulations show that our algorithm outperforms the psr algorithm with the","PeriodicalId":308739,"journal":{"name":"39th Annual Simulation Symposium (ANSS'06)","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-04-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123442037","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"An approach to protocol modeling and validation","authors":"F. Cicirelli, A. Furfaro, L. Nigro","doi":"10.1109/ANSS.2006.12","DOIUrl":"https://doi.org/10.1109/ANSS.2006.12","url":null,"abstract":"This paper describes an approach to modeling and analysis of complex time-dependent systems specified by modular time Petri nets (TPNs). The approach is supported by a Java tool TPN Designer - which permits visual modeling, debugging and discrete-event simulation. The tool is characterized by its modularity and hierarchical constructs, a scripting language for controlling model configuration and scalability, and a monitoring and watching sub system for collecting simulation output. TPN Designer permits also to split a model into LP/subnets for distributed simulation. The tool is able to translate a flattened TPN model into UPPAAL/timed automata for model checking. The paper demonstrates the practical use of the approach through modeling and validation of a system based on the alternating bit protocol.","PeriodicalId":308739,"journal":{"name":"39th Annual Simulation Symposium (ANSS'06)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-04-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134369762","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"New parallel simulation techniques of DEVS and Cell-DEVS in CD++","authors":"E. Glinsky, Gabriel A. Wainer","doi":"10.1109/ANSS.2006.32","DOIUrl":"https://doi.org/10.1109/ANSS.2006.32","url":null,"abstract":"DEVS is a sound formal modeling and simulation (M&S) framework based on generic dynamic system concepts. Cell-DEVS is a formalism for cell-shaped models based on DEVS. This work presents a new simulation technique for execution of DEVS and Cell-DEVS models in parallel/distributed environments. The parallel simulator is based on time warp, and developed as a new simulation engine for CD++, a M&S toolkit that implements DEVS and Cell-DEVS theories. The technique uses a non-hierarchical approach that simplifies the structure of the simulator and reduces the communication overhead. The results obtained allowed us to achieve considerable speedups.","PeriodicalId":308739,"journal":{"name":"39th Annual Simulation Symposium (ANSS'06)","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-04-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122953091","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
D. R. Hickey, P. Wilsey, R. Hoekstra, E. Keiter, S. Hutchinson, T. Russo
{"title":"Mixed-signal simulation with the Simbus backplane","authors":"D. R. Hickey, P. Wilsey, R. Hoekstra, E. Keiter, S. Hutchinson, T. Russo","doi":"10.1109/ANSS.2006.25","DOIUrl":"https://doi.org/10.1109/ANSS.2006.25","url":null,"abstract":"In this paper, the Simbus backplane is used in conjunction with SAVANT/TyVIS/WARPED, a parallel VHDL simulator, and Xyce, a parallel SPICE simulation engine, to model and simulate a mixed-signal ASIC-driven charging circuit simulation. In particular, the individual components of an airbag deployment system are described and modeled in the digital and analog domains. A VHDL-based microcontroller interface is designed to control an analog charging circuit based on accelerometer output. The accelerometer and charging circuit are modeled in SPICE and interactions between the two domains are established through the simbus backplane. The results of this study provide evidence of the implementation possibilities available with a mixed-signal system and demonstrate the feasibility of continuing work in multi-domain simulation.","PeriodicalId":308739,"journal":{"name":"39th Annual Simulation Symposium (ANSS'06)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-04-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130530332","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Adapted importance sampling schemes for the simulation of dependability models of fault-tolerant systems with deferred repair","authors":"J. Carrasco","doi":"10.1109/ANSS.2006.10","DOIUrl":"https://doi.org/10.1109/ANSS.2006.10","url":null,"abstract":"This paper targets the simulation of continuous-time Markov chain models of fault-tolerant systems with deferred repair. We start by stating sufficient conditions for a given importance sampling scheme to satisfy the bounded relative error property. Using those sufficient conditions, it is noted that many previously proposed importance sampling techniques such as failure biasing and balanced failure biasing satisfy that property. Then, we adapt the importance sampling schemes failure transition distance biasing and balanced failure transition distance biasing so as to develop new importance sampling schemes which can be implemented with moderate effort and at the same time can be proved to be more efficient for balanced systems than the simpler failure biasing and balanced failure biasing schemes. The increased efficiency for both balanced and unbalanced systems of the new adapted importance sampling schemes is illustrated using examples.","PeriodicalId":308739,"journal":{"name":"39th Annual Simulation Symposium (ANSS'06)","volume":"8 2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-04-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116757820","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
