© 2008JOSEPH CWIKLAALL RIGHTS RESER

© 2008
JOSEPH CWIKLA
ALL RIGHTS RESERVED
SPECIFYING, IMPLEMENTING AND VERIFYING LAYERED NETWORK
PROTOCOLS
A Thesis
Presented to
The Graduate Faculty of The University of Akron
In Partial Fulfillment
of the Requirements for the Degree
Master of Science
Joseph Cwikla
August, 2008
ii
SPECIFYING, IMPLEMENTING AND VERIFYING LAYERED NETWORK
PROTOCOLS
Joseph Cwikla
Thesis
Approved: Accepted:
______________________________ ______________________________
Advisor Dean of the College
Dr. Kathy J. Liszka Dr. Ronald F. Levant
______________________________ ______________________________
Faculty Reader Dean of the Graduate School
Dr. Timothy W. O’Neil Dr. George R. Newkome
______________________________ ______________________________
Faculty Reader Date
Dr. Yingcai Xiao
______________________________
Department Chair
Dr. Wolfgang Pelz
iii
ABSTRACT
As computing power increases, software is developed to make use of the
increased capacity. A transition is currently in progress as the growth of higher level
scripting languages enables a larger number of programmers to develop programs in
larger and more diverse domains. The world of software program development is
becoming readily accessible to a larger audience.
Concurrently, digital communication has revolutionized the way that people
interact. Protocols are established to enable new types of communication. Successful
protocols are built in layers; each layer makes use of the one below it and providing
services to the layer directly above it. As new uses are discovered for digital
communications, new protocols will need to be developed to support them.
Simulations are useful when communication protocols are developed. The
simulation can be specified, implemented and its runtime behavior verified against the
specification.
This thesis proposes and demonstrates that there exists a set of software
development tools that are readily accessible and end to end to address the problem of
specifying, implementing and verifying layered communication protocol simulations.
iv
TABLE OF CONTENTS
CHAPTER Page
I. INTRODUCTION................................................................................................1
II. TOOLS .................................................................................................................5
2.1 Specification Tools ..................................................................................6
2.2 Implementation Tools ............................................................................21
2.3 Verification Tools ..................................................................................25
2.4 Example .................................................................................................29
III. MODEL..............................................................................................................36
3.1 The Wireless Medium Layer .................................................................37
3.2 The Physical Medium Dependency Layer.............................................38
3.3 The Wireless Channel Layer..................................................................38
3.4 The Physical Layer Convergence Procedure .........................................39
IV. SPECIFICATION...............................................................................................41
4.1 Wireless Medium Specification.............................................................41
4.2 Physical Medium Dependency Specification ........................................45
4.3 Wireless Channel Specification .............................................................47
4.4 Physical Layer Convergence Procedure Specification ..........................48
V. IMPLEMENTATION ........................................................................................51
5.1 Wireless Medium Implementation..........................................................52
v
5.2 Physical Medium Dependency Implementation ....................................61
5.3 Wireless Channel Implementation.........................................................69
5.4 Physical Layer Convergence Procedure Implementation......................74
VI. DISCUSSION.....................................................................................................84
BIBLIOGRAPHY........................................................................................................87
APPENDICES .............................................................................................................89
APPENDIX A WIRELESS MEDIUM VERIFICATION CODE .........................90
APPENDIX B PHYSICAL MEDIUM DEPENDENCY
VERIFICATION CODE................................................................99
APPENDIX C WIRELESS CHANNEL VERIFICATION CODE.....................106
APPENDIX D PHYSICAL LAYER CONVERGENCE PROCEDURE
VERIFICATION CODE...............................................

ผลลัพธ์ (ไทย) 1:

