Resilience Assurance for Software-Based Space Systems with Online Patching: Two Cases

  • Vyacheslav KharchenkoEmail author
  • Yuriy Ponochovnyi
  • Artem Boyarchuk
  • Eugene Brezhnev
Conference paper
Part of the Advances in Intelligent Systems and Computing book series (AISC, volume 470)


The paper discusses the problems of resilient software engineering for unmanned software-based space systems. Resilience is achieved by online patching of software upon emergence of defects providing a stable link to the ground control center. Based on the specifics of satellite orbits it offers two case models: a multifragment one—for systems with a continuous link from geostationary orbits; a multiphase one—for recurrent link from elliptic orbits. The results of the modeling offer the possibility to plan the values of the software initial failure rate and the period of preventive tests that would ensure required reliability and availability.


Reliability and availability of software-based space systems Online patching Markov’s multifragment and multiphase models 


  1. 1.
    Risk Analysis of Rocket Space System Emergencies: 2000 Years. In: Kharchenko, V. (ed.). Safety Critical Infrastructures. Mathematical and Engineering Methods of Assessment and Ensuring, pp. 551–573. National Aerospace University “KhAI”, Kharkiv (2011)Google Scholar
  2. 2.
    Pietravalle, R., Lanz, D.: Resiliency Research Snapot. The MITRE Corporation, USA (2011)Google Scholar
  3. 3.
    ECSS-E-ST-40C6-2009. Space Engineering. Software Requirements & Standards Division, Noordwijk, The Netherlands (2009)Google Scholar
  4. 4.
    Lintelman, S., Robinson, R., Mingyan, L., Bushnell, L., Poovendran, R., Sampigethaya, K.: Secure wireless collection and distribution of commercial airplane health data. IEEE Aerosp. Electron. Syst. Mag. 24, 14–20 (2009)CrossRefGoogle Scholar
  5. 5.
    Gashi, I., Popov, P., Stankovic, V.: Uncertainty explicit assessment of off-the-shelf software: a bayesian approach. Elsevier J. Inform. Softw. Technol. 51(2), 497–511 (2009)Google Scholar
  6. 6.
    Trivedi, K.S. Kim, D.S., Roy, A., Medhi, D.: Dependability and security models. In: Proceedings 7th International Workshop on the Design of Reliable Communication Networks (DRCN 2009), pp. 11–20. Washington, DC, USA (2009)Google Scholar
  7. 7.
    Kharchenko, V., Odarushchenko, O., Odarushchenko, V., Popov, P.: Selecting mathematical software for dependability assessment of computer systems described by Stiff Markov Chains. In: Ermolayev, V., Mayr, H.C., Nikitchenko, M., Spivakovsky, A., Zholtkevych, G. (eds.) ICTERI-2013, CCIS, vol. 1000, pp. 146–162. Springer, Heidelberg (2013)Google Scholar
  8. 8.
    Kulba, V., Mykryn, E., Pavlov, B.: Design of Information Control Systems for Orbital Stations. Nauka, Moscow (2002)Google Scholar
  9. 9.
    Kharchenko, V., Ponochovnyi, Y., Boyarchuk, A.: Availability assessment of information and control systems with online software update and verification. In: Ermolayev, V., Mayr, H.C., Nikitchenko, M., Spivakovsky, A., Zholtkevych, G. (eds.) ICTERI-2014, CCIS, vol. 469, pp. 300–324. Springer, Heidelberg (2014)Google Scholar
  10. 10.
    IEC 61508-6:2010 Functional safety of electrical/electronic/programmable electronic safetyrelated systems. Part 6: Guidelines on the application of IEC 61508-2 and IEC 61508-3. European Committee for Electrotechnical Standardization. Brussels (2010)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2016

Authors and Affiliations

  • Vyacheslav Kharchenko
    • 1
    • 2
    Email author
  • Yuriy Ponochovnyi
    • 3
  • Artem Boyarchuk
    • 1
  • Eugene Brezhnev
    • 2
  1. 1.National Aerospace University KhAIKharkivUkraine
  2. 2.Research and Production Company RadiyKirovogradUkraine
  3. 3.Poltava National Technical UniversityPoltavaUkraine

Personalised recommendations