{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T00:25:20Z","timestamp":1743121520108,"version":"3.40.3"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030589196"},{"type":"electronic","value":"9783030589202"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","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-58920-2_8","type":"book-chapter","created":{"date-parts":[[2020,9,3]],"date-time":"2020-09-03T19:03:31Z","timestamp":1599159811000},"page":"115-129","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Property-Based Fault Injection: A Novel Approach to Model-Based Fault Injection for Safety Critical Systems"],"prefix":"10.1007","author":[{"given":"Athira Varma","family":"Jayakumar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carl","family":"Elks","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,9,4]]},"reference":[{"issue":"2012-01\u20132134","key":"8_CR1","doi-asserted-by":"publisher","first-page":"233","DOI":"10.4271\/2012-01-2134","volume":"5","author":"NG Leveson","year":"2012","unstructured":"Leveson, N.G., Fleming, C.H., Spencer, M., Thomas, J., Wilkinson, C.: Safety assessment of complex, software-intensive systems. SAE Int. J. Aerosp. 5(2012-01\u20132134), 233\u2013244 (2012)","journal-title":"SAE Int. J. Aerosp."},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Elks, C.R., et al.: Application of a fault injection based dependability assessment process to a commercial safety critical nuclear reactor protection system. In: 2010 IEEE\/IFIP International Conference on Dependable Systems Networks (DSN), pp. 425\u2013430, June 2010","DOI":"10.1109\/DSN.2010.5544285"},{"key":"8_CR3","unstructured":"Yu, Y., Bastien, B., Johnson, B.W.: A state of research review on fault injection techniques and a case study. In: Proceedings of Annual Reliability and Maintainability Symposium, Alexandria, VA, USA, pp. 386\u2013392. IEEE (2005)"},{"key":"8_CR4","unstructured":"Elks, C.R., George, N.J., Reynolds, M.A., Miklo, M., Berger, C.: Development of a fault injection-based dependability assessment methodology for digital and I&C systems. United States Nuclear Regulatory Commission, Office of Nuclear Regulatory Research, NUREG\/CR-7151 (2012)"},{"key":"8_CR5","unstructured":"Bingham, S., Lach, J.: Enhanced fault coverage analysis using ABVFI. In: Workshop on Dependable and Secure Nanocomputing, Charlottesville, p. 6, June 2009"},{"key":"8_CR6","first-page":"1","volume":"1","author":"U Krautz","year":"2006","unstructured":"Krautz, U., Pflanz, M., Jacobi, C., Tast, H.W., Weber, K., Vierhaus, H.T.: Evaluating coverage of error detection logic for soft errors using formal methods. In: Proceedings of the Design Automation Test in Europe Conference 1, 1\u20136 (2006)","journal-title":"In: Proceedings of the Design Automation Test in Europe Conference"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Leveugle, R.: A new approach for early dependability evaluation based on formal property checking and controlled mutations. In: 11th IEEE International On-Line Testing Symposium, pp. 260\u2013265, July 2005","DOI":"10.1109\/IOLTS.2005.8"},{"key":"8_CR8","unstructured":"Larsson, D., H\u00e4hnle, R.: Symbolic fault injection. In: International Verification Workshop (VERIFY), vol. 259 (2007)"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Vedder, B., Arts, T., Vinter, J., Jonsson, M.: Combining fault-injection with property-based testing. In: Proceedings of International Workshop on Engineering Simulations for Cyber-Physical Systems, Dresden, Germany, pp. 1\u20138, November 2013","DOI":"10.1145\/2559627.2559629"},{"issue":"11","key":"8_CR10","doi-asserted-by":"publisher","first-page":"1233","DOI":"10.1002\/spe.1039","volume":"41","author":"L Grunske","year":"2011","unstructured":"Grunske, L., Winter, K., Yatapanage, N., Zafar, S., Lindsay, P.A.: Experience with fault injection experiments for FMEA. Softw. Pract Exp. 41(11), 1233\u20131258 (2011)","journal-title":"Softw. Pract Exp."},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Heimdahl, M.P.E., Choi, Y., Whalen, M.: Deviation analysis through model checking. In: Proceedings 17th IEEE International Conference on Automated Software Engineering, Edinburgh, UK, pp. 37\u201346 (2002)","DOI":"10.1109\/ASE.2002.1114992"},{"key":"8_CR12","unstructured":"Fondazione Bruno Kessler and Embedded Systems Unit. xsap - - The xSAP safety analysis platform. https:\/\/xsap.fbk.eu\/. Accessed 13 July 2020"},{"key":"8_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/11563228_10","volume-title":"Computer Safety, Reliability, and Security","author":"A Joshi","year":"2005","unstructured":"Joshi, A., Heimdahl, M.P.E.: Model-based safety analysis of Simulink models using SCADE design verifier. In: Winther, R., Gran, B.A., Dahll, G. (eds.) SAFECOMP 2005. LNCS, vol. 3688, pp. 122\u2013135. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11563228_10"},{"key":"8_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1007\/978-3-540-75101-4_44","volume-title":"Computer Safety, Reliability, and Security","author":"M G\u00fcdemann","year":"2007","unstructured":"G\u00fcdemann, M., Ortmeier, F., Reif, W.: Using Deductive Cause-Consequence Analysis (DCCA) with SCADE. In: Saglietti, F., Oster, N. (eds.) SAFECOMP 2007. LNCS, vol. 4680, pp. 465\u2013478. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-75101-4_44"},{"key":"8_CR15","unstructured":"Jayakumar, A.V.: Systematic model-based design assurance and property-based fault injection for safety critical digital systems. Virginia Commonwealth University (2020)"},{"key":"8_CR16","unstructured":"Mathworks: Simulink\u00ae Design Verifier Reference, September 2018. https:\/\/www.mathworks.com\/help\/releases\/R2018b\/pdf_doc\/sldv\/sldv_ref.pdf"},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"Shafik, R.A., Rosinger, P., Al-Hashimi, B.M.: SystemC-based minimum intrusive fault injection technique with improved fault representation. In: 2008 14th IEEE International On-Line Testing Symposium, Rhodes, Greece, pp. 99\u2013104, July 2008","DOI":"10.1109\/IOLTS.2008.25"},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"Elks, C., Gibson, M., Hite, R., Gautham, S., Jayakumar, A.V., Deloglos, C., Tantawy, A.: Achieving verifiable and high integrity instrumentation and control systems through complexity awareness and constrained design. USDOE Office of Nuclear Energy (NE), 15\u20138044, July 2019","DOI":"10.2172\/1547345"}],"container-title":["Lecture Notes in Computer Science","Model-Based Safety and Assessment"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-58920-2_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,13]],"date-time":"2024-08-13T04:34:30Z","timestamp":1723523670000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-58920-2_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030589196","9783030589202"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-58920-2_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"4 September 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"IMBSA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Model-Based Safety and Assessment","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Lisbon","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Portugal","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 September 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 September 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"imbsa2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/easyconferences.eu\/imbsa2020\/","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":"30","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":"15","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":"4","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":"50% - 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":"2","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":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Conference was held vertually due to COVID_19 pandemic.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}