© 2008โจเซฟ CWIKLAสงวนลิขสิทธิ์การระบุ การใช้ และการตรวจสอบเครือข่ายชั้นโปรโตคอลวิทยานิพนธ์นำเสนอไปคณะบัณฑิตวิทยาลัยมหาวิทยาลัย Akronในการเติมสินค้าบางส่วนความต้องการระดับปริญญาโทสาขาโจเซฟ Cwiklaสิงหาคม 2008iiการระบุ การใช้ และการตรวจสอบเครือข่ายชั้นโปรโตคอลโจเซฟ Cwiklaวิทยานิพนธ์อนุมัติ: ยอมรับ:______________________________ ______________________________ที่ปรึกษาคณบดีวิทยาลัยดร. Kathy J. Liszka ดร.โรนัลด์ F. แวนท์______________________________ ______________________________อ่านคณบดีคณะบัณฑิตวิทยาลัยดร.ทิโมธี W. โอนีลดร.จอร์จอาร์ Newkome______________________________ ______________________________วันอ่านคณะดร. Yingcai เซียว______________________________กรมเก้าอี้ดร.วูล์ฟกัง Pelziiiบทคัดย่อเป็นการเพิ่มพลังงาน การใช้งานซอฟต์แวร์ที่พัฒนาเพื่อให้ใช้การความจุเพิ่มขึ้น การเปลี่ยนแปลงอยู่ในระหว่างเป็นการเติบโตของระดับที่สูงกว่าภาษาสคริปต์ช่วยให้โปรแกรมเมอร์สามารถพัฒนาโปรแกรมในจำนวนโดเมนที่มีขนาดใหญ่ และหลากหลายมากขึ้น โลกพัฒนาโปรแกรมซอฟต์แวร์กลายเป็นได้อย่างง่ายดายสามารถเข้าถึงกลุ่มเป้าหมายใหญ่พร้อมกัน การสื่อสารดิจิทัลมีปฏิวัติวิธีที่ผู้คนโต้ตอบ โปรโตคอลจะสร้างการเปิดใช้งานการสื่อสารชนิดใหม่ ประสบความสำเร็จโปรโตคอลที่อยู่ในชั้น ทำให้แต่ละชั้นใช้ของหนึ่งด้านล่างนี้ และให้บริการชั้นเหนือโดยตรง ขณะที่มีการค้นพบการใช้งานใหม่สำหรับดิจิตอลสื่อสาร protocol ใหม่จะต้องมีพัฒนาเพื่อสนับสนุนพวกเขาจำลองมีประโยชน์เมื่อมีพัฒนาระบบการสื่อสาร การสามารถระบุจำลอง ดำเนินการ และตรวจสอบลักษณะการทำงานขณะทำงานกับการข้อกำหนดวิทยานิพนธ์นี้นำเสนอ และอธิบายว่า มีชุดของซอฟต์แวร์เครื่องมือการพัฒนาที่สามารถเข้าถึงได้อย่างง่ายดาย และจบสิ้นการแก้ปัญหาของการระบุ การใช้ และการตรวจสอบชั้นจำลองโพรโทคอลการสื่อสารivสารบัญบทที่หน้าI. INTRODUCTION................................................................................................ 1II. TOOLS ................................................................................................................. 52.1 Specification Tools .................................................................................. 62.2 เครื่องมือใช้งาน... 212.3 Verification Tools .................................................................................. 252.4 Example ................................................................................................. 29III. MODEL.............................................................................................................. 363.1 ชั้นกลางการไร้สาย... 373.2 ชั้นการพึ่งพาทางกายภาพที่ปานกลาง... 383.3 ช่องสัญญาณไร้สายชั้น... 383.4 ขั้นตอนการบรรจบกันของชั้นกายภาพ... 39IV. SPECIFICATION............................................................................................... 414.1 ข้อมูลจำเพาะปานกลางไร้สาย... 414.2 อ้างอิงกลางทางกายภาพข้อมูลจำเพาะ... 454.3 ช่องสัญญาณไร้สายสเปค... 474.4 ข้อมูลจำเพาะเกี่ยวกับกระบวนการชั้นกายภาพบรรจบกัน... 48V. IMPLEMENTATION ........................................................................................ 515.1 การใช้งานไร้สายขนาดกลาง... 52v5.2 การอ้างอิงกลางทางกายภาพ... 615.3 ใช้งานไร้สายช่อง... 695.4 ชั้นกายภาพบรรจบกันขั้นตอนการใช้งาน... 74VI. DISCUSSION..................................................................................................... 84BIBLIOGRAPHY........................................................................................................ 87APPENDICES ............................................................................................................. 89ภาคผนวกรหัสยืนยันกลางไร้สาย... 90ภาคผนวก B อ้างอิงกลางทางกายภาพVERIFICATION CODE................................................................ 99ภาคผนวก C ไร้สายช่องรหัสยืนยัน... 106ภาคผนวก D ชั้นกายภาพบรรจบกันขั้นตอนรหัสยืนยัน...

ผลลัพธ์ (ไทย) 2:

© 2008
JOSEPH CWIKLA
สงวน
ระบุการดำเนินการและยืนยันชั้นเครือข่าย
โปรโตคอล
วิทยานิพนธ์
นำเสนอให้กับ
บัณฑิตคณะของมหาวิทยาลัยแอครอน
นี้เป็นส่วน
หนึ่งของการสำหรับปริญญา
วิทยาศาสตรมหาบัณฑิต
โจเซฟ Cwikla
สิงหาคม 2008
ครั้งที่สอง
ระบุดำเนินการและตรวจสอบ ชั้นเครือข่าย
โปรโตคอล
โจเซฟ Cwikla
วิทยานิพนธ์
อนุมัติ: ได้รับการยืนยัน:
______________________________ ______________________________
ที่ปรึกษาคณบดีวิทยาลัย
ดร. เคทีเจ Liszka ดร. โรนัลด์เอฟลิแวน
______________________________ ______________________________
คณะอ่านคณบดีบัณฑิตวิทยาลัย
ดร. ทิโมธีโอนีลดับบลิวดร. จอร์จอา Newkome
______________________________ ______________________________
คณะผู้อ่านวันที่
ดร. Yingcai เสี่ยว
______________________________
เก้าอี้กรม
ดร. โวล์ฟกัง Pelz
III
บทคัดย่อ
ขณะที่การคำนวณการเพิ่มขึ้นของอำนาจการพัฒนาซอฟต์แวร์ที่จะทำให้การใช้
กำลังการผลิตเพิ่มขึ้น การเปลี่ยนแปลงในขณะนี้ความคืบหน้าในการเจริญเติบโตของระดับที่สูงขึ้น
ภาษาสคริปต์ช่วยให้จำนวนมากของการเขียนโปรแกรมในการพัฒนาโปรแกรมใน
โดเมนที่มีขนาดใหญ่และมีความหลากหลายมากขึ้น โลกของการพัฒนาโปรแกรมซอฟต์แวร์ที่จะ
กลายเป็นสามารถเข้าถึงผู้ชมกลุ่มใหญ่.
ขณะเดียวกันการสื่อสารแบบดิจิตอลได้ปฏิวัติวิธีที่ผู้คน
มีปฏิสัมพันธ์ โปรโตคอลที่จัดตั้งขึ้นเพื่อเปิดใช้งานรูปแบบใหม่ของการสื่อสาร ที่ประสบความสำเร็จ
โปรโตคอลที่ถูกสร้างขึ้นในชั้น; แต่ละชั้นทำให้การใช้อย่างใดอย่างหนึ่งดังต่อไปนี้มันและการให้
บริการไปยังชั้นโดยตรงข้างต้นนั้น ขณะที่การใช้งานใหม่ได้รับการค้นพบดิจิตอล
สื่อสารโปรโตคอลใหม่จะต้องได้รับการพัฒนาขึ้นเพื่อสนับสนุนพวกเขา.
จำลองจะมีประโยชน์เมื่อโปรโตคอลการสื่อสารที่มีการพัฒนา
จำลองสามารถระบุได้ดำเนินการและพฤติกรรมรันไทม์การตรวจสอบกับ
สเปค.
วิทยานิพนธ์นี้นำเสนอและแสดงให้เห็นว่ามีอยู่ชุดของซอฟต์แวร์
เครื่องมือในการพัฒนาที่สามารถเข้าถึงได้อย่างง่ายดายและจบสิ้นในการแก้ไขปัญหาของ
การระบุการดำเนินการและตรวจสอบการสื่อสารชั้น จำลองโปรโตคอล.
IV
สารบัญ
บทที่หน้า
I.
TOOLS
เครื่องมือจำเพาะ ................................................ .................................. 6
2.2 เครื่องมือการดำเนินงาน ............ .................................................. .............. 21
2.3 การยืนยันเครื่องมือ ................................ .................................................. 25
2.4 ตัวอย่าง ชั้นไร้สายขนาดกลาง .............................................. ................... 37 3.2 ทางกายภาพปานกลางพึ่งพาชั้น ........................ ..................... 38 3.3 ชั้นช่องสัญญาณไร้สาย ....................... ........................................... 38 3.4 ขั้นตอนการบรรจบกายภาพชั้น ......................................... 39 IV ข้อมูลจำเพาะสื่อไร้สาย ............................................... .............. 41 4.2 กายภาพปานกลางพึ่งพาข้อมูลจำเพาะ .............................. .......... 45 4.3 ไร้สายช่องจำเพาะ ................................... .......................... 47 4.4 กายภาพชั้นลู่ขั้นตอนจำเพาะ ................. ......... 48 โวลต์ การดำเนินงาน ................................................. ....................................... 51 5.1 การดำเนินงานสื่อไร้สาย ...... .................................................. ..52 V 5.2 กายภาพปานกลางพึ่งพาการดำเนิน .................................... 61 การดำเนินงาน 5.3 ช่องสัญญาณไร้สาย .................................................. ....... 69 5.4 กายภาพชั้น Convergence ขั้นตอนการดำเนินงาน ...................... 74 VI ไร้สายกลางรหัสยืนยัน ......................... 90 ภาคผนวก B กายภาพกลาง DEPENDENCY รหัสยืนยัน ............ .................................................. ..99 ภาคผนวก C WIRELESS ช่องรหัสยืนยัน ..................... 106 ภาคผนวก D กายภาพชั้นลู่ PROCEDURE รหัสยืนยัน ........... ....................................

