{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:46:32Z","timestamp":1742913992322,"version":"3.40.3"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031109881"},{"type":"electronic","value":"9783031109898"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-10989-8_37","type":"book-chapter","created":{"date-parts":[[2022,7,18]],"date-time":"2022-07-18T22:30:36Z","timestamp":1658183436000},"page":"463-476","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Automated Reliability Analysis of\u00a0Redundancy Architectures Using Statistical Model Checking"],"prefix":"10.1007","author":[{"given":"Hongbin","family":"He","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hongyu","family":"Kuang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lin","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Feng","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qiang","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Weipeng","family":"Cao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,7,19]]},"reference":[{"issue":"12","key":"37_CR1","doi-asserted-by":"publisher","first-page":"1563","DOI":"10.1016\/j.robot.2012.09.005","volume":"60","author":"T Abdellatif","year":"2012","unstructured":"Abdellatif, T., Bensalem, S., Combaz, J., De Silva, L., Ingrand, F.: Rigorous design of robot software: a formal component-based approach. Robot. Auton. Syst. 60(12), 1563\u20131578 (2012)","journal-title":"Robot. Auton. Syst."},{"issue":"1","key":"37_CR2","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(1), 11\u201333 (2004)","journal-title":"IEEE Trans. Dependable Secure Comput."},{"issue":"3","key":"37_CR3","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1109\/MS.2011.27","volume":"28","author":"A Basu","year":"2011","unstructured":"Basu, A., et al.: Rigorous component-based system design using the BIP framework. IEEE Softw. 28(3), 41\u201348 (2011)","journal-title":"IEEE Softw."},{"key":"37_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-25929-6_1","volume-title":"Mathematical and Engineering Methods in Computer Science","author":"A Basu","year":"2012","unstructured":"Basu, A., Bensalem, S., Bozga, M., Bourgos, P., Sifakis, J.: Rigorous system design: the BIP approach. In: Kot\u00e1sek, Z., Bouda, J., \u010cern\u00e1, I., Sekanina, L., Vojnar, T., Anto\u0161, D. (eds.) MEMICS 2011. LNCS, vol. 7119, pp. 1\u201319. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-25929-6_1"},{"issue":"3","key":"37_CR5","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1049\/iet-sen.2009.0011","volume":"4","author":"S Bensalem","year":"2010","unstructured":"Bensalem, S., Bozga, M., Nguyen, T., Sifakis, J.: Compositional verification for component-based systems and application. IET Softw. 4(3), 181\u2013193 (2010)","journal-title":"IET Softw."},{"key":"37_CR6","series-title":"IFIP International Federation for Information Processing","doi-asserted-by":"publisher","first-page":"505","DOI":"10.1007\/978-1-4020-8157-6_45","volume-title":"Building the Information Society","author":"P Bieber","year":"2004","unstructured":"Bieber, P., Bougnol, C., Castel, C., Christophe Kehren, J.-P.H., Metge, S., Seguin, C.: Safety assessment with Altarica. In: Jacquart, R. (ed.) Building the Information Society. IIFIP, vol. 156, pp. 505\u2013510. Springer, Boston, MA (2004). https:\/\/doi.org\/10.1007\/978-1-4020-8157-6_45"},{"key":"37_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1007\/978-3-319-24953-7_25","volume-title":"Automated Technology for Verification and Analysis","author":"S Bliudze","year":"2015","unstructured":"Bliudze, S., et al.: Formal verification of infinite-state BIP models. In: Finkbeiner, B., Pu, G., Zhang, L. (eds.) ATVA 2015. LNCS, vol. 9364, pp. 326\u2013343. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-24953-7_25"},{"key":"37_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1007\/978-3-030-17462-0_25","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"M Bozzano","year":"2019","unstructured":"Bozzano, M., Bruintjes, H., Cimatti, A., Katoen, J.-P., Noll, T., Tonetta, S.: COMPASS\u00a03.0. In: Vojnar, T., Zhang, L. (eds.) TACAS 2019. LNCS, vol. 11427, pp. 379\u2013385. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-17462-0_25"},{"key":"37_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/978-3-319-03077-7_19","volume-title":"Hardware and Software: Verification and Testing","author":"M Bozzano","year":"2013","unstructured":"Bozzano, M., Cimatti, A., Mattarei, C.: Efficient analysis of reliability architectures via predicate abstraction. In: Bertacco, V., Legay, A. (eds.) HVC 2013. LNCS, vol. 8244, pp. 279\u2013294. Springer, Cham (2013). https:\/\/doi.org\/10.1007\/978-3-319-03077-7_19"},{"issue":"1","key":"37_CR10","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/s00165-018-0475-1","volume":"31","author":"M Bozzano","year":"2019","unstructured":"Bozzano, M., Cimatti, A., Mattarei, C.: Formal reliability analysis of redundancy architectures. Formal Aspects Comput. 31(1), 59\u201394 (2019). https:\/\/doi.org\/10.1007\/s00165-018-0475-1","journal-title":"Formal Aspects Comput."},{"key":"37_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/978-3-540-39878-3_5","volume-title":"Computer Safety, Reliability, and Security","author":"M Bozzano","year":"2003","unstructured":"Bozzano, M., Villafiorita, A.: Improving system reliability via model checking: the FSAP\/NuSMV-SA safety analysis platform. In: Anderson, S., Felici, M., Littlewood, B. (eds.) SAFECOMP 2003. LNCS, vol. 2788, pp. 49\u201362. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/978-3-540-39878-3_5"},{"issue":"1","key":"37_CR12","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/s10009-006-0001-2","volume":"9","author":"M Bozzano","year":"2007","unstructured":"Bozzano, M., Villafiorita, A.: The FSAP\/NuSMV-SA safety analysis platform. Int. J. Softw. Tools Technol. Transf. 9(1), 5\u201324 (2007). https:\/\/doi.org\/10.1007\/s10009-006-0001-2","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"doi-asserted-by":"publisher","unstructured":"Dragomir, I., Bensalem, S.: Rigorous design of FDIR systems with BIP. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (ECEASST) 77 (2019). https:\/\/doi.org\/10.14279\/tuj.eceasst.77.1107, https:\/\/researchr.org\/publication\/DragomirB19","key":"37_CR13","DOI":"10.14279\/tuj.eceasst.77.1107"},{"key":"37_CR14","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/j.ress.2019.02.005","volume":"186","author":"M Ghadhab","year":"2019","unstructured":"Ghadhab, M., Junges, S., Katoen, J.P., Kuntz, M., Volk, M.: Safety analysis for vehicle guidance systems with dynamic fault trees. Reliab. Eng. Syst. Saf. 186, 37\u201350 (2019)","journal-title":"Reliab. Eng. Syst. Saf."},{"doi-asserted-by":"crossref","unstructured":"Hamamatsu, M., Tsuchiya, T., Kikuno, T.: On the reliability of cascaded TMR systems. In: 2010 IEEE 16th Pacific Rim International Symposium on Dependable Computing, pp. 184\u2013190 (2010)","key":"37_CR15","DOI":"10.1109\/PRDC.2010.45"},{"issue":"2","key":"37_CR16","doi-asserted-by":"publisher","first-page":"687","DOI":"10.1109\/TR.2015.2513050","volume":"65","author":"Y Hiraoka","year":"2016","unstructured":"Hiraoka, Y., Murakami, T., Yamamoto, K., Furukawa, Y., Sawada, H.: Method of computer-aided fault tree analysis for high-reliable and safety design. IEEE Trans. Reliab. 65(2), 687\u2013703 (2016)","journal-title":"IEEE Trans. Reliab."},{"unstructured":"Konnov, I., Kotek, T., Wang, Q., Veith, H., Bliudze, S., Sifakis, J.: Parameterized systems in BIP: design and model checking. In: Proceedings of the 27th International Conference on Concurrency Theory (CONCUR 2016), p. 30-1. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik (2016)","key":"37_CR17"},{"unstructured":"Laprie, J.: Dependable computing and fault tolerance: concepts and terminology. In: Twenty-Fifth International Symposium on Fault-Tolerant Computing 1995, \u2018Highlights from Twenty-Five Years\u2019, p. 2 (1995)","key":"37_CR18"},{"issue":"6","key":"37_CR19","doi-asserted-by":"publisher","first-page":"1167","DOI":"10.1002\/spe.2568","volume":"48","author":"A Lekidis","year":"2018","unstructured":"Lekidis, A., Stachtiari, E., Katsaros, P., Bozga, M., Georgiadis, C.K.: Model-based design of IoT systems with the BIP component framework. Softw. Pract. Exp. 48(6), 1167\u20131194 (2018)","journal-title":"Softw. Pract. Exp."},{"issue":"4","key":"37_CR20","doi-asserted-by":"publisher","first-page":"2833","DOI":"10.1109\/TII.2020.3008010","volume":"17","author":"Y Li","year":"2021","unstructured":"Li, Y., Song, Y., Jia, L., Gao, S., Li, Q., Qiu, M.: Intelligent fault diagnosis by fusing domain adversarial training and maximum mean discrepancy via ensemble learning. IEEE Trans. Ind. Inf. 17(4), 2833\u20132841 (2021)","journal-title":"IEEE Trans. Ind. Inf."},{"doi-asserted-by":"crossref","unstructured":"Lu, K.L., Chen, Y.Y.: Model-based design, analysis and assessment framework for safety-critical systems, Virtual, Taipei, Taiwan, pp. 25\u201326 (2021)","key":"37_CR21","DOI":"10.1109\/DSN-S52858.2021.00023"},{"key":"37_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"536","DOI":"10.1007\/978-3-030-01090-4_33","volume-title":"Automated Technology for Verification and Analysis","author":"BL Mediouni","year":"2018","unstructured":"Mediouni, B.L., Nouri, A., Bozga, M., Dellabani, M., Legay, A., Bensalem, S.: $$\\cal{S}$$BIP 2.0: statistical model checking stochastic real-time systems. In: Lahiri, S.K., Wang, C. (eds.) ATVA 2018. LNCS, vol. 11138, pp. 536\u2013542. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-01090-4_33"},{"unstructured":"Schnellbach, A.: Fail-operational automotive systems. Ph.D. thesis, Graz University of Technology (2016)","key":"37_CR23"},{"issue":"11","key":"37_CR24","doi-asserted-by":"publisher","first-page":"2093","DOI":"10.1109\/JPROC.2015.2484060","volume":"103","author":"J Sifakis","year":"2015","unstructured":"Sifakis, J.: System design automation: challenges and limitations. Proc. IEEE 103(11), 2093\u20132103 (2015)","journal-title":"Proc. IEEE"},{"key":"37_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/978-3-642-00867-2_4","volume-title":"Methods, Models and Tools for Fault Tolerance","author":"M Zhang","year":"2009","unstructured":"Zhang, M., Liu, Z., Morisset, C., Ravn, A.P.: Design and verification of fault-tolerant components. In: Butler, M., Jones, C., Romanovsky, A., Troubitsyna, E. (eds.) Methods, Models and Tools for Fault Tolerance. LNCS, vol. 5454, pp. 57\u201384. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-00867-2_4"}],"container-title":["Lecture Notes in Computer Science","Knowledge Science, Engineering and Management"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-10989-8_37","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,18]],"date-time":"2022-07-18T22:43:54Z","timestamp":1658184234000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-10989-8_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031109881","9783031109898"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-10989-8_37","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"19 July 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"KSEM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Knowledge Science, Engineering and Management","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Singapore","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Singapore","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 August 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 August 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ksem2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/ksem22.smart-conf.net\/index.html","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"498","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"169","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"34% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"10","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}