{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T05:04:43Z","timestamp":1725858283543},"publisher-location":"Cham","reference-count":10,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319396385"},{"type":"electronic","value":"9783319396392"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-39639-2_23","type":"book-chapter","created":{"date-parts":[[2016,6,17]],"date-time":"2016-06-17T03:25:00Z","timestamp":1466133900000},"page":"267-278","source":"Crossref","is-referenced-by-count":5,"title":["Resilience Assurance for Software-Based Space Systems with Online Patching: Two Cases"],"prefix":"10.1007","author":[{"given":"Vyacheslav","family":"Kharchenko","sequence":"first","affiliation":[]},{"given":"Yuriy","family":"Ponochovnyi","sequence":"additional","affiliation":[]},{"given":"Artem","family":"Boyarchuk","sequence":"additional","affiliation":[]},{"given":"Eugene","family":"Brezhnev","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,6,18]]},"reference":[{"key":"23_CR1","unstructured":"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":"23_CR2","volume-title":"Resiliency Research Snapot","author":"R Pietravalle","year":"2011","unstructured":"Pietravalle, R., Lanz, D.: Resiliency Research Snapot. The MITRE Corporation, USA (2011)"},{"key":"23_CR3","unstructured":"ECSS-E-ST-40C6-2009. Space Engineering. Software Requirements & Standards Division, Noordwijk, The Netherlands (2009)"},{"key":"23_CR4","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1109\/MAES.2009.5208555","volume":"24","author":"S Lintelman","year":"2009","unstructured":"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\u201320 (2009)","journal-title":"IEEE Aerosp. Electron. Syst. Mag."},{"key":"23_CR5","doi-asserted-by":"crossref","unstructured":"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\u2013511 (2009)","DOI":"10.1016\/j.infsof.2008.06.003"},{"key":"23_CR6","doi-asserted-by":"crossref","unstructured":"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\u201320. Washington, DC, USA (2009)","DOI":"10.1109\/DRCN.2009.5340029"},{"key":"23_CR7","first-page":"146","volume-title":"ICTERI-2013, CCIS","author":"V Kharchenko","year":"2013","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)"},{"key":"23_CR8","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":"23_CR9","first-page":"300","volume-title":"ICTERI-2014, CCIS","author":"V Kharchenko","year":"2014","unstructured":"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\u2013324. Springer, Heidelberg (2014)"},{"key":"23_CR10","unstructured":"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)"}],"container-title":["Advances in Intelligent Systems and Computing","Dependability Engineering and Complex Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-39639-2_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T12:33:15Z","timestamp":1498307595000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-39639-2_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319396385","9783319396392"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-39639-2_23","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2016]]}}}