Методика моделювання протоколів інформаційного обміну з використанням Е-мереж та ймовірносно - часових графів

Abstract

UA: Дисертація присвячена розробці методики моделювання протоколів інформаційного обміну, що дозволяє підвищити повноту та ефективність їх аналізу. Аналіз вимог до засобів аналізу протоколів інформаційного обміну показав, що методика моделювання, що пропонується повинна будуватися на комплексному використанні методів імітаційного та аналітичного моделювання. В якості засобу імітаційного моделювання використовуються Е-мережі, ймовірностно-часові графи використовуються як засіб аналітичного моделювання. В якості основного, в запропонованій методиці, використовується метод імітаційного моделювання, метод аналітичного моделювання використовується в якості перевірочного. Для підвищення точності моделей у апарат Е-мереж введені доповнення: розширені множини переходів, місць. Для розширення області використання ЙЧГ розроблений метод аналізу графів до яких неможливе застосування методу еквівалентних перетворень. Розроблена загальна методика моделювання базується на узагальнені часткових методик окремих рівній та дозволяє: зробити розробку моделі відповідно належності протоколу до визначеного рівня ВВС і особливостями функціонування; для розробленої Е-мережі провести перевірку її коректності та імітаційне моделювання; здійснити перехід від імітаційної моделі до аналітичної, для уточнення чи перевірки результатів імітаційного моделювання. Адекватність методики моделювання преревірялась шляхом порівняння результатів моделювання з відомими. Для реалізації запропонованої методики моделювання розроблений програмний комплекс, до складу якого входять програми побудови і аналізу моделей, що наведені у вигляді Е-мереж та ЙЧГ.

EN: The thesis is dedicated to development of the methods of modeling protocol information exchange which capable to race efficiency of their analysis. The analysis of the requirements to simular protocol information exchange is performed. For their satisfactions under development methods must be based on complex using analytical and simulation methods of modeling is shown, also. Е-nets and probabilistic-temporary graphs are used for the analysis. For increasing of adequacy of the under development models in means Е-nets additions (the extended ensemble transition, places) is incorporated. For expansion of the range of usage probabilistic-temporary graphs the method of the analysis graphs for which impossible using the method of the equivalent transformations is designed. The designed methods of modeling allows: produce the development to models in accordance with attribute of the protocol to determined level of the architecture interacting opened systems and particularity of the operation; for designed Е-nets execute check to its correctness and simulation modeling; realize transition from simulation model to analytical. The general method of modeling is based on partial methods modeling protocol separate level. Adequacy of the designed methods of modeling was checked by comparisons result of modeling with known result. For realization of the proposed methods of modeling the program complex which include the programs of the building and analysis of the models presented as Е-nets and probabilistic-temporary graphs is designed.