Please use this identifier to cite or link to this item: http://ena.lp.edu.ua:8080/handle/ntb/41039
Title: Методика розроблення структурно-автоматних моделей відмовостійких систем з альтернативними продовженнями випадкових процесів після процедур контролю, перемикання і відновлення
Authors: Федасюк, Д.
Волочій, С.
Affiliation: Національний університет “Львівська політехніка”
Bibliographic description (Ukraine): Федасюк Д. Методика розроблення структурно-автоматних моделей відмовостійких систем з альтернативними продовженнями випадкових процесів після процедур контролю, перемикання і відновлення / Д. Федасюк, С. Волочій // Вісник Національного університету «Львівська політехніка». Серія: Комп’ютерні науки та інформаційні технології. — Львів : Видавництво Львівської політехніки, 2017. — № 864. — С. 49–62.
Bibliographic description (International): 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.
Is part of: Вісник Національного університету «Львівська політехніка». Серія: Комп’ютерні науки та інформаційні технології, 864, 2017
Journal/Collection: Вісник Національного університету «Львівська політехніка». Серія: Комп’ютерні науки та інформаційні технології
Issue: 864
Issue Date: 28-Mar-2017
Publisher: Видавництво Львівської політехніки
Place of the edition/event: Львів
UDC: 004.942
004.896
Keywords: відмовостійка система
надійнісна модель
дискретно-неперервна стохастична модель
граф станів і переходів
структурно-автоматна модель
fault-tolerant system
reliability modeling
discrete-continuous stochastic model
states-transitions model
states-transitions diagram
structural-automaton model
Number of pages: 14
Page range: 49-62
Start page: 49
End page: 62
Abstract: У технології розроблення дискретно-неперервних стохастичних моделей відмово- стійких систем важливим етапом є розроблення графу станів і переходів. Є відомою методика розроблення графу станів і переходів, в основу якої покладено структурно- автоматну модель відмовостійкої системи. Ступінь формалізації методики побудови графу станів дав змогу її автоматизувати в програмному засобі 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.
URI: http://ena.lp.edu.ua:8080/handle/ntb/41039
Copyright owner: © Національний університет “Львівська політехніка”, 2017
© Федасюк Д., Волочій С., 2017
URL for reference material: 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
References (Ukraine): 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.
References (International): 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.
Content type: Article
Appears in Collections:Комп'ютерні науки та інформаційні технології. – 2017. – №864



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.