Abstract— Graph-logic models (GL-models) are models of fault-tolerant multiprocessor systems’ (FTMS) behavior in failure flow. Basis of the model is a graph which arcs are marked by some Boolean functions and the arguments of these functions are system processors states. GL-models are tools that allow efficiency increasing of reliability calculation of FTMS. The reliability calculation is based on the method of statistic experiments with GL-models.We propose the idea and method of creating GL-model, which answers the question if the multiprocessor complex object management system is technically (functionally) safe in the case when the failure of certain components in the system occurs. In other words, if there is a dangerous condition in the system, that is a state of the management system, in which at least one management function, that causes a dangerous condition, is not performed. The model can be used to conduct statistical experiments to determine the probability of transition to a dangerous state in case of system’s degradation.
Keywords-Component; Functional Safety, Reliability, Fault-Tolerance, Multiprocessor Systems, Control.
Citation: Rabah AlShboul, Vitaliy A. Romankevich, “GL-Model, Representing Emergence Of Dangerous State In Multiprocessor Management System”, The World of Computer Science and Information Technology Journal (WSCIT). 2017 Volume 7, Issue 2. pp. 7.9.
Yastrebenetskiy M.A., Vasilchenko V.N., Vinogradskaya S.V. Bezopasnost atomnyh stantsiy: Informatsionnyie upravlyayuschie sistemy[Safety of nuclear power stations: Information Management Systems]. Kyiv, Tehnika Publ., 2004, 472 p.
Malinovskiy M.L. Upravlenie ob’ektami kriticheskogo primeneniya na osnove PLIS: Monografiya [Management of ctirical objects based on FPGA: Monograph].- Harkov, Fakt Publ., 2008, 224 p.
Limei Lin, Li Xu, Shuming Zhou, Dajin Wang. The Reliability of Subgraphs in the Arrangement Graph ,IEEE Transactions on Reliability, Vol. 64, i. 2, 2015 .
A. Avizienis, J.-C. Laprie, Brian Randell, and C. Landwehr, “Basic Concepts and Taxonomy of Dependable and Secure Computing,” IEEE Transactions on Dependable and Secure Computing, vol. 1, pp. 11-33, 2004.
Romankevich A.M., Karachun L.F., Romankevich V.A. Grafo-logicheskie modeli dlya analiza slozhnyh otkazoustoychivyh vyichislitelnyh sistem [Graph-logical models for the analysis of complex fault-tolerant computing systems] , Elektronnoe modelirovanie [Electronic modeling]. Vol. 23, i. 1, 2001, pp.102-111.
Romankevich A.M., Ivanov V.V., Romankevich V.A. Analiz otkazoustoychivyh mnogomodulnyh sistem so slozhnym raspredeleniem otkazov na osnove tsiklicheskih GL-modeley [Analysis of the fault-tolerant multi-module systems with a complicated distribution of refusals based on cyclic GL-models] // Elektronnoe modelirovanie [Electronic modeling]. Vol. 26, i. 5, 2004, pp.67-81
Romankevich V.A., Poleschuk S.A., Potapova E.R. Analiz vozmozhnostey popadaniya mnogoprotsessornoy sistemyi upravleniya v opasnoe sostoyanie s uchYotom proizvoditelnosti protsessorov [Analysis of possibility of transition of multiprocessor management system into a dangerous state, taking into account the performance of processors], Journal of Qafqaz university- Mathematics and computer science.- Volume 2, Number 1.- 2014.- pp.46-52.