Skip to main content
SpringerLink
Log in

Availability Assessment of Information and Control Systems with Online Software Update and Verification

  • Conference paper
  • First Online:
Information and Communication Technologies in Education, Research, and Industrial Applications (ICTERI 2014)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 469))

Abstract

The paper is devoted to the analysis of the verification objectives and features for information and control systems (ICS) software at the different stages of life cycle, in particular, on development and operation stages for space ICS software. Theoretic-set description of objectives, verified functions considering their criticality for space systems software and scenarios of online verification are proposed. Availability Markov chains based models are developed for different scenarios of space systems software online verification. Multi-fragment Markov models of ICS software for a serviced spacecraft is researched taking into account updating and removal of detected faults.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Gorbenko, A., Kharchenko, V., Tarasyuk, O.: 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. Collofello, J.: Introduction to Software Verification and Validation. SEI Curriculum Module SEI-CM-13-1.1. Software Engineering Institute (2004)

    Google Scholar 

  3. ECSS-Q-40B-2002. Space product assurance. Safety Requirements & Standards Division, Noordwijk, The Netherlands (2002)

    Google Scholar 

  4. ECSS-E-ST-40C6-2009. Space Engineering. Software Requirements & Standards Division, Noordwijk, The Netherlands (2009)

    Google Scholar 

  5. SOU-N NKAU 0078:2014. The Verification of Software-Hardware Complexes for Critical Application. Guidelines of the National Space Agency of Ukraine, Kiev (2014)

    Google Scholar 

  6. Min, X., Kim-Leng, P., Yuan-Shun, D.: Computing System Reliability: Models and Analysis. Kluwer Academic/Plenum Publishers, New York (2004)

    Google Scholar 

  7. Rotaru, T., Dalheimer, M., Pfreundt, F.-J.: Service-oriented middleware for financial monte carlo simulations on the cell broadband engine. Concurrency Comput. Pract. Exp. 22(5), 643–657 (2010). John Wiley & Sons, New York

    Google Scholar 

  8. Gashi, I., Popov, P., Stankovic, V.: Uncertainty explicit assessment of off-the-shelf software: a bayesian approach. Elsevier J. Inf. Softw. Technol. 51(2), 497–511 (2009)

    Article  Google Scholar 

  9. Trivedi, K.S., Kim, D.S., Roy, A., Medhi, D.: Dependability and security models. In: Proceedings of 7th International Workshop on the Design of Reliable Communication Networks (DRCN 2009), Washington, DC, pp. 11–20 (2009)

    Google Scholar 

  10. Trivedi, K.S., Vasireddy, R., Trindade, D., Nathan, S., Castro, R.: Modeling high availability systems. In: Proceedings of 12th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC ‘06), pp. 154–164. IEEE Press, New York (2006)

    Google Scholar 

  11. Kharchenko, V., Zamyrets, M., Zasuha, S., Ponochovniy, Y.: Elements of methodology correcting operational verification software information and control systems of spacecraft. Aerosp. Eng. Technol. 83(6), 81–95 (2011)

    Google Scholar 

  12. Trivedi, K.S., Ciardo, G., Dasarathy, B., Grottke, M., Rindos, A., Varshaw, B.: Achieving and assuring high availability. In: Proceedings of the IEEE International Symposium on Parallel and Distributed Processing (IPDPS 2008), Miami, Florida, USA, pp. 1–7 (2008)

    Google Scholar 

  13. 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 

  14. Yoo, J., Jee, E., Cha, S.: Formal modeling and verification of safety-critical software. IEEE Softw. 26(3), 42–49 (2009)

    Article  Google Scholar 

  15. SOU-N NKAU 0058:2009. The Requirements to Functional Safety of Software-Hardware Complexes for Critical Application. Guidelines of the National Space Agency of Ukraine, Kiev (2009)

    Google Scholar 

  16. Abrial, J.-R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, New York (1996)

    Book  MATH  Google Scholar 

  17. Ameur, Y.A., Boniol, F., Wiels, V.: Toward a wider use of formal methods for aerospace systems design and verification. Int. J. Softw. Tools Technol. Transf. 12(1), 1–7 (2010)

    Article  Google Scholar 

  18. Kulba, V., Mykryn, E., Pavlov, B.: Design of Information Control Systems for Orbital Stations. Nauka, Moscow (2002)

    Google Scholar 

  19. Guimaraes, A.P., Oliveira, H., Barros, R., Maciel, P.: Availability analysis of redundant computer networks: a strategy based on reliability importance. In: Proceedings of 3rd IEEE International Conference on Communication Software and Networks (ICCSN 2011), pp. 328–332. IEEE Press, Xi’an (2011)

    Google Scholar 

  20. Avizienis, A., Laprie, J.C., Randell, B., Landwehr, C.: Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. Dependable Secure Comput. 1, 11–33 (2004)

    Article  Google Scholar 

  21. Zasuha, S.: Investigation of influence of temporal parameters of software updates on the willingness of dual-channel information management system for spacecraft. Collected Works of Kharkiv Air Force University 29(3), 131–135 (2011)

    Google Scholar 

  22. Grtheory - Graph Theory Toolbox by Sergii Iglin. http://www.mathworks.com/matlabcentral/fileexchange/4266-grtheory-graph-theory-toolbox/content/grPlot.m

  23. Solve Stiff Differential Equations and DAEs; Variable Order Method - MATLAB ode15s. http://www.mathworks.com/help/matlab/ref/ode15s.html

  24. Gorbenko, A., Kharchenko, V., Abdul-Hadi, A.M.: Evaluation of dependability concept: moving toward resilient and self-evolvable IT systems. In: Proceedings of 1st International Workshop on Critical Infrastructure Safety and Security (CrISS-DESSERT), Kirovograd, Ukraine, vol. 2, pp. 344–349 (2011)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. National Aerospace University, Kharkiv, Ukraine

    Vyacheslav Kharchenko & Artem Boyarchuk

  2. Poltava National Technical University, Poltava, Ukraine

    Yuriy Ponochovnyi

Authors
  1. Vyacheslav Kharchenko
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Yuriy Ponochovnyi
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Artem Boyarchuk
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Artem Boyarchuk .

Editor information

Editors and Affiliations

  1. Zaporizhzhya National University, Zaporizhzhya, Ukraine

    Vadim Ermolayev

  2. Institute of Applied Informatics, Alpen-Adria-Universität Klagenfurt, Klagenfurt, Austria

    Heinrich C. Mayr

  3. Taras Shevchenko National University of Kyiv, Kyiv, Ukraine

    Mykola Nikitchenko

  4. Kherson State University, Kherson, Ukraine

    Aleksander Spivakovsky

  5. V.N. Karazin Kharkiv National University, Kharkov, Ukraine

    Grygoriy Zholtkevych

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this paper

Cite this paper

Kharchenko, V., Ponochovnyi, Y., Boyarchuk, A. (2014). Availability Assessment of Information and Control Systems with Online Software Update and Verification. In: Ermolayev, V., Mayr, H., Nikitchenko, M., Spivakovsky, A., Zholtkevych, G. (eds) Information and Communication Technologies in Education, Research, and Industrial Applications. ICTERI 2014. Communications in Computer and Information Science, vol 469. Springer, Cham. https://doi.org/10.1007/978-3-319-13206-8_15

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-13206-8_15

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-13205-1

  • Online ISBN: 978-3-319-13206-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation