Моделирование и анализ сетевых транспортных протоколов с помощью раскрашенных сетей Петри
Диссертация
Транспортные протоколы являются важным элементом коммуникационной архитектуры сети Интернет (согласно исследованиям, около 95% всех переданных байтов и 85−95% всех переданных пакетов). Основной задачей протокола транспортного уровня является предоставление сервиса программным процессам для надежного и эффективного обмена информацией через ненадежную среду передачи — коммуникационную сеть. С точки… Читать ещё >
Список литературы
- Алексеев И.В. Адаптивная схема управления потоком для транспортного протокола в сетях с коммутацией пакетов. // Дисс. на соискание степени к.ф.-м.н. Ярославль. 2000.
- Алексеев И.В., Соколов В. А., Чалый Д. Ю. Моделирование и анализ транспортных протоколов в информационных сетях. // Ярославский государственный университет. Ярославль, 2004.
- Соколов В.А., Тимофеев Е. А., Чалый Д. Ю. Моделирование, оптимизация и верификация транспортных протоколов.// Труды первой Всероссийской конференции МСО-2003. Под. ред. J1.H. Королева. Москва, 2003.
- Чалый Д.Ю. Моделирование протоколов TCP и ARTCP с помощью раскрашенных сетей Петри.// Моделирование и анализ информационных систем. № 2 за 2003 год. Ярославль, 2003. стр. 11−17.
- Соколов В.А., Чалый Д. Ю. Методы исследования поведения транспортных протоколов в условиях интенсивного сетевого трафика. // Труды Международной конференции по вычислительной математике. Под. ред. Ю. И. Шокина и др. Новосибирск, 2004. стр. 126— 131.
- Чалый Д.Ю. Моделирование коммуникационных протоколов коммуникационной сети Интернет. // Материалы 3-й междисциплинарной конференции НБАТТ-21. Под. ред. С. Е. Ка-рашурова. Петрозаводск, 2004. стр. 76−77.
- Соколов В.А., Чалый Д. Ю. Построение и анализ формальных моделей семейства транспортных протоколов TCP. // Труды III Международной конференции «Параллельные вычисления и задачи управления», (принято к публикации)
- Кларк Э., Грамберг О., Пелед Д. Верификация моделей программ: Model-Checking. МЦ-НМО, Москва, 2002.
- Ломазова И.А. Сети Петри и анализ поведенческих свойст распредленных систем. Ярославль, 2002. 164 с.
- Непомнящий В.А., Алексеев А. Г., Быстрое А. В., Куртов С. А., Мыльников С. П., Оку-нишникова Е.В., Чубарев П. А., Чурина Т. Г. Верификация Estelle-спецификаций распределенных систем посредством раскрашенных сетей Петри. Новосибирск, 1998.
- Chaly D. Ju., Sokolov V. A. An Extensible Coloured Petri Net Model of a Transport Protocol for Packet Switched Networks. // In Proceedings of Parallel Computer Technologies'2003, LNCS Vol. 2551, Springer-Verlag, 2003. p. 66−75.
- Alekseev I.V., Sokolov V.A. ARTCP: Efficient Algorithm for Transport Protocol for Packet Switched Networks. // In Proceedings of Parallel Computer Technologies'2001. Lecture Notes in Computer Science, Vol. 2127. Springer-Verlag, 2001. стр. 159−174.
- Alekseev I.V., Sokolov V.A. Modelling and Traffic Analysis of the Adaptive Rate Transport Protocol. // Future Generation Computer Systems. Number 6, Vol. 18. NH Elsevier, 2002. стр. 813−827.
- Holzmann G. Design and Validation of Computer Protocols. Prentice-Hall, 1991.
- Transmission Control Protocol. DARPA Internet Program. Protocol Specification. RFC793, September, 1981. Web site: www. rfc-editor.org
- Clark D. D. Window and Acknowledgement Strategy in TCP. RFC813, July, 1982. Web site: www. rfc-editor.org
- Postel J. The TCP Maximum Segment Size and Related Topics. RFC879, November, 1983. Web site: www. rfc-editor.org
- Nagle J. Congestion Control in IP/TCP Internetworks. RFC896, January, 1984. Web site: www. rfc-editor.org
- Reynolds J., Postel J. Assigned Numbers. RFC1010, May, 1987. Web site: www. rfc-editor.org
- Jacobson V., Braden R. TCP Extensions for Long-Delay Paths. RFC1072, October, 1988. Web site: www. rfc-editor.org
- Braden R. (Ed.) Requirements for Internet Hosts — Communication Layers. RFC1122, October, 1989. Web site: www. rfc-editor.org
- Socolofsky Т., Kale С. A TCP/IP Tutorial. RFC1180, January 1991. Web site: www. rfc-editor.org
- Jacobson V., Braden R., Zhang L. TCP Extension for High-Speed Paths. RFC1185, October, 1990. Web site: www. rfc-editor.org
- O’Malley S., Peterson L. TCP Extensions Considered Harmful. RFC1263, October, 1991. Web site: www. rfc-editor.org
- Jacobson V., Braden R., Borman D. TCP Extensions for High Performance. RFC1323, May, 1992. Web site: www. rfc-editor.org
- Braden R. TIME-WAIT Assasination Hazards in TCP. RFC1337, May, 1992. Web site: www. rfc-editor.org
- Connoly Т., Amer P., Conrad P. An Extension to TCP: Partial Order Service. RFC1693, November, 1994. Web site: www. rfc-editor.org
- Stevens W. TCP Slow Start, Congestion Avoidance, Fast Retransmit and Fast Recovery Algorithms. RFC2001, January, 1997. Web site: www. rfc-editor.org
- Mathis M., Mahdavi J., Floyd S., Romanow A. TCP Selective Acknowledgement Options. RFC2018, October, 1996. Web site: www. rfc-editor.org
- Bradner S. Key Words for Use in RFCs to Indicate Requirement Levels. RFC2119, March, 1997. Web site: www. rfc-editor.org
- Touch J. TCP Control Block Interdependence. RFC2140, April, 1997. Web site: www. rfc-editor.org
- Borman D. TCP and UDP over IPv6 Jumbograms. RFC2147, May, 1997. Web site: www. rfc-editor.org
- Parker S., Schmechel C. Some Testing Tools for TCP Implementors. RFC2398, August, 1998. Web site: www. rfc-editor.org
- Allman M., Floyd S., Partridge C. Increasing TCP’s Initial Window. RFC2414, September, 1998. Web site: www. rfc-editor.org
- Poduri К., Nichols К. Simulation Studies of Increased Initial TCP Window Size. RFC2415, September, 1998. Web site: www. rfc-editor.org
- Shepard Т., Partridge C. When TCP Starts Up With Four Packets Into Only Three Buffers. RFC2416, September, 1998. Web site: www. rfc-editor.org
- Ramakrishnan K., Floyd S. A Proposal to Add Explicit Congestion Notification (ECN) to IP. RFC2481, January, 1999. Web site: www. rfc-editor.org
- Allman M., Glover D., Sanchez L. Enhancing TCP Over Sattelite Channels Using Standard Mechanisms. RFC2488, January, 1999. Web site: www. rfc-editor.org
- Paxson V., Allman M., Dawson S., Fenner W., Griner J., Heavens /., Lahey K., Semke J., Volz B. Known TCP Implementation Problems. RFC2525, March, 1999. Web site: www. rfc-editor.org
- Allman M., Paxson V., Stevens W. TCP Congestion Control. RFC2581, April, 1999. Web site: www. rfc-editor.org
- Floyd S., Henderson T. The NewReno Modification to TCP’s Fast Recovery Algorithm. RFC2582, April, 1999. Web site: www. rfc-editor.org
- Allman M., Dawkins S., Glover D., Griner J., Tran D., Henderson Т., Heideman J., Touch J., Kruse H., Ostermann S., Scott K., Semke J. Ongoing TCP Research Related to Satellites. RFC2760, February, 2000. Web site: www. rfc-editor.org
- Handley M., Padhye J., Floyd S. TCP Congestion Window Validation. RFC2861, June, 2000. Web site: www. rfc-editor.org
- Xiao X., Hannan A., Paxson V., Crabbe E. TCP Processing of the IPv4 Precedence Field. RFC2873, June, 2000. Web site: www. rfc-editor.org
- Floyd S., Mahdavi J., Mathis M., Podolsky M. An Extension to the Selective Acknowledgement (SACK) Option for TCP. RFC2883, July, 2000. Web site: www. rfc-editor.org
- Hadi Salim J., Ahmed U. Performance Evaluation of Explicit Congestion Notification (ECN) in IP Networks. RFC2884, July, 2000. Web site: www. rfc-editor.org
- Lahey K. TCP Problems with Path MTU Discovery. RFC2923, September, 2000. Web site: www. rfc-editor.org
- Paxson V., Allman M. Computing TCP’s Retransmission Timer. RFC2988, November, 2000. Web site: www. rfc-editor.org
- Allman M., Balakrishnan H., Floyd S. Enhancing TCP’s Loss Recovery Using Limited Transmit. RFC3042, January, 2001. Web site: www. rfc-editor.org
- Ramakrishnan K., Floyd S., Black D. The Addition of Explicit Congestion Notification (ECN) to IP. RFC3168, Septempber, 2001. Web site: www. rfc-editor.org
- Floyd S. Inappropriate TCP Resets Considered Harmful. RFC3360, August, 2002. Web site: www. rfc-editor.org
- Allman M., Floyd S., Partridge C. Increasing TCP’s Initial Window. RFC3390, October, 2002. Web site: www. rfc-editor.org
- Handley M., Floyd S., Padhye /., Widmer J. TCP Friendly Rate Control (TFRC): Protocol Specification. RFC3448, January, 2003. Web site: www. rfc-editor.org
- Balakrishnan H., Padmanabhan V. N., Fairhurst G., Sooriyabandara M. TCP Performance Implications of Network Path Assymetry. RFC3449, December, 2002. Web site: www. rfc-editor.org
- Allman M. TCP Congestion Control with Appropriate Byte Counting (ABC). RFC3465, February, 2003. Web site: www. rfc-editor.org
- Ludwig R., Meyer M. The Eifel Detection Algorithm for TCP. RFC3522, April, 2003. Web site: www. rfc-editor.org
- Spring N., Wetheral D., Ely D. Robust Explicit Congestion Notification (ECN) Signaling with Nonces. RFC3540, June, 2003. Web site: www. rfc-editor.org
- Floyd S. Highspeed TCP for Large Congestion Windows. RFC3649, December, 2003. Web site: www. rfc-editor.org
- Floyd S. Limited Slow-Start for TCP with Large Congestion Windows. RFC3742, March, 2004. Web site: www. rfc-editor.org
- Floyd S., Henderson Т., Gurtov A. The NewReno Modification to TCP’s Fast Recovery Algorithm. RFC3782, April, 2004. Web site: www. rfc-editor.org
- Ludwig R., Gurtov A. The Eifel Response Algorithm for TCP. RFC4015, February, 2005. Web site: www. rfc-editor.org
- Raghunarayan R (Ed.). Management Information Base for the Transmission Control Protocol (TCP). RFC4022, March, 2005. Web site: www. rfc-editor.org
- Karn P., Partridge C. Improving Round-Trip Time Estimates in Reliable Transport Protocols. // In Proceedings of ACM SIGCOMM'87. 1987.
- Fall K., Floyd S. Simulation-based Comparisons of Tahoe, Reno, and SACK TCP. // Computer Communications Review, 26(3). 1996. стр. 5−21.
- Shao S., Sanadidi M. Y., Gerla M. A Simulation Study of the Interoperability of TCPW with RED and ECN. // In Proceedings of SPECTS 2003, Montreal, Canada, July 2003.
- Figueiredo D.R., Liu В., Feldmann A., Misra V., Towsley D., Willinger W. On TCP and self-similar traffic. // Performance Evaluation, № 61. Elsevier, 2005. p. 129−141.
- Paxson V. Measurements and Analysis of End-to-End Internet Dynamics. // PhD thesis, University of California, Berkeley. 1997.
- Leland W., Willinger W., Taqqu M., Wilson D. On the Self-Similar Nature of Ethernet Traffic (Extended Version). // IEEE/ACM Transactions on Networking. 2(1). 1994. p. 1−15.
- Taqqu M., Willinger W., Sherman R. Proof of Fundamental Result in Self-Similar Traffic Modelling. // Computer Communications Review. № 27. 1997. p. 5−23.
- Thompson K., Miller G.3., Wilder R. Wide-Area Internet Traffic Patterns and Characteristics. // In IEEE Networks, November, 1997.
- Youngmi loo, Ribeiro V., Feldmann A., Gilbert A., Willinger W. TCP/IP traffic dynamics and network performance: A lesson in workload modeling, flow control, and trace-driven simulations. // ACM Computer Communication Review, April, 2001.
- Network Simulator Ns-2. Web site: http://www.isi.edu/nsnam/ns/
- Comer D. Internetworking with TCP/IP, Volume 2: Design Implementation and Internals. // Prentice Hall, NJ, 1994.
- Han В., Billington J. Experience with Modelling TCP’s Connection Management Procedures. // Proceedings of 5th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools. Aarhus, Denmark. 2004. p. 57.-77.
- Kumar A. Comparative Performance Analysis of Versions of TCP in a Local Network with a Lossy Link. // IEEE/ACM Transactions on Networking, № 6. 1998. p. 485−498.
- Ost A., Haverkroft B.R. Analysis of Windowing Mechanisms with Infinite-State Stochastic Petri Nets. // Performance Evaluation Review, № 26(2). 1998. p. 38−46.
- Gordon S. Verification of the WAP Transaction Layer Using Coloured Petri Nets. // PhD Thesis, University of South Australia, 2001.
- Clarke E. M., Emerson E. A., Sistla A. P. Automatic Verification of Finite State Concurrent System Using Temporal Logic. // ACM Transactions on Programming Languages and Systems, № 8(2), 1986. стр. 244−263.
- Jensen K. Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Vol. 1, Basic Concepts. // Monographs in Theoretical Computer Science. Springer-Verlag, 1997. 2nd corrected printing.
- Jensen K. Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods. // Monographs in Theoretical Computer Science. Springer-Verlag, 1997. 2nd corrected printing.
- Jensen K. Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Practical Use. // Monographs in Theoretical Computer Science. Springer-Verlag, 1997.
- Jensen K. Coloured Petri Nets with Time Stamps. // Computer Science Department, Aarhus University, Denmark, 1991.
- Jensen K. An Introduction to the Theoretical Aspects of Coloured Petri Nets. // In (eds.): de Bakker J. W., de Roever W.-P., Rozenberg G. A Decade of Concurrency, LNCS Vol. 803, Springer-Verlag, 1994. стр. 230−272.
- Shin /., Levis A.H. Performance Prediction Model Generator Powered by Occurrence Graph Analyzer of Design/CPN. // Proceedings of 2nd Workshop on Practical Use of Coloured Petri Nets and Design/CPN. Aarhus, Denmark. 1999. p. 191−210.
- Christensen S., Haagh Т. B. Overview of CPN ML Syntax. // University of Aarhus, 1996.
- Design/CPN Reference Manual for X-Windows, Version 2.0. // Meta Software Corporation, 1993.
- Jensen K., Christensen S., Kristensen L. M. Design/CPN Occurence Graph Tool Manual, Version 3.0.// Department of Computer Science, Aarhus University, Aarhus, Denmark, 1996.
- J0rgensen J. В., Kristensen L. M. Design/CPN OE/OS Graph Manual, Version 1.0. 11 Department of Computer Science, Aarhus Unversity, Denmark, 1996.
- Lindstr0m В., Wells L. Design/CPN Performance Tool Manual, Version 1.0. // Department of Computer Science, Aaurhus University, Aarhus, Denmark, 1999.
- Christensen S., Mortensen К. H. Design/CPN ASK-CTL Manual, Version 0.9. // Department of Computer Science, Aaurhus University, Aarhus, Denmark, 1996.
- Christensen S., Kristensen L. M., Mailund T. Design/CPN Sweep Line Method Library. // Department of Computer Science, Aarhus University, Denmark, 2001.
- University of Aarhus. Design/CPN Online. Web site: http://www.daimi.au.dk/designCPN/
- University of Aarhus. CPNTools Online. Web site: http://www.daimi.au.dk/"cpntools/
- Ullman J. D. Elements of ML Programming. // Prentice Hall, Englewood Cliffs, NJ, 1994.
- Milner R., Tofte M., Harper R., MacQueen D. The Definition of Standard ML (Revised). // MIT Press, 1997.
- Standard ML of New Jersey. Web site: http://cm.bell-labs.com/cm/cs/what/smlnj.