Analysis of Petri network application for support of functional sustainability of information system

DOI №________________

Abstract

Functional stability of the information system ‒ the property of the system to be in the able state to work, that is, to perform the necessary functions within the given interval of time or works in the conditions of refusals of component parts through external and internal factors. Indicators of functional stability characterize the result of its provision by redistributing of existing redundancy or resources in extraordinary situations. The key is that at the design stage no additional redundancy should be introduced, and the parrying of consequences of extraordinary situations is carried out by redistribution of already existing resources. The problem is to detect the redundancy already existing and generate signals at the right time at its redistribution. In this there is a fundamental difference between the task of providing functional stability and the task of constructing structurally excessive systems. The conducted analysis of Petri Networks lets conclude, that maintaining the functional stability of the information system under the influence of external and internal destabilizing factors is a complex of dynamic process which can be described by Petri Network. In this manner, with using of Petri Networks it is possible to create models, which let save the functional stability of the information system under the influence of external and internal destabilizing factors which based on the description of the structure of the information system. Such models allow taking into account both the features of the construction of the information system and the dynamics of processes the dynamics of processes of changing its states by functioning under conditions of influence of external and internal destabilizing factors.

Keywords: functional stability, information system, Petri networks, destabilizing factors.

References
1. Salanda I. P., Barabash O. V., Musiienko A. P., Lukova-Chuiko N. V. "Mathematical model of the structure of the 5th generation branched information network (5G) on the basis of random graphs." Systemy upravlinnia, navihatsii ta zviazku 6(46) (2017): 118-121.
2. Salanda I. P., Barabash O. V., Musiienko A. P. "The system of indicators and criteria for formalizing the processes of ensuring the local functional stability of the branched information networks" Systemy upravlinnia, navihatsii ta zviazku 1(41) (2017): 122-126.
3. Mashkov V. A., Barabash O. V. "Self-checking and self-diagnosis of module systems on the principle of walking diagnostic kernel engineering simulation." – Amsterdam: OPA 15. (1998): 43-51.
4. Barabash O. V., Pashkov D. P., Horskyi O. M. "Informational approach to ensuring the functional stability of complex organizational ergot systems." Systemy obrobky informatsii 9(146) (2016): 86-89.
5. Barabash O. V. "Methodology for the construction of functional-stable distributed information systems for special purposes." Kyiv: NAOU (2004): 224.
6. Barabash O. V., Bodrov S. V., Musiienko A. P. "Method of accumulation of diagnostic information in systems of intellectual video control" Systemy upravlinnia, navihatsii ta zviazku 1(33). – (2015): 118-121.
7. Kravchenko Yu. V., Barabash O. V. "Functional stability ‒ the property of complex technical systems." Proceedings of the Academy. Kiev: НАОУ 40 (2002): 225-228.
8. Barabash O. V., Obidin D. M., Musiienko A. P. "Algorithm of self-diagnostics of the technical condition of switching nodes of information systems." Suchasnyi zakhyst informatsii 2 (2014): 114-121.
9. Kotov V. E. "Petri networks." Moskva: Nauka. (1984): 158.
10. Kuchuk N. H., Lukova-Chuiko N/ V. "The system of indicators and criteria for formalizing the processes of ensuring the local functional stability of the branched information networks." / Н. Г. Кучук, Н. В. Лукова-Чуйко // Systemy upravlinnia, navihatsii ta zviazku 1(47) (2018): 123-126.