{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T06:07:07Z","timestamp":1743142027817,"version":"3.40.3"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030195007"},{"type":"electronic","value":"9783030195014"}],"license":[{"start":{"date-parts":[[2019,5,12]],"date-time":"2019-05-12T00:00:00Z","timestamp":1557619200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-19501-4_26","type":"book-chapter","created":{"date-parts":[[2019,5,11]],"date-time":"2019-05-11T11:37:08Z","timestamp":1557574628000},"page":"264-273","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Modelling and Safety Assessment of Programmable Platform Based Information and Control Systems Considering Hidden Physical and Design Faults"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5352-077X","authenticated-orcid":false,"given":"Vyacheslav","family":"Kharchenko","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6856-2013","authenticated-orcid":false,"given":"Yuriy","family":"Ponochovnyi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2238-0449","authenticated-orcid":false,"given":"Anton","family":"Andrashov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2073-9024","authenticated-orcid":false,"given":"Eugene","family":"Brezhniev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2570-0535","authenticated-orcid":false,"given":"Eugene","family":"Bulba","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,5,12]]},"reference":[{"key":"26_CR1","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1109\/TCC.2014.2310737","volume":"2","author":"R Ghosh","year":"2014","unstructured":"Ghosh, R., Longo, F., Frattini, F., Russo, S., Trivedi, K.: Scalable analytics for IaaS cloud availability. IEEE Trans. Cloud Comput. 2, 57\u201370 (2014)","journal-title":"IEEE Trans. Cloud Comput."},{"key":"26_CR2","doi-asserted-by":"crossref","unstructured":"Trivedi, K., Kim, D., Roy, A., Medhi, D.: Dependability and security models. In: 7th International Workshop on Design of Reliable Communication Networks, pp. 11\u201320 (2009)","DOI":"10.1109\/DRCN.2009.5340029"},{"key":"26_CR3","doi-asserted-by":"crossref","first-page":"300","DOI":"10.1007\/978-3-319-13206-8_15","volume-title":"Information and Communication Technologies in Education, Research, and Industrial Applications","author":"Vyacheslav 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., 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, pp. 300\u2013324 (2014)"},{"key":"26_CR4","first-page":"270","volume-title":"Contemporary Complex Systems and Their Dependability","author":"Vyacheslav Kharchenko","year":"2018","unstructured":"Kharchenko, V., Ponochovnyi, Y., Boyarchuk, A., Brezhnev, E., Andrashov, A.: Monte-Carlo simulation and availability assessment of the smart building automation systems considering component failures and attacks on vulnerabilities. In: Zamojski, W., Mazurkiewicz, J., Sugier, J., Walkowiak, T., Kacprzyk, J. (eds.) Contemporary Complex Systems and Their Dependability, DepCoS-RELCOMEX 2018. Advances in Intelligent Systems and Computing, vol. 761, pp. 270\u2013280 (2018)"},{"key":"26_CR5","first-page":"308","volume":"1614","author":"Y Bulba","year":"2016","unstructured":"Bulba, Y., Ponochovny, Y., Sklyar, V., Ivasiuk, A.: Classification and research of the reactor protection instrumentation and control system functional safety Markov models in a normal operation mode. CEUR Workshop Proc. 1614, 308\u2013321 (2016)","journal-title":"CEUR Workshop Proc."},{"key":"26_CR6","doi-asserted-by":"crossref","unstructured":"Ponochovniy, Y., Bulba, E., Yanko, A., Hozbenko, E.: Influence of diagnostics errors on safety: Indicators and requirements. In: 2018 IEEE 9th International Conference on Dependable Systems, Services and Technologies (DESSERT), pp. 54\u201358 (2018)","DOI":"10.1109\/DESSERT.2018.8409098"},{"key":"26_CR7","unstructured":"IEC 61508-6:2010: Functional safety of electrical\/electronic\/programmable electronic safety related systems, Part 6: Guidelines on the application of IEC 61508-2,3 (2010)"},{"key":"26_CR8","unstructured":"D7.24-FSC(P3)-FMEDA-V6R0. Exida FMEDA Report of Project: Radiy FPGA-based Safety Controller (FSC) (2018)"},{"issue":"4","key":"26_CR9","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1016\/j.jlp.2008.02.003","volume":"21","author":"Y Langeron","year":"2008","unstructured":"Langeron, Y., Barros, A., Grall, A., Berenguer, C.: Combination of safety integrity levels (SILs): a study of IEC61508 merging rules. J. Loss Prev. Process Ind. 21(4), 437\u2013449 (2008)","journal-title":"J. Loss Prev. Process Ind."},{"key":"26_CR10","unstructured":"The function for drawing graphs and digraphs using MATLAB. http:\/\/iglin.exponenta.ru\/All\/GrMatlab\/grPlot.html . Accessed 24 Feb 2019"},{"key":"26_CR11","unstructured":"IEC 61513:2011, Nuclear power plants - Instrumentation and control important to safety - General requirements for systems (2011)"},{"key":"26_CR12","first-page":"195","volume-title":"Advances in Intelligent Systems and Computing","author":"Vyacheslav Kharchenko","year":"2015","unstructured":"Kharchenko, V., Ponochovnyi, Y., Boyarchuk, A., Gorbenko, A.: Secure hybrid clouds: analysis of configurations energy efficiency. In: Zamojski, W., Mazurkiewicz, J., Sugier, J., Walkowiak, T., Kacprzyk, J. (eds.) Theory and Engineering of Complex Systems and Dependability, DepCoS-RELCOMEX 2015. Advances in Intelligent Systems and Computing, vol. 365, pp. 195\u2013209 (2015)"},{"key":"26_CR13","unstructured":"Solve stiff differential equations and DAEs; variable order method - MATLAB ode15s. https:\/\/www.mathworks.com\/help\/matlab\/ref\/ode15s.htmll . Accessed 24 Feb 2019"},{"issue":"40","key":"26_CR14","first-page":"75","volume":"6","author":"VV Sklyar","year":"2009","unstructured":"Sklyar, V.V.: Elements of the information and control systems functional safety analysis methodology. Radioelectron. Comput. Syst. 6(40), 75\u201379 (2009)","journal-title":"Radioelectron. Comput. Syst."},{"key":"26_CR15","first-page":"186","volume-title":"Advances in Dependability Engineering of Complex Systems","author":"Vyacheslav Kharchenko","year":"2017","unstructured":"Kharchenko, V., Ponochovnyi, Y., Abdulmunem, A., Andrashov, A.: Availability models and maintenance strategies for smart building automation systems considering attacks on component vulnerabilities. In: Zamojski, W., Mazurkiewicz, J., Sugier, J., Walkowiak, T., Kacprzyk, J. (eds.) Advances in Dependability Engineering of Complex Systems, DepCoS-RELCOMEX 2017. Advances in Intelligent Systems and Computing, vol. 582, pp. 186\u2013195 (2017)"},{"key":"26_CR16","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1007\/978-3-319-39639-2_23","volume-title":"Dependability Engineering and Complex Systems","author":"Vyacheslav Kharchenko","year":"2016","unstructured":"Kharchenko, V., Ponochovnyi, Y., Boyarchuk, A., Brezhnev, E.: Resilience assurance for software-based space systems with online patching: two cases. In: Zamojski, W., Mazurkiewicz, J., Sugier, J., Walkowiak, T., Kacprzyk, J. (eds.) Dependability Engineering and Complex Systems, DepCoS-RELCOMEX 2016. Advances in Intelligent Systems and Computing, vol. 470, pp. 267\u2013278 (2016)"},{"issue":"3","key":"26_CR17","first-page":"031005-1","volume":"1","author":"V Kharchenko","year":"2015","unstructured":"Kharchenko, V., Butenko, V., Odarushchenko, O., Sklyar, V.: Multifragmentation markov modeling of a reactor trip system. ASME J. Nucl. Eng. Radiat. Sci. 1(3), 031005-1\u2013031005-10 (2015)","journal-title":"ASME J. Nucl. Eng. Radiat. Sci."}],"container-title":["Advances in Intelligent Systems and Computing","Engineering in Dependability of Computer Systems and Networks"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-19501-4_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,11,24]],"date-time":"2019-11-24T22:24:28Z","timestamp":1574634268000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-19501-4_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,5,12]]},"ISBN":["9783030195007","9783030195014"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-19501-4_26","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2019,5,12]]},"assertion":[{"value":"12 May 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"DepCoS-RELCOMEX","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Dependability and Complex Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Brun\u00f3w","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Poland","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 July 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 July 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"depcos2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/depcos.pwr.wroc.pl\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}