Методика розроблення структурно-автоматних моделей відмовостійких систем з альтернативними продовженнями випадкових процесів після процедур контролю, перемикання і відновлення
Електронний науковий архів Науково-технічної бібліотеки Національного університету "Львівська політехніка"
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Методика розроблення структурно-автоматних моделей відмовостійких систем з альтернативними продовженнями випадкових процесів після процедур контролю, перемикання і відновлення
|
|
| Creator |
Федасюк, Д.
Волочій, С. |
|
| Contributor |
Національний університет “Львівська політехніка”
|
|
| Subject |
відмовостійка система
надійнісна модель дискретно-неперервна стохастична модель граф станів і переходів структурно-автоматна модель fault-tolerant system reliability modeling discrete-continuous stochastic model states-transitions model states-transitions diagram structural-automaton model 004.942 004.896 |
|
| Description |
У технології розроблення дискретно-неперервних стохастичних моделей відмово- стійких систем важливим етапом є розроблення графу станів і переходів. Є відомою методика розроблення графу станів і переходів, в основу якої покладено структурно- автоматну модель відмовостійкої системи. Ступінь формалізації методики побудови графу станів дав змогу її автоматизувати в програмному засобі ASNA. Якщо в струк- турно-автоматній моделі відсутні помилки, то граф станів будується безпомилково. Але актуальною залишається задача безпомилкового розроблення структурно-автоматної моделі. Наведено методику розроблення структурно-автоматних моделей відмовостій- ких систем з альтернативними продовженнями випадкових процесів після закінчення процедур контролю, перемикання і відновлення, яка забезпечує безпомилкову їх побудову і в якій трудомісткі процедури піддаються автоматизації. The development of states-transitions model is an important stage in the technology of the development of the discrete-continuous stochastic models of fault-tolerant systems. There is a known method of developing the states-transitions model, which is based on an algorithm of constructing the state-transitions models out of so-called “structural-automaton model”. This method is implemented in a software tool prototype called “ASNA”. If structuralautomaton model is errorless, resulting states-transitions model will be errorless as well. Therefore, there is an actual problem of developing an errorless structural-automaton model. This paper presents the method of developing the structural-automaton models of faulttolerant systems, which considers alternate outcomes of stochastic processes after completion of switching, recovering and controlling procedures. Presented method allows to develop errorless models as well as to automate laborious procedures. |
|
| Date |
2018-05-04T13:01:07Z
2018-05-04T13:01:07Z 2017-03-28 2017-03-28 |
|
| Type |
Article
|
|
| Identifier |
Федасюк Д. Методика розроблення структурно-автоматних моделей відмовостійких систем з альтернативними продовженнями випадкових процесів після процедур контролю, перемикання і відновлення / Д. Федасюк, С. Волочій // Вісник Національного університету «Львівська політехніка». Серія: Комп’ютерні науки та інформаційні технології. — Львів : Видавництво Львівської політехніки, 2017. — № 864. — С. 49–62.
http://ena.lp.edu.ua:8080/handle/ntb/41039 Fedasiuk D. Metodyka rozroblennia strukturno-avtomatnykh modelei vidmovostiikykh system z alternatyvnymy prodovzhenniamy vypadkovykh protsesiv pislia protsedur kontroliu, peremykannia i vidnovlennia / D. Fedasiuk, S. Volochii // Visnyk Natsionalnoho universytetu "Lvivska politekhnika". Serie: Kompiuterni nauky ta informatsiini tekhnolohii. — Lviv : Vydavnytstvo Lvivskoi politekhniky, 2017. — No 864. — P. 49–62. |
|
| Language |
uk
|
|
| Relation |
Вісник Національного університету «Львівська політехніка». Серія: Комп’ютерні науки та інформаційні технології, 864, 2017
http://www.crimsonquality.com/products/markov/ http://www.itemuk.com/markov.html http://www.sohar.com/downloads/download-reliability-and-safety-software.html http://www.isograph.com/software/reliability-workbench/markovanalysis/(аccessed 1. Program complex Windchill Quality Solutions (formerly Relex). Available at: http://www.crimsonquality.com/products/markov/. (аccessed 28.03.2016). 2. Program complex ITEM Software. Available at: http://www.itemuk.com/markov.html. (аccessed 28.03.2016). 3. Program complex RAM Commander - Markov Chains Module. Available at: http://www.sohar.com/downloads/download-reliability-and-safety-software.html. (аccessed 28.03.2016). 4. Program complex ISOGRAPH. Available at: http://www.isograph.com/software/reliability-workbench/markovanalysis/(аccessed 31.03.2016). 5. Федасюк, Д. В. Методика розроблення структурно- автоматних моделей дискретно-неперервних стохастичних систем [Текст] / Д. В. Федасюк, С. Б. Волочій // Радіоелектронні та комп’ютерні системи. - Харків: Національний аерокосмічний університет ім. М.Є. Жуковського “Харківський авіаційний інститут”, 2016. - № 6 (80). - С. 24-34. 6. Волочій Б. Ю. Технологія моделювання алгоритмів поведінки інформаційних систем [Текст] / Б. Ю. Волочій. – Львів: Вид-во Національного університету „Львівська політехніка”, 2004. – 220 с. 7. Fedasyuk D. Method of developing the behavior models in form of states diagram for complex information systems [Text] / D. Fedasyuk, S. Volochiy // Computer science and information technologies: Proceedings of the X International Scientific and Technical Conference CSIT 2015. - Lviv, 2015. - P. 5–8. 8. Яковина В. С. Програмний модуль для розробки моделей поведінки складних технічних систем [Текст] / В. С. Яковина, С. Б. Волочій // Сучасні інформаційні технології в економіці, менеджменті та освіті (СІТЕМ-2012) : Матеріали III Всеукраїнської науково-практичної конференції. - Львів, 2012. - С. 234–237. 9. Волочій Б. Ю. Системотехнічне проектування телекомунікаційних мереж. Практикум: навчальний посібник / Б. Ю. Волочій, Л. Д. Озірковський. - Львів: Видавництво Львівської політехніки, 2012. - 128 с. 10. Федасюк Д. В. Структурно-автоматна модель відмовостійких систем для автоматизації використання методу фаз Ерланга [Текст] / Д. В. Федасюк, С. Б. Волочій // Радіоелектронні та комп’ютерні системи. - Харків: Національний аерокосмічний університет ім. М.Є. Жуковського “Харківський авіаційний інститут”, 2016. - № 3 (77). - С. 78-92. 1. Program complex Windchill Quality Solutions (formerly Relex). Available at: http://www.crimsonquality.com/products/markov/. (accessed 28.03.2016). 2. Program complex ITEM Software. Available at: http://www.itemuk.com/markov.html. (accessed 28.03.2016). 3. Program complex RAM Commander - Markov Chains Module. Available at: http://www.sohar.com/downloads/download-reliability-and-safety-software.html. (accessed 28.03.2016). 4. Program complex ISOGRAPH. Available at: http://www.isograph.com/software/reliability-workbench/markovanalysis/(accessed 31.03.2016). 5. Fedasiuk, D. V. Metodyka rozroblennia strukturno- avtomatnykh modelei dyskretno-neperervnykh stokhastychnykh system [Text], D. V. Fedasiuk, S. B. Volochii, Radioelektronni ta kompiuterni systemy, Kharkiv: Natsionalnyi aerokosmichnyi universytet im. M.Ye. Zhukovskoho "Kharkivskyi aviatsiinyi instytut", 2016, No 6 (80), P. 24-34. 6. Volochii B. Yu. Tekhnolohiia modeliuvannia alhorytmiv povedinky informatsiinykh system [Text], B. Yu. Volochii, Lviv: Vyd-vo Natsionalnoho universytetu "Lvivska politekhnika", 2004, 220 p. 7. Fedasyuk D. Method of developing the behavior models in form of states diagram for complex information systems [Text], D. Fedasyuk, S. Volochiy, Computer science and information technologies: Proceedings of the X International Scientific and Technical Conference CSIT 2015, Lviv, 2015, P. 5–8. 8. Yakovyna V. S. Prohramnyi modul dlia rozrobky modelei povedinky skladnykh tekhnichnykh system [Text], V. S. Yakovyna, S. B. Volochii, Suchasni informatsiini tekhnolohii v ekonomitsi, menedzhmenti ta osviti (SITEM-2012) : Materialy III Vseukrainskoi naukovo-praktychnoi konferentsii, Lviv, 2012, P. 234–237. 9. Volochii B. Yu. Systemotekhnichne proektuvannia telekomunikatsiinykh merezh. Praktykum: navchalnyi posibnyk, B. Yu. Volochii, L. D. Ozirkovskyi, Lviv: Vydavnytstvo Lvivskoi politekhniky, 2012, 128 p. 10. Fedasiuk D. V. Strukturno-avtomatna model vidmovostiikykh system dlia avtomatyzatsii vykorystannia metodu faz Erlanha [Text], D. V. Fedasiuk, S. B. Volochii, Radioelektronni ta kompiuterni systemy, Kharkiv: Natsionalnyi aerokosmichnyi universytet im. M.Ye. Zhukovskoho "Kharkivskyi aviatsiinyi instytut", 2016, No 3 (77), P. 78-92. |
|
| Rights |
© Національний університет “Львівська політехніка”, 2017
© Федасюк Д., Волочій С., 2017 |
|
| Format |
49-62
14 application/pdf image/png |
|
| Coverage |
Львів
|
|
| Publisher |
Видавництво Львівської політехніки
|
|