Класифікація підходів у імітаційному моделюванні децентралізованих обчислювальних систем

Автор(и)

  • Антон Сергеевич Краевой ассистент кафедры Математических Методов Системного Анализа при НТУ «КПИ»,

DOI:

https://doi.org/10.20535/1560-8956.14.2009.33917

Анотація

Розглянуті такі підходи у моделюванні розподілених систем: моделювання простору станів, статистичне моделювання потоків даних, моделювання логічної структурі системи. Показані приклади оцінок ефективності логічної структури и необхідність застосування структурного моделювання для децентралізованих систем.

Посилання

Тимошенко Ю. Краєвий А. Огляд і класифікація програмно-апаратних засобів побудови розподілених обчислювальних систем // Наукові вісті НТУУ „КПІ”. — 2006. — № 2. – 13 с.

Vlaovivc B. Vree A. Brezovcnik Z. et al. Automated generation of Promela model from SDL specification // Comput. Stand. Interfaces Journal. – Elsevier Science Publishers B. V., Amsterdam. – 2007. – Vol. 29, No. 4. – P. 449-461. – ISSN 0920-5489.

Holzmann G. J. The Model Checker SPIN // IEEE Trans. Softw. Eng. – IEEE Press, Pictaway. – 1997. – Vol. 23, No. 5. – P. 279-295. – ISSN: 0098-5589

Havelund K. Shankar N. Experiments in theorem proving and model checking for protocol verification // FME ’96: Proc. of the third intern. symp. of formal methods, Europe on industrial benefit and advances in formal methods. – Springer-Verlag, London. – 1996. – pp. 662-681.

Archibald J. Baer J.-L. Cache coherence protocols: evaluation using a multiprocessor simulation model // ACM Trans. Comput. Syst. – ACM Press, New York. – 1986. – Vol. 4, No. 4. – P. 273-298. – ISSN 0734-2071.

Binkert N. L. Dreslinski R. G. et al. The M5 Simulator: Modeling Net-worked Systems // IEEE Micro. – IEEE Computer Society Press, Los Alamitos. – 2006. –Vol. 26, No. 4. – P. 56-60. – ISSN 0272-1732.

Hardavellas N. Somogyi S. et al. SimFlex: a fast, accurate, flexible full-system simulation framework for performance evaluation of server architecture // SIGMETRICS Perform. Eval. Rev. – ACM Press, New York. – 2004. – Vol. 31, No. 4. – P. 31-34. – ISSN 0163-5999.

Martin M. M. K. Sorin D. J. Beckmann B. M. et al. Multifacet's general execution-driven multiprocessor simulator (GEMS) toolset // SIGARCH Comput. Archit. News. – ACM Press, New York. – 2005. – Vol. 33, No. 4. – P. 92-99. – ISSN 0163-5964.

Paxson V. Fast approximate synthesis of fractional Gaussian noise for generating self-similar network traffic // SIGCOMM Comput. Commun. Rev. – Vol. 27, No. 5. – 1997. – pp. 5–18. – ISSN: 0146-4833.

Paxson V. Floyd S. Why we don't know how to simulate the Internet // WSC '97: Proceedings of the 29th conference on Winter simulation, Atlanta. – IEEE Computer Society, Washington. – 1997. – P. 1037-1044 – ISBN 0-7803-4278-X.

Lucio G. F. Paredes-Farrera M. Jammeh E. et al. Opnet modeler and ns-2: Comparing the accuracy of network simulators for packet-level analysis using a network testbed // In Proc. of 3rd WSEAS Int. Conf. on Simulation, Modeling and Optimization, Rethymno, Greece. – World Scientific and Engineering Academy and Society (WSEAS), Stevens Point. – October 2003 – No. 3, Vol. 2. – P. 700-707. – ISSN: 1109-2750.

Naicken S. Livingston B. Basu A. et al. The state of peer-to-peer simula-tors and simulations // SIGCOMM Comput. Commun. Rev. – ACM Press, New York. – Vol. 37, No 2. – April 2007. – P. 95-98.

Albert R.S. Statistical mechanics of complex networks // Ph.D. thesis, dir. Barabasi A.L. – University of Notre Dame, Notre Dame. – 2001. – ISBN 0-493-08502-5.

Rahman M.A. Pakstas A. Wang F.Z. Network Modelling and Simulation Tools // PGNET 2007 The 8th Annual Postgraduate Symposium on The Conver-gence of Telecommunications, Networking and Broadcasting (ed. Merabti M.). – John Moores University, Liverpool. – 2007.

Stoica I. Morris R. Liben-Nowell D. et al. Chord: a scalable peer-to-peer lookup protocol for internet applications. // IEEE/ACM Transactions on Network-ing. – Feb. 2003. – IEEE Press, Piscataway: – Vol. 11, No 1. – P: 17 – 32. – ISSN 1063-6692.

Aberer K. Cudr'e-Mauroux Ph. Datta A. et al. P-Grid: a self-organizing structured P2P system // SIGMOD Rec. – ACM Press, New York – 2003. – Vol. 32, No. 3. – P. 29-33. – ISSN 0163-5808.

Краевой А. Способи оцінки моделей обчислювальних мереж // Управление развитием: Тезисы междунар. научн.-практ. конф. «Стратегії ІТ-технологій в освіті, економіці та екології» (15-16 ноября 2007 г.). – №10. – Харьков. – Харьковский нац. экон. ун-т. – стр. 22-23.

Краевой А. Подходы в оценке устойчивости сетевых структур // Те-зисы 26-ой научн.-техн. конф. «Моделювання» 12-13 янв. 2007, стр. 40-42

##submission.downloads##

Опубліковано

2009-12-16

Номер

Том 1 № 14 (2009): Адаптивні системи автоматичного управління

Розділ

Статті

Ліцензія

Автори залишають за собою право на авторство своєї роботи та передають журналу право першої публікації цієї роботи на умовах ліцензії Creative Commons Attribution License, котра дозволяє іншим особам вільно розповсюджувати опубліковану роботу з обов'язковим посиланням на авторів оригінальної роботи та першу публікацію роботи у нашому журналі.

2. Автори мають право укладати самостійні додаткові угоди щодо неексклюзивного розповсюдження роботи у тому вигляді, в якому вона була опублікована нашим журналом (наприклад, розміщувати роботу в електронному сховищі установи або публікувати у складі монографії), за умови збереження посилання на першу публікацію роботи у нашому журналі.

3. Політика журналу дозволяє і заохочує розміщення рукопису роботи авторами в мережі Інтернет (наприклад, на arXiv.org або на особистих веб-сайтах).  Причому рукописи статей можуть бути розміщенні у відкритих архівах як до подання рукопису до редакції, так і під час його редакційного опрацювання. Це сприяє виникненню продуктивної наукової дискусії, позитивно позначається на оперативності ознайомлення наукової спільноти з результатами Ваших досліджень і як наслідок на динаміці цитування вже опублікованої у журналі роботи. Детальніше про це:  The Effect of Open Access.