{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,28]],"date-time":"2026-06-28T04:57:44Z","timestamp":1782622664818,"version":"3.54.5"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319132051","type":"print"},{"value":"9783319132068","type":"electronic"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-13206-8_15","type":"book-chapter","created":{"date-parts":[[2014,12,1]],"date-time":"2014-12-01T18:54:39Z","timestamp":1417460079000},"page":"300-324","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":13,"title":["Availability Assessment of Information and Control Systems with Online Software Update and Verification"],"prefix":"10.1007","author":[{"given":"Vyacheslav","family":"Kharchenko","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yuriy","family":"Ponochovnyi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Artem","family":"Boyarchuk","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2014,11,28]]},"reference":[{"key":"15_CR1","first-page":"551","volume-title":"Safety Critical Infrastructures. Mathematical and Engineering Methods of Assessment and Ensuring","author":"A Gorbenko","year":"2011","unstructured":"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\u2013573. National Aerospace University \u201cKhAI\u201d, Kharkiv (2011)"},{"key":"15_CR2","unstructured":"Collofello, J.: Introduction to Software Verification and Validation. SEI Curriculum Module SEI-CM-13-1.1. Software Engineering Institute (2004)"},{"key":"15_CR3","unstructured":"ECSS-Q-40B-2002. Space product assurance. Safety Requirements & Standards Division, Noordwijk, The Netherlands (2002)"},{"key":"15_CR4","unstructured":"ECSS-E-ST-40C6-2009. Space Engineering. Software Requirements & Standards Division, Noordwijk, The Netherlands (2009)"},{"key":"15_CR5","unstructured":"SOU-N NKAU 0078:2014. The Verification of Software-Hardware Complexes for Critical Application. Guidelines of the National Space Agency of Ukraine, Kiev (2014)"},{"key":"15_CR6","volume-title":"Computing System Reliability: Models and Analysis","author":"X Min","year":"2004","unstructured":"Min, X., Kim-Leng, P., Yuan-Shun, D.: Computing System Reliability: Models and Analysis. Kluwer Academic\/Plenum Publishers, New York (2004)"},{"issue":"5","key":"15_CR7","doi-asserted-by":"crossref","first-page":"643","DOI":"10.1002\/cpe.1529","volume":"22","author":"T Rotaru","year":"2010","unstructured":"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\u2013657 (2010). John Wiley & Sons, New York","journal-title":"Concurrency Comput. Pract. Exp."},{"issue":"2","key":"15_CR8","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1016\/j.infsof.2008.06.003","volume":"51","author":"I Gashi","year":"2009","unstructured":"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\u2013511 (2009)","journal-title":"Elsevier J. Inf. Softw. Technol."},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"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\u201320 (2009)","DOI":"10.1109\/DRCN.2009.5340029"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"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 \u201806), pp. 154\u2013164. IEEE Press, New York (2006)","DOI":"10.1109\/PRDC.2006.45"},{"issue":"6","key":"15_CR11","first-page":"81","volume":"83","author":"V Kharchenko","year":"2011","unstructured":"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\u201395 (2011)","journal-title":"Aerosp. Eng. Technol."},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"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\u20137 (2008)","DOI":"10.1109\/IPDPS.2008.4536147"},{"key":"15_CR13","unstructured":"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\u2013162. Springer, Heidelberg (2013)"},{"issue":"3","key":"15_CR14","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1109\/MS.2009.67","volume":"26","author":"J Yoo","year":"2009","unstructured":"Yoo, J., Jee, E., Cha, S.: Formal modeling and verification of safety-critical software. IEEE Softw. 26(3), 42\u201349 (2009)","journal-title":"IEEE Softw."},{"key":"15_CR15","unstructured":"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)"},{"key":"15_CR16","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162","volume-title":"The B-Book: Assigning Programs to Meanings","author":"J-R Abrial","year":"1996","unstructured":"Abrial, J.-R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, New York (1996)"},{"issue":"1","key":"15_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10009-009-0131-4","volume":"12","author":"YA Ameur","year":"2010","unstructured":"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\u20137 (2010)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"15_CR18","volume-title":"Design of Information Control Systems for Orbital Stations","author":"V Kulba","year":"2002","unstructured":"Kulba, V., Mykryn, E., Pavlov, B.: Design of Information Control Systems for Orbital Stations. Nauka, Moscow (2002)"},{"key":"15_CR19","doi-asserted-by":"crossref","unstructured":"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\u2013332. IEEE Press, Xi\u2019an (2011)","DOI":"10.1109\/ICCSN.2011.6014733"},{"key":"15_CR20","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1109\/TDSC.2004.2","volume":"1","author":"A Avizienis","year":"2004","unstructured":"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\u201333 (2004)","journal-title":"IEEE Trans. Dependable Secure Comput."},{"issue":"3","key":"15_CR21","first-page":"131","volume":"29","author":"S Zasuha","year":"2011","unstructured":"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\u2013135 (2011)","journal-title":"Collected Works of Kharkiv Air Force University"},{"key":"15_CR22","unstructured":"Grtheory - Graph Theory Toolbox by Sergii Iglin. http:\/\/www.mathworks.com\/matlabcentral\/fileexchange\/4266-grtheory-graph-theory-toolbox\/content\/grPlot.m"},{"key":"15_CR23","unstructured":"Solve Stiff Differential Equations and DAEs; Variable Order Method - MATLAB ode15s. http:\/\/www.mathworks.com\/help\/matlab\/ref\/ode15s.html"},{"key":"15_CR24","unstructured":"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\u2013349 (2011)"}],"container-title":["Communications in Computer and Information Science","Information and Communication Technologies in Education, Research, and Industrial Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-13206-8_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,5]],"date-time":"2024-06-05T13:33:33Z","timestamp":1717594413000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-13206-8_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319132051","9783319132068"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-13206-8_15","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"value":"1865-0929","type":"print"},{"value":"1865-0937","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"28 November 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}