ATM為新一代的網路技術，具有高頻寬、低延遲、容納多樣網路服務的能力。在ATM網路發展的過程中，必須歷經通訊協定驗證之程序以確認該通訊協定功能與效能的正確性。對於龐大且複雜的ATM通訊協定，要進行其驗證是一件困難的工作，因此適當的驗證流程對於ATM通訊協定而言是相當重要的。
ATM通訊協定的驗證可分為三個階段︰靜態驗證分析、動態驗證分析、實際量測。其中動態驗證方法是在模擬環境下以軟體模擬的方式執行通訊協定製作以進行參數的量測與驗證工作，可以幫助通訊協定設計人員及早發現大部分原來只能在最後實際製作階段中才能發現的錯誤，甚至連原來難以發現的錯誤，設計人員也可以在較容易受控制的模擬環境中發現。
為輔助通訊協定設計人員完成動態驗證所需之模擬程式，本研究設計一個以ATM模擬程式框架為基礎的模擬輔助環境，利用組合元件的方式完成所需之模擬程式。ATM模擬程式框架（稱為ATM模擬框架）定義了ATM模擬程式的軟體架構及其內部共同（共用）類別，利用此框架，設計人員可採以下兩種擴充方式得到所需之模擬程式：1) override pre-defined methods 2) plug in software components。ATM模擬輔助環境建構於ATM模擬框架之上，提供一個Visual Programming的設計環境，讓設計師能夠利用設計完成的元件組合出所需要的模擬程式，並能針對特殊需求設計新的元件；藉此提供設計師更快、更有效率的方式完成動態驗證所需要的模擬程式。

As a new network technology, ATM has the transmission capability of high bandwidth and low delay to serve multiple network service. In the process of ATM protocol development, verification must be performed to insure the functionality and performance of the protocol. Since ATM protocols are so large and complicated that their verification is difficult to be performed, proper verification process is important to ATM protocol development.
ATM Protocol verification can be divided into three stages: static analysis, dynamic analysis, and physical measurement. Dynamic analysis is the method that simulates the execution process and measures the verification parameters of the protocol within the simulation environment. Under the controlled simulation environment, protocol designers can find most errors that can only be observed in physical measurement and even the errors that are hard to observe.
To help protocol designers completing the simulation program for dynamic analysis, we design a simulation environment based on the framework of ATM simulation programs to provide designers with a component-based construction approach for constructing simulation programs. The framework of ATM simulation programs, called ATM simulation framework, defines the software architecture and the common classes of ATM simulation programs. Designers may extend ATM simulation framework to derive required simulation programs by following approaches : 1) override pre-defined methods 2) plug in software components.
ATM simulation framework is the infrastructure of ATM simulation environment. ATM simulation environment provides a visual programming environment which allows designers to compose a simulation program with designed components and to design new components for some specific requirements. With the assistance of ATM simulation environment, designers are able to complete the simulation programs for dynamic analysis more efficiently and more effectively.

第1章 序論 1
第2章 ATM通訊協定與驗證流程簡介 4
2.1 ATM之基本概念 4
2.1.1 ATM通訊協定與其協定堆疊介紹 4
2.1.2 ATM提供的服務及相關參數 9
2.2 ATM之Traffic Control與Congestion Control機制 12
2.2.1 連結允許控制（Connection Admission Control） 13
2.2.2 交通監控（Traffic Policing） 14
2.2.3 優先權控制（Priority Control） 15
2.2.4 交通塑型（Traffic Shaping） 15
2.2.5 壅塞控制（Congestion Control） 16
2.3 ATM通訊協定驗證流程 18
第3章 ATM網路模擬模型與模擬框架 21
3.1 ATM網路模擬模型 21
3.1.1 模擬範圍 21
3.1.2 模擬元件 22
3.2 離散事件模擬 (Discrete-Event Simulation) 36
3.3 ATM模擬框架 (ATM Simulation Framework) 38
3.3.1 框架 (Framework) 39
3.3.2 離散事件模擬框架 (Discrete-Event Simulation Framework)
3.3.3 ATM模擬框架 (ATM Simulation Framework) 53
第4章 ATM模擬輔助環境之功能需求與系統架構 57
4.1 ATM模擬輔助環境功能需求 57
4.1.1 元件設計 57
4.1.2 完整ATM網路的模擬 61
4.1.3 單一元件的模擬 62
4.2 ATM模擬輔助環境系統架構與設計 63
第5章 結論 74

