The Design and Modeling of Input and Output Modules for an ATM Network Switch


Book Description

ABSTRACT: "The purpose of this thesis is to design, model, and simulate both an input and an output module for an ATM network switch. These devices are used to interface an ATM switch with the physical protocol that is transporting data along the actual transmission medium. The I/O modules have been designed specifically to interface with the Synchronous Optical Network (SONET) protocol. This thesis studies the ATM protocol and examines the issues involved with designing and ATM I/O module chipset. A model of the design was then implemented in both C++ and VHDL. These models were simulated in order to verify functionality and document performance. The intent of this work is to provide the background and models necessary to aid in the further study and development of entire ATM switch architectures. The input and output modules are only two functional pieces of a complete ATM switch. The software models that have been implemented by this thesis can be integrated with the other necessary functional blocks to form a complete model of a working ATM switch. These functional blocks can then be rearranged and altered to assist in the study of how different switch architectures can effect overall network performance and efficiency. The input and output modules have been designed to be as flexible as possible in order to easily adapt to future modifications."




Performance Analysis of ATM Networks


Book Description

Over recent years, a considerable amount of effort has been devoted, both in industry and academia, towards the performance modelling, evaluation and prediction of Asynchronous Transfer Mode (ATM) networks. This book describes recent advances in ATM networks reflecting the state-of-the-art technology and research achievements worldwide. In addition, it provides a fundamental source of reference in the ATM field. Research topics discussed in detail include: Traffic Modelling and Characterisation; Routing; Switch and Multiplexer Models; Call Admission Control (CAC); Congestion Control; Resource Allocation; Quality of Service (QoS); Tools and Techniques. This volume contains recently extended refereed papers of the 5th International Workshop on Performance Modelling and Evaluation of ATM Networks, which was sponsored by the International Federation for Information Processing (IFIP) and held in Ilkley, UK in July 1997. Performance Analysis of ATM Networks continues the tradition established by the first three IFIP volumes on the subject, and it is ideal for personnel in computer/communication industries as well as academic and research staff in computer science and electrical engineering.




Masters Theses in the Pure and Applied Sciences


Book Description

Masters Theses in the Pure and Applied Sciences was first conceived, published, and disseminated by the Center for Information and Numerical Data Analysis and Synthesis (CINDAS)* at Purdue University in 1957, starting its coverage of theses with the academic year 1955. Beginning with Volume 13, the printing and dis semination phases of the activity were transferred to University Microfilms/Xerox of Ann Arbor, Michigan, with the thought that such an arrangement would be more beneficial to the academic and general scientific and technical community. After five years of this joint undertaking we had concluded that it was in the interest of all concerned if the printing and distribution of the volumes were handled by an international publishing house to assure improved service and broader dissemination. Hence, starting with Volume 18, Masters Theses in the Pure and Applied Sciences has been disseminated on a worldwide basis by Plenum Publishing Corporation of New York, and in the same year the coverage was broadened to include Canadian universities. All back issues can also be ordered from Plenum. We have reported in Volume 39 (thesis year 1994) a total of 13,953 thesis titles from 21 Canadian and 159 United States universities. We are sure that this broader base for these titles reported will greatly enhance the value of this impor tant annual reference work. While Volume 39 reports theses submitted in 1994, on occasion, certain uni versities do report theses submitted in previous years but not reported at the time.







On the Formal Verification of ATM Switches


Book Description

Because of the difficulty of adequately simulating large digital designs, there has been a surge of interest in formal verification, in which a mathematical model of the design is proved to satisfy a precise specification. Model Checking and Equivalence Checking, which have the advantage of automatic verification, are two main formal verification techniques that people are working on. The main problem of model checking and sequential equivalence checking is the state space explosion. Another drawback of model checking is lack of methods on establishing an environment and expressing a property. In this thesis, we propose Property Division techniques which avoid the state space explosion problem by deducing a property from several sub-properties. A number of methods on establishing an environment and expressing a property are illustrated. Although ATM hardware is hard to design due to its high speed and various features. the applications of model checking and equivalence checking on ATM hardware verification are few. In this thesis, Fairisle ATM switch fabric, Fairisle ATM null port controller, Input FIFO of RCMP-800 and Concentrator of Knockout ATM switch are developed. With the techniques we propose, all these ATM hardware designs are formally verified in the formal verification tools called Verification Interacting with Synthesis (VIS).




Master's Theses Directories


Book Description

"Education, arts and social sciences, natural and technical sciences in the United States and Canada".







Computational Intelligence in Telecommunications Networks


Book Description

Telecommunications has evolved and grown at an explosive rate in recent years and will undoubtedly continue to do so. As its functions, applications, and technology grow, it becomes increasingly complex and difficult, if not impossible, to meet the demands of a global network using conventional computing technologies. Computational intelligence (CI) is the technology of the future-and the future is now. Computational Intelligence in Telecommunications Networks offers an in-depth look at the rapid progress of CI technology and shows its importance in solving the crucial problems of future telecommunications networks. It covers a broad range of topics, from Call Admission Control, congestion control, and QoS-routing for ATM networks, to network design and management, optical, mobile, and active networks, and Intelligent Mobile Agents. Today's telecommunications professionals need a working knowledge of CI to exploit its potential to overcome emerging challenges. The CI community must become acquainted with those challenges to take advantage of the enormous opportunities the telecommunications field offers. This text meets both those needs, clearly, concisely, and with a depth certain to inspire further theoretical and practical advances.