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

dc.contributor.advisorФедасюк, Дмитро Васильович
dc.contributor.authorВолочій, Сергій Богданович
dc.contributor.committeeMemberХарченко, В’ячеслав Сергійович
dc.contributor.committeeMemberДивак, Микола Петрович
dc.coverage.countryUAuk_UA
dc.coverage.placenameЛьвівuk_UA
dc.date.accessioned2018-04-19T07:55:23Z
dc.date.available2018-04-19T07:55:23Z
dc.date.issued2018
dc.description.abstractУ дисертаційній роботі розв’язано актуальне наукове завдання розроблення математичного та програмного забезпечення для автоматизації процесу побудови дискретно-неперервних стохастичних моделей поведінки відмовостійких програмно-технічних комплексів у вигляді графа станів та переходів. В основу математичного забезпечення покладено структурно-автоматну модель. Розроблене математичне забезпечення включає в себе: метод визначення компонент структурно-автоматних моделей на основі опорного графа станів та перехо-дів, метод побудови опорного графа станів та переходів на основі базових подій, метод валідації структурно-автоматних моделей поведінки відмовостійких програмно-технічних комплексів, метод модифікації структурно-автоматних моделей для використання методу фаз Ерланга. Ці методи покладені в основу методик реалізації окремих етапів розроблення дискретно-неперервних стохастичних моделей поведінки відмовостійких програмно-технічних комплексів. На основі цих методик розроблено алгоритми роботи програмних модулів «Побудова опорного графа станів на основі базових подій», «Визначення компонент структурно-автоматних моделей на основі опорного графа станів», «Валідація структурно-автоматних моделей». В диссертационной работе решено актуальное научное задание разработки математического и программного обеспечения для автоматизации процесса создания дискретно-непрерывных стохастических моделей поведения отказоустойчивых программно-технических комплексов в виде графа состояний и переходов. В основу математического обеспечения положено структурно-автоматную модель. Разработанное математическое обеспечение включает в себя: метод определения компонент структурно-автоматных моделей на основе опорного графа состояний и переходов, метод построения опорного графа состояний и переходов на основе базовых событий, метод валидации структурно-автоматных моделей поведения отказоустойчивых программно-технических комплексов, метод модификации структурно-автоматных моделей для использования метода фаз Эрланга. Эти методы положены в основу методик реализации отдельных этапов разработки дискретно-непрерывных стохастических моделей поведения отказоустойчивых программно-технических комплексов. На основе этих методик разработаны алгоритмы работы программных модулей «Построение опорного графа состояний на основе базовых событий», «Определение компонент структурно-автоматных моделей на основе опорного графа состояний», «Валидация структурно-автоматных моделей». In the practice of system engineering design of hardware-software systems, it is ne-cessary to develop discrete-continuous stochastic models of statistical representation of their behavior. The development of such models is based on the space-state method, the main difficulty of which lies in the development of a state graph. This approach has two limitations. First – an engineer needs to develop the states dia-gram for each variant of system’s configuration in a limited timeframe (40-80 hours). For systems with thousands of states, this is an impossible problem to solve manually. Second limitation – Chapman–Kolmogorov differential equations are developed from states dia-gram with an assumption that duration of all procedures, and time interval between events are random values with the exponential distribution law. In practice, such assumption is not valid and it decreases the reliability of modeling results. There is a known approach, based on so-called “structural-automaton models”, which allows to automate the states diagram development. Therefore, it allows to remove these limitations. This dissertation presents a solution for an actual scientific problem of the development of the software and the mathematical support for automating the process of development of structural-automaton models of fault-tolerant hardware-software systems behavior. Presented solution includes the method of automated development of structural-automaton models from sample states diagram, method of automatized development of sample states diagram by basic events, method of structural-automaton model validation, and method of usage of Erlang phase method inside the structural-automaton model. Listed methods are the basis of developed software tool prototype for the development of states diagrams of behavior of fault-tolerant hardware-software systems.uk_UA
dc.format.pages199
dc.identifier.citationВолочій С. Б. Математичне та програмне забезпечення для розроблення дискретно-неперервних стохастичних моделей поведінки відмовостійких програмно-технічних комплексів : дисертація на здобуття наукового ступеня кандидата технічних наук : 01.05.03 – математичне та програмне забезпечення обчислювальних машин і систем / Сергій Богданович Волочій ; Міністерство освіти і науки України, Національний університет «Львівська політехніка». – Львів, 2018. – 199 с. – Бібліографія: с. 154–175 (173 назви).uk_UA
dc.identifier.urihttps://ena.lpnu.ua/handle/ntb/40716
dc.language.isoukuk_UA
dc.publisherНаціональний університет "Львівська політехніка"uk_UA
dc.source.urihttp://lp.edu.ua/research/disscoun/d-3505205/volochiy-sergiy-bogdanovych
dc.subjectвідмовостійка системаuk_UA
dc.subjectнадійнісне проектуванняuk_UA
dc.subjectдискретно-неперервна стохастична модельuk_UA
dc.subjectметод фаз Ерлангаuk_UA
dc.subjectструктурно-автоматна модельuk_UA
dc.subjectотказоустойчивая системаuk_UA
dc.subjectнадежностное проектированиеuk_UA
dc.subjectдискретно-непрерывная стохастическая модельuk_UA
dc.subjectметод фаз Эрлангаuk_UA
dc.subjectструктурно-автоматная модельuk_UA
dc.subjectfault-tolerant systemuk_UA
dc.subjectreliability engineeringuk_UA
dc.subjectdiscrete-continuous stochas-tic systemuk_UA
dc.subjectErlang phase methoduk_UA
dc.subjectstructural-automaton modeluk_UA
dc.subject.udc004.052+004.94uk_UA
dc.titleМатематичне та програмне забезпечення для розроблення дискретно-неперервних стохастичних моделей поведінки відмовостійких програмно-технічних комплексівuk_UA
dc.title.alternativeМатематическое и программное обеспечение для разработки дискретно-непрерывных стохастических моделей поведения отказоустойчивых программно-технических комплексовuk_UA
dc.title.alternativeSoftware and mathematical support for the development of discrete-continuous stochastic models of behavior of fault-tolerant hardware-software complexesuk_UA
dc.typeDissertation Abstractuk_UA
thesis.degree.departmentД 35.052.05
thesis.degree.nameкандидат технічних наук

Files

Original bundle

Now showing 1 - 4 of 4
Thumbnail Image
Name:
avt_Volochiy.pdf
Size:
1.05 MB
Format:
Adobe Portable Document Format
Description:
Автореферат дисертації
Thumbnail Image
Name:
dys_volochiy_s.b.pdf
Size:
4.49 MB
Format:
Adobe Portable Document Format
Description:
Дисертаційна робота
Thumbnail Image
Name:
vidguk1_volochiy_s.b.pdf
Size:
35.17 MB
Format:
Adobe Portable Document Format
Description:
Відгук офіційного опонента
Thumbnail Image
Name:
vidguk2_volochiy_s.b.pdf
Size:
22.49 MB
Format:
Adobe Portable Document Format
Description:
Відгук офіційного опонента

License bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
2.99 KB
Format:
Item-specific license agreed upon to submission
Description: