Checkability of hierarchical transmitions for behavioral check
Abstract
The means of on-line testing of complex distributed information systems (DIS), often possessing criticality properties, must ensure their complete verifica-tion in real time. The high structural-functional and combinatorial complexity of modern DIS translates most of the tasks of their construction and analysis into the NP-hard class. To a large extent, this refers to the design and analysis stages of the system-architectural, structural-functional, and especially behavioral levels. This state is even more aggravated by the dynamism, non-determinism, intelli-gence of situational component interactions of DIS. In designing DIS, the issues of ensuring the reliability of their functioning play a crucial role. Existing and promising models and methods for checking and diagnosing DIS, providing their solution, inherit these features, in addition, they can often exceed the complexity of the corresponding models and design methods. These circumstances necessi-tate the use of decomposition, network and hierarchical models, multi-level, in-cremental and parallel methods that reduce the dimensionality of the tasks of building and analyzing DIS, in particular, behavioral check and diagnosis. This reduction is particularly significant with operational behavioral on-line testing performed in real-time DIS operation. The article discusses certain aspects of de-composition hierarchical models of behavioral on-line testing - formal models of inheritance of testability in the hierarchical transitions of a multi-level behavioral check model of DIS based on hierarchical Petri nets. This model provides a defi-nition of the mechanisms for interlevel inheritance of the identified check behav-ior, which is essential for the hierarchical temporal decomposition of on-line tes- ting. Inheritance is based on the use in hierarchical transitions of compatibility and quasi-order relations for alphabets of positions, transitions, input-output al-phabets and associated conditions, events, actions, functions of hierarchical Petri nets when organizing reference recognition of their behavior.
References
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.
ISSN 