ผลลัพธ์ (ไทย) 3:

สงวนลิขสิทธิ์ 2551โจเซฟ cwiklaสงวนสิทธิทั้งหมดการระบุ , การใช้เครือข่ายและตรวจสอบชั้นโปรโตคอลวิทยานิพนธ์เสนอต่อบัณฑิตคณะมหาวิทยาลัยครอนในการเติมเต็มบางส่วนของความต้องการระดับหลักสูตรวิทยาศาสตรมหาบัณฑิตโจเซฟ cwiklaสิงหาคม , 2008IIการระบุ , การใช้เครือข่ายและตรวจสอบชั้นโปรโตคอลโจเซฟ cwiklaวิทยานิพนธ์ได้รับการยอมรับ : :______________________________ ______________________________ที่ปรึกษาคณบดีวิทยาลัยดร. Kathy J liszka ดร. โรนัลด์ เอฟ ไกเซอร์______________________________ ______________________________อาจารย์อ่านคณบดีบัณฑิตวิทยาลัยดร. ทิโมธี โอ " นีล ดร. จอร์จ อาร์. newkome W______________________________ ______________________________กิจกรรมวันที่อ่านดร. yingcai เสี่ยว______________________________เก้าอี้กรมดร. วูล์ฟกัง เพลซ์3บทคัดย่อเป็นคอมพิวเตอร์ เพิ่มพลังงาน ซอฟต์แวร์ที่พัฒนาขึ้นเพื่อใช้ประโยชน์ของเพิ่มความจุ การเปลี่ยนแปลงอยู่ระหว่างการเติบโตของระดับที่สูงขึ้นภาษาสคริปต์ช่วยให้ตัวเลขขนาดใหญ่ของโปรแกรมเมอร์ในการพัฒนาโปรแกรมในมีขนาดใหญ่และหลากหลายมากขึ้นโดเมน โลกของการพัฒนาโปรแกรมซอฟต์แวร์กลายเป็นสามารถเข้าถึงได้อย่างง่ายดายไปยังผู้ชมขนาดใหญ่เป็นการสื่อสารแบบดิจิตอลได้ปฏิวัติวิธีที่คนโต้ตอบ โปรโตคอลที่ถูกสร้างขึ้นเพื่อใช้รูปแบบใหม่ของการสื่อสาร ที่ประสบความสำเร็จโปรโตคอลที่ถูกสร้างขึ้นในชั้น แต่ละชั้นใช้หนึ่งด้านล่าง และให้บริการชั้นตรงข้างบนมัน เป็นประโยชน์ใหม่ถูกค้นพบสำหรับดิจิตอลการสื่อสาร โปรโตคอลใหม่จะต้องถูกพัฒนาขึ้นเพื่อสนับสนุนพวกเขาจำลองเป็นประโยชน์เมื่อโปรโตคอลการสื่อสารที่พัฒนาขึ้น ที่จำลองสามารถระบุได้ ใช้ตรวจสอบกับพฤติกรรมของ Runtimeสเปควิทยานิพนธ์ฉบับนี้ได้นำเสนอและสาธิตมีชุดของซอฟต์แวร์การพัฒนาเครื่องมือที่สามารถเข้าถึงและสิ้นไปเพื่อแก้ไขปัญหาของการระบุ , การใช้และตรวจสอบชั้นจำลองโปรโตคอลการสื่อสารสี่สารบัญบทหน้าผมแนะนำ ................................................................................................ 12 . เครื่องมือ ................................................................................................................. 52.1 เครื่องมือ .................................................................................. 6 สเปค2.2 เครื่องมือการ ............................................................................ 212.3 เครื่องมือการตรวจสอบ .................................................................................. 252.4 ................................................................................................. 29 ตัวอย่างรูปแบบ .............................................................................................................. 36 III3.1 ชั้นตัวกลางไร้สาย ................................................................. 373.2 การ ............................................. 38 ชั้นทางกายภาพปานกลาง3.3 ช่องสัญญาณไร้สาย .................................................................. 38 ชั้น3.4 ขั้นตอน ......................................... 39 ชั้นลู่กายภาพข้อมูล ............................................................................................... 41 IV4.1 กำหนดสื่อไร้สาย ............................................................. 414.2 การพึ่งพาทางกายภาพปานกลางสเปค ........................................ 454.3 ช่องสัญญาณไร้สายสเปค ............................................................. 474.4 ภาพชั้นลู่ขั้นตอนสเปค .......................... 48การ ........................................................................................ 51 .5.1 การ .......................................................... 52 สื่อไร้สายวี5.2 การพึ่งพาการนำ .................................... 61 ทางกายภาพปานกลาง5.3 การใช้ช่องสัญญาณไร้สาย ......................................................... 695.4 ภาพชั้นขั้นตอนการบรรจบกัน ...................... 74การอภิปราย ..................................................................................................... 84 VIบรรณานุกรม ........................................................................................................ 87เอกสารประกอบ ............................................................................................................. 89ภาคผนวกรหัสตรวจสอบสื่อไร้สาย ......................... 90ภาคผนวก B ) การพึ่งพาทางกายภาพรหัสยืนยัน ................................................................ 99ภาคผนวก C รหัสตรวจสอบช่องสัญญาณไร้สาย ..................... 106 คนภาคผนวก D ภาพชั้นลู่ ขั้นตอนรหัสยืนยัน ...............................................