Контролепридатність ієрархічних переходів у поведінковому контролі
Анотація
Засоби робочого контролю складних розподілених інформаційних систем (РІС), що часто володіють властивостями критичності застосування, ма-ють забезпечувати їх повну перевірку в реальному часі. Контроль слід викону-вати не тільки для статичних апаратної, програмної та інформаційної скла-дових РІС, але й для динамічних інформаційно-керуючих потоків, що відпові-дають основним функціям і сценаріям роботи та встановлюють поведінку РІС. Розглянуто спадкування контролепридатності для переходів ієрархічних поведінкових моделей РІС, суттєвої у часовій декомпозиції робочого контро-лю. Спадкування ґрунтується на використанні в ієрархічних переходах відно-син сумісності та квазіпорядку для умов, подій, дій, функцій, відповідних їм вхідних-вихідних сигналів у процесі організації фонового розпізнавання поведін-ки ієрархічних мереж Петрі.
Посилання
1. Coulouris G., Dollimore J., Kindberg T. and Blair G. (2011), Distributed Systems: Concepts and Design, 5th ed. Boston : Addison-Wesley, 1067 p.
2. Hahanov V., Litvinova E. and Chumachenko S. (2017), Cyber Physical Computing for IoT-driven Services. Springer, 279 p.
3. Kharchenko V., Gorbenko A., Sklyar V. and Phillips C. (2013), “Green Computing and Communications in Critical Application Domains: Challenges and Solutions” // IX International Conference of Digital Technologies, Zhilina, Slovak Republic, pp. 191–197.
4. Romankevich V. A. (2017), “Self-testing of multiprocessor systems with regular diagnostic connections” // Automation and Remote Control, vol. 78, issue 2, pp. 289–299.
5. Drozd O., Antoshchuk S., Rucinski A. and Martinuk A. (2008), Parity prediction method for on-line testing A Barrel-shifter // Proc. IEEE East-West Design & Test Symposium, Lviv, Ukraine, pp. 208–213. DOI: 10.1109/EWDTS.2008.5580162.
6. Drozd O., Antoshchuk S., Martinuk A. and Drozd J. (2010), Increase in reliability of on-line testing methods using natural time redundancy // Proc. IEEE East-West Design & Test Symposium. Moscow, Russia, pp. 223–229.
7. Hahanov V., Litvinova E., Obrizan V. and Gharibi W. (2008), “Embed-ded method of SoC diagnosis” // Elektronika in Elektrotechn, vol. 8, pp. 3–8.
8. Kudryavtsev V. B., Grunskii I. S. and Kozlovskii V. A. (2010), “Analysis and synthesis of abstract automata” // Journal of Mathematical Sciences, vol. 169, issue 4, pp. 481–532. 9. Gomes L. and Fernandes J. M. (2010), Behavioral Modeling for Embed-ded Systems and Technologies: Applications for Design and Implementation, 494 p. DOI: 10.4018/978-1-60566-750-8. 10. Zaitsev D. A. (2013), Toward the Minimal Universal Petri Net // IEEE Transactions on Systems, Man, and Cybernetics: Systems, pp. 1–12.
11. Martynyuk O., Sugak A., Martynyuk D. and Drozd O. (2017), “Evolu-tionary Network Model of Testing of the Distributed Information Systems” // Proc. 9th IEEE International Conference on Intelligent Data Acquisition and Ad-vanced Computing Systems: Technology and Applications, Bucharest, Romania, pp. 888–893. DOI: 10.1109/IDAACS.2017.8095215. 12. Martynyuk A. N., Tamim A., Martynyuk D. A. and Drozd A. V. (2018), “Povedencheskiy rabochiy kontrol' setevykh komp'yuternykh sistem” [“Behavior-al Working Control of Network Computer Systems”] // Journal Elektrotekhnich-eskiye i komp'yuternyye sistemy [Electrotechnical and Computer Systems], vol. 28 (104), pp. 201–207. DOI: http://dx.doi.org/10.15276/eltecs.28.104. 2018.24 [Russia].
13. Skobtsov Yu. A. and Skobtsov V. Yu. (2011), Evolutionary test genera-tion methods for digital devices // Design of Digital Systems and Devices / [eds.: M.Adamski et al.], Berlin: Springer-Verlag, pp. 331–361 (Lecture Notes in Elec-trical Engineering, vol. 79).
14. Drozd O., Drozd M., Martynyuk O. and Kuznietsov M. (2017), “Im-proving of a Circuit Checkability and Trustworthiness of Data Processing Results in LUT-based FPGA Components of Safety-Related Systems” // CEUR Work-shop Proceedings, vol. 1844, pp. 654–661.
15. Sugak H., Martynyuk O. and Drozd A. (2015), “Models of the Mutation and Immunity in Test Behavioral Evolution” // Proc. 8th IEEE International Con-ference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, Warsaw, Poland, pp. 790–795.
2. Hahanov V., Litvinova E. and Chumachenko S. (2017), Cyber Physical Computing for IoT-driven Services. Springer, 279 p.
3. Kharchenko V., Gorbenko A., Sklyar V. and Phillips C. (2013), “Green Computing and Communications in Critical Application Domains: Challenges and Solutions” // IX International Conference of Digital Technologies, Zhilina, Slovak Republic, pp. 191–197.
4. Romankevich V. A. (2017), “Self-testing of multiprocessor systems with regular diagnostic connections” // Automation and Remote Control, vol. 78, issue 2, pp. 289–299.
5. Drozd O., Antoshchuk S., Rucinski A. and Martinuk A. (2008), Parity prediction method for on-line testing A Barrel-shifter // Proc. IEEE East-West Design & Test Symposium, Lviv, Ukraine, pp. 208–213. DOI: 10.1109/EWDTS.2008.5580162.
6. Drozd O., Antoshchuk S., Martinuk A. and Drozd J. (2010), Increase in reliability of on-line testing methods using natural time redundancy // Proc. IEEE East-West Design & Test Symposium. Moscow, Russia, pp. 223–229.
7. Hahanov V., Litvinova E., Obrizan V. and Gharibi W. (2008), “Embed-ded method of SoC diagnosis” // Elektronika in Elektrotechn, vol. 8, pp. 3–8.
8. Kudryavtsev V. B., Grunskii I. S. and Kozlovskii V. A. (2010), “Analysis and synthesis of abstract automata” // Journal of Mathematical Sciences, vol. 169, issue 4, pp. 481–532. 9. Gomes L. and Fernandes J. M. (2010), Behavioral Modeling for Embed-ded Systems and Technologies: Applications for Design and Implementation, 494 p. DOI: 10.4018/978-1-60566-750-8. 10. Zaitsev D. A. (2013), Toward the Minimal Universal Petri Net // IEEE Transactions on Systems, Man, and Cybernetics: Systems, pp. 1–12.
11. Martynyuk O., Sugak A., Martynyuk D. and Drozd O. (2017), “Evolu-tionary Network Model of Testing of the Distributed Information Systems” // Proc. 9th IEEE International Conference on Intelligent Data Acquisition and Ad-vanced Computing Systems: Technology and Applications, Bucharest, Romania, pp. 888–893. DOI: 10.1109/IDAACS.2017.8095215. 12. Martynyuk A. N., Tamim A., Martynyuk D. A. and Drozd A. V. (2018), “Povedencheskiy rabochiy kontrol' setevykh komp'yuternykh sistem” [“Behavior-al Working Control of Network Computer Systems”] // Journal Elektrotekhnich-eskiye i komp'yuternyye sistemy [Electrotechnical and Computer Systems], vol. 28 (104), pp. 201–207. DOI: http://dx.doi.org/10.15276/eltecs.28.104. 2018.24 [Russia].
13. Skobtsov Yu. A. and Skobtsov V. Yu. (2011), Evolutionary test genera-tion methods for digital devices // Design of Digital Systems and Devices / [eds.: M.Adamski et al.], Berlin: Springer-Verlag, pp. 331–361 (Lecture Notes in Elec-trical Engineering, vol. 79).
14. Drozd O., Drozd M., Martynyuk O. and Kuznietsov M. (2017), “Im-proving of a Circuit Checkability and Trustworthiness of Data Processing Results in LUT-based FPGA Components of Safety-Related Systems” // CEUR Work-shop Proceedings, vol. 1844, pp. 654–661.
15. Sugak H., Martynyuk O. and Drozd A. (2015), “Models of the Mutation and Immunity in Test Behavioral Evolution” // Proc. 8th IEEE International Con-ference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, Warsaw, Poland, pp. 790–795.
Опубліковано
2018-12-27
Як цитувати
Martynyuk, O. N., Ahmesh, T., Drozd, O. V., & Stepova, H. S. (2018). Контролепридатність ієрархічних переходів у поведінковому контролі. Системи та технології, 1(56), 30-40. https://doi.org/10.32836/2521-6643-2018-1-56-3
Розділ
Articles
ISSN 
