Вячеслав Сергійович Харченко, Юрій Леонідович Поночовний, Артем Володимирович Боярчук, Ілона Олександрівна Черницька, Володимир Станіславович Воронянський


The paper deals the multi-fragmental model of the two-channel space on-board information and control system of piloted spaceship. The model describes process of on-line software verification considering subsequent elimination of detected software faults. To take into account the change of software failure rate, the apparatus of regular multi-fragmental Markov’s models is used. The algorithm of determining sets of state fragments, states, transitions is proposed. It is considered the most widespread architecture of the information-control system, which includes two redundant hardware channels. Each channel has the same software version. After a failure caused by software faults, the information and control system is restored by restarting. Particularity of the researched system is performing of on-line software verification during its operation. The state of verification is considered as down-state on availability assessing. After onset software faults, degradation of program functions does not occur. The system is recoveredafter the failed state and continues functioning. For the estimation of the availability function, the Markov’s model for different sets of input data is researched. For that Matlab programs were developed. To solve the system of differential equations, an embedded Matlab ode15s solver is used. It is revealed that with increasing probability of faults detection during on-linesoftware verification, the availability of the system will increase at the end of the time interval of the model study. In order to accelerate the transition of the availability to stationary state, it is necessary to carry out more frequent verification procedures and try to eliminate a greater number of software faults in one check. In the initial period of operation, the availability of systems with planned on-line verification is lower than that of systems without fixing software faults. According to the results of the simulation, conclusions about the influence of the time parameters of the verification on the fault elimination intensity and the minimum of availability functions are formulated.


space system; multifragmental Markov’s model; on-line verification; software faults


Kul'ba, V. V., Mikrin, E. A., Pavlov, B. V., Platonov, V. N. Teoreticheskie osnovy proektirovanija informacionno-upravljajushhih sistem kosmicheskih apparatov [Theoretical bases of designing of information-control systems of space vehicles]. Moskva: Nauka Publ., 2006. 579 p.

Space product assurance. Safety, ECSS-Q-ST-40C Rev.1. Noordwijk, The Netherlands, ESA Requirements and Standards Division Publ., 2017. 79 p.

Kharchenko, V., Ponochovnyi, Y. and Boyarchuk, A. Availability Assessment of Information and Control Systems with Online Software Update and Verification. Information and Communication Technologies in Education, Research, and Industrial Applications, CCIS vol. 469, 2014, pp. 300-324.

Ponochovnyj, Y., Kharchenko, V., Siora, A. Modeli gotovnosti dvuhkanal'noj IUS s uchetom obnovlenija programmnyh sredstv [Availability models of a two-channel ICS in view of updating software], Radioelectronic and computer systems, vol. 6, 2014, pp. 135-139.

Zasuha, S., A. Ponochovnyj, Y. Model' gotovnosti dvuhkanal'noj IUS kosmicheskogo apparata s operativnoj verifikaciej programmnyh sredstv [Availability model of a two-channel ICS of a spacecraft with operational verification of software]. Nauka i tekhnika Povitryanykh Syl Zbroynykh Syl Ukrayiny, vol. 2, iss. 6, 2011, pp. 144–149.

Langeron, Y., Barros, A., Grall, A. and Bérenguer, C. Combination of safety integrity levels (SILs): A study of IEC61508 merging rules. Journal of Loss Prevention in the Process Industries, vol. 21, iss.4, 2008, pp. 437-449.

Matos, R., Maciel, P., Machida, F., Dong Seong Kim and Trivedi, K. Sensitivity Analysis of Server Virtualized System Availability. IEEE Transactions on Reliability, vol. 61, iss. 4, 2012, pp. 994-1006.

Trivedi, K., Kim, D., Roy, A. and Medhi, D. Dependability and security models. 2009 7th International Workshop on Design of Reliable Communication Networks, Washington, DC, 2009, pp. 11-20.

Gashi, I., Popov, P. and Stankovic, V. Uncertainty explicit assessment of off-the-shelf software: A Bayesian approach. Information and Software Technology, vol. 51, iss. 2, 2009, pp. 497-511.

Rotaru, T., Dalheimer, M. and Pfreundt, F. Service-oriented middleware for financial Monte Carlo simulations on the cell broadband engine. Concurrency and Computation: Practice and Experience, 2009, pp. 643-657.


  • There are currently no refbacks.