[Boo94] Grady Booch, “Object-Oriented Analysis and Design with Applications. 2nd edition”, Redwood City, CA: The Benjamin/Cummings Publishing Company, 1994
[Chu97] 朱光傑, "利用模擬方式驗證ATM協定", 國立交通大學資訊工程研究所碩士論文, 1997
[Dav95] David E. McDysan and Darren L. Spohn, "ATM theory and application", McGraw-Hill Series on Computer Communications, 1995
[Den95] Demetres D. Kouvatsos, "Performance Modeling and Evaluation of ATM Network Vol.1", Chapman & Hall, 1995
[Fay97] Mohamed Fayad, Douglas Schmidt, "Object-Oriented Application Frameworks", Communications of the ACM, October 1997.
[Gam95] Gamma, Erich Richard Helm, Ralph Johnson, and John Vlissides., "Design Patterns Elements of Reusable Object-Oriented Software", Addison-Wesley, 1995
[Geo96] George Kesidis, "ATM Network Performance", Kluwer Academic Publishers, 1996
[Gos96] James Gosling, Henry McGilton, "The JavaTM Language Environment — A White Paper", Sun Microsystem, Inc., May 1996
[Java Tutorial] Java tutorial, Sun Microsystem, Inc. Available from
http://java.sun.com/docs/books/tutorial/index.html
[Kur88]James F. Kurose and Hussein T. Mouftah, "Computer-Aided Modeling, Analysis, And Design Of Communication Networks", IEEE Journal on Selected Areas in Communications, Vol. 6, No. 1, Date: Jan. 1988, p.130-45
[Law91] Averill M. Law, W. David Kelton, "Simulatioin modeling and analysis", McGraw-Hill Series in industrial engineering and management science, 1991
[NSC Report] Chyan-Goei Chung, Verification and Validation of High Speed Network Protocols (I~III), Project Report NSC85-2221-E009-062, NSC86-2213-E009-007, NSC87-2213-E009-017, National Science Council, Republic of China.
[Pit96] J. M. Pitts, J. A. Schormans, "Introduction to ATM design and performance : with applications analysis software", John Wiley&Sons Ltd,, 1996
[Ptolemy Project] Ptolemy Project, UC Berkeley, EECS. Available from
http://ptolemy.eecs.berkeley.edu/
[Ral97] Ralph E. Johnson, "Frameworks = Components + Patterns", Communications of the ACM, October 1997.
[Rog97] Roger S. Pressman, “Software Engineering — A Practitioner’s Approach”, McGraw Hill, 1997
[Rogers97] Rogers, Gregory F., “Framework-based software development in C++”, Prentice Hall series, 1997
[Rum91] J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen, “Object-Oriented Modeling and Design”, Englewood Cliffs, NJ:Prentice Hall, 1991
[SimJava] SimJava: a discrete event simulation library for Java. Available from
http://www.dcs.ed.ac.uk/home/hase/simjava/
[TM 4.0] The ATM Forum, “ATM Traffic Management Specification, Version 4.0”, April 1996
[UNI 3.1] The ATM Forum, “ATM User-Network Interface Specification version 3.1”, September 1996
[Wim97] Wim Codenie, Koen De Hondt, Patrick Steyaert, and Arlette Vercammen, "From Custom Applications To Domain-Specific Frameworks", Communications of the ACM, October 1997.
[Wu98] 巫有龍, “ATM通訊協定驗證”, 國立交通大學資訊工程所碩士論文, 1998