{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,22]],"date-time":"2026-07-22T17:53:54Z","timestamp":1784742834570,"version":"3.55.0"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031885303","type":"print"},{"value":"9783031885310","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"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":[[2025]]},"DOI":"10.1007\/978-3-031-88531-0_26","type":"book-chapter","created":{"date-parts":[[2025,4,2]],"date-time":"2025-04-02T02:54:07Z","timestamp":1743562447000},"page":"363-377","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Eliciting Explainability Requirements for\u00a0Safety-Critical Systems: A Nuclear Case Study"],"prefix":"10.1007","author":[{"given":"Hazel M","family":"Taylor","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Matt","family":"Luckcuck","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marie","family":"Farrell","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Caroline","family":"Jay","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Angelo","family":"Cangelosi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Louise A.","family":"Dennis","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2025,4,1]]},"reference":[{"key":"26_CR1","unstructured":"IEEE Guide for Developing System Requirements Specifications. Standard (1998)"},{"key":"26_CR2","doi-asserted-by":"crossref","unstructured":"Auspurg, K., Hinz, T.: Factorial Survey Experiments. Sage Publications (2014)","DOI":"10.4135\/9781483398075"},{"key":"26_CR3","unstructured":"Bourbouh, H., et\u00a0al.: CoCoSim, a code generation framework for control\/command applications: an overview of CoCoSim for multi-periodic discrete Simulink models. In: European Congress on Embedded Real Time Software and Systems (2020)"},{"key":"26_CR4","doi-asserted-by":"crossref","unstructured":"Brand\u00e3o, M., et\u00a0al.: How experts explain motion planner output: a preliminary user-study to inform the design of explainable planners. In: International Conference on Robot Human Interactive Communication, pp. 299\u2013306 (2021)","DOI":"10.1109\/RO-MAN50785.2021.9515407"},{"key":"26_CR5","doi-asserted-by":"crossref","unstructured":"Chazette, L., et\u00a0al.: Exploring explainability: a definition, a model, and a knowledge catalogue. In: International Requirements Engineering Conference, pp. 197\u2013208. IEEE (2021)","DOI":"10.1109\/RE51729.2021.00025"},{"key":"26_CR6","doi-asserted-by":"crossref","unstructured":"Chazette, L., et\u00a0al.: Requirements on explanations: a quality framework for explainability. In: International Requirements Engineering Conference, pp. 140\u2013152. IEEE (2022)","DOI":"10.1109\/RE54965.2022.00019"},{"issue":"4","key":"26_CR7","doi-asserted-by":"publisher","first-page":"493","DOI":"10.1007\/s00766-020-00333-1","volume":"25","author":"L Chazette","year":"2020","unstructured":"Chazette, L., Schneider, K.: Explainability as a non-functional requirement: challenges and recommendations. Requirements Eng. 25(4), 493\u2013514 (2020). https:\/\/doi.org\/10.1007\/s00766-020-00333-1","journal-title":"Requirements Eng."},{"key":"26_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/978-3-319-54045-0_11","volume-title":"Requirements Engineering: Foundation for Software Quality","author":"B Donati","year":"2017","unstructured":"Donati, B., Ferrari, A., Spoletini, P., Gnesi, S.: Common mistakes of student analysts in requirements elicitation interviews. In: Gr\u00fcnbacher, P., Perini, A. (eds.) REFSQ 2017. LNCS, vol. 10153, pp. 148\u2013164. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-54045-0_11"},{"key":"26_CR9","doi-asserted-by":"crossref","unstructured":"Droste, J., Deters, H., Obaidi, M., Schneider, K.: Explanations in everyday software systems: towards a taxonomy for explainability needs. In: Liebel, G., Hadar, I., Spoletini, P. (eds.) 32nd IEEE International Requirements Engineering Conference, RE 2024, Reykjavik, Iceland, June 24-28, 2024, pp. 55\u201366. IEEE (2024)","DOI":"10.1109\/RE59067.2024.00016"},{"key":"26_CR10","doi-asserted-by":"crossref","unstructured":"Droste, J., Fuchs, R., Deters, H., Kl\u00fcnder, J., Schneider,K.: Explainability requirements for time series forecasts: a study in the energy domain. In: Liebel, G., Hadar, I., Spoletini, P. (eds.) 32nd IEEE International Requirements Engineering Conference, RE 2024, Reykjavik, Iceland, June 24-28, 2024, pp. 229\u2013239. IEEE (2024)","DOI":"10.1109\/RE59067.2024.00030"},{"key":"26_CR11","doi-asserted-by":"publisher","first-page":"428","DOI":"10.1016\/j.trc.2019.05.025","volume":"104","author":"N Du","year":"2019","unstructured":"Du, N., et al.: Look who\u2019s talking now: implications of AV\u2019s explanations on driver\u2019s trust, AV preference, anxiety and mental workload. Transp. Res. Part C: Emerg. Technol. 104, 428\u2013442 (2019)","journal-title":"Transp. Res. Part C: Emerg. Technol."},{"key":"26_CR12","doi-asserted-by":"crossref","unstructured":"Farrell, M., et\u00a0al.: Evolution of the IEEE P7009 standard: towards fail-safe design of autonomous systems. In: International Symposium on Software Reliability Engineering Workshops, pp. 401\u2013406 (2021)","DOI":"10.1109\/ISSREW53611.2021.00109"},{"key":"26_CR13","doi-asserted-by":"crossref","unstructured":"Farrell, M., et\u00a0al.: FRETting about requirements: formalised requirements for an aircraft engine controller. In: International Working Conference on Requirements Engineering: Foundation for Software Quality, pp. 96\u2013111. Springer (2022)","DOI":"10.1007\/978-3-030-98464-9_9"},{"issue":"2","key":"26_CR14","doi-asserted-by":"publisher","first-page":"67","DOI":"10.3390\/robotics10020067","volume":"10","author":"M Fisher","year":"2021","unstructured":"Fisher, M., et al.: An overview of verification and validation challenges for inspection robots. Robotics 10(2), 67 (2021)","journal-title":"Robotics"},{"key":"26_CR15","unstructured":"Giannakopoulou, D., et\u00a0al.: Formal requirements elicitation with FRET. In: International Working Conference on Requirements Engineering: Foundation for Software Quality (2020)"},{"key":"26_CR16","unstructured":"Hall, M., et al.: A systematic method to understand requirements for explainable AI (XAI) systems. In: Proceedings of the IJCAI Workshop on eXplainable Artificial Intelligence (XAI 2019), Macau, China (Vol. 11)"},{"key":"26_CR17","volume-title":"Policy and Investment Recommendations for Trustworthy Artificial Intelligence","author":"High-Level Expert Group on AI","year":"2019","unstructured":"High-Level Expert Group on AI: Policy and Investment Recommendations for Trustworthy Artificial Intelligence. Technical report, European Commission (2019)"},{"key":"26_CR18","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1111\/1467-839X.00019","volume":"1","author":"Y Kashima","year":"1998","unstructured":"Kashima, Y., McKintyre, A., Clifford, P.: The category of the mind: folk psychology of belief, desire, and intention. Asian J. Soc. Psychol. 1, 289\u2013313 (1998)","journal-title":"Asian J. Soc. Psychol."},{"key":"26_CR19","unstructured":"Kotonya, G., Sommerville, I.: Requirements Engineering: Processes and Techniques. Wiley (1998)"},{"key":"26_CR20","doi-asserted-by":"crossref","unstructured":"K\u00f6hl, M.A., Baum, K., Langer, M., Oster, D., Speith, T., Bohlender, D.: Explainability as a non-functional requirement. In: 2019 IEEE 27th International Requirements Engineering Conference (RE), pp. 363\u2013368 (2019)","DOI":"10.1109\/RE.2019.00046"},{"key":"26_CR21","doi-asserted-by":"crossref","unstructured":"Lacerda, B., et\u00a0al.: Optimal and dynamic planning for Markov decision processes with co-safe LTL specifications. In: IEEE\/RSJ International Conference on Intelligent Robots and Systems, pp. 1511\u20131516 (2014)","DOI":"10.1109\/IROS.2014.6942756"},{"key":"26_CR22","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2021.103473","volume":"296","author":"M Langer","year":"2021","unstructured":"Langer, M., et al.: What do we want from explainable artificial intelligence (XAI)? - a stakeholder perspective on XAI and a conceptual model guiding interdisciplinary XAI research. Artif. Intell. 296, 103473 (2021)","journal-title":"Artif. Intell."},{"key":"26_CR23","volume-title":"Principles for the Development and Assurance of Autonomous Systems for Safe Use in Hazardous Environments","author":"M Luckcuck","year":"2021","unstructured":"Luckcuck, M., et al.: Principles for the Development and Assurance of Autonomous Systems for Safe Use in Hazardous Environments. Technical report, Zenodo (2021)"},{"issue":"1","key":"26_CR24","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1207\/s15327957pspr0301_2","volume":"3","author":"BF Malle","year":"1999","unstructured":"Malle, B.F.: How people explain behavior: a new theoretical framework. Pers. Soc. Psychol. Rev. 3(1), 23\u201348 (1999)","journal-title":"Pers. Soc. Psychol. Rev."},{"issue":"3","key":"26_CR25","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1037\/0022-3514.79.3.309","volume":"79","author":"BF Malle","year":"2000","unstructured":"Malle, B.F., Knobe, J., O\u2019Laughlin, M.J., Pearce, G.E., Nelson, S.E.: Conceptual structure and social functions of behavior explanations: beyond person-situation attributions. J. Pers. Soc. Psychol. 79(3), 309\u2013326 (2000)","journal-title":"J. Pers. Soc. Psychol."},{"key":"26_CR26","unstructured":"Negri-Ribalta, C.: A method to deal with social bias and desirability in ethical requirements. In: Joint Proceedings of REFSQ Workshops, Doctoral Symposium, and Poster & Tools Track (2022)"},{"key":"26_CR27","doi-asserted-by":"crossref","unstructured":"Rosson, M.B., Carroll, J.M.: Usability Engineering: Scenario-based Development of Human-computer Interaction. Morgan Kaufmann (2002)","DOI":"10.1016\/B978-155860712-5\/50002-3"},{"key":"26_CR28","unstructured":"Tomsett, R., et\u00a0al.: Interpretable to Whom? A role-based model for analyzing interpretable machine learning systems. In: Workshop on Human Interpretability in Machine Learning (2018)"},{"key":"26_CR29","doi-asserted-by":"publisher","DOI":"10.3389\/frobt.2021.665729","volume":"8","author":"A Winfield","year":"2021","unstructured":"Winfield, A., et al.: IEEE P7001: a proposed standard on transparency. Front. Robot. AI 8, 665729 (2021)","journal-title":"Front. Robot. AI"}],"container-title":["Lecture Notes in Computer Science","Requirements Engineering: Foundation for Software Quality"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-88531-0_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,2]],"date-time":"2025-04-02T02:54:32Z","timestamp":1743562472000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-88531-0_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031885303","9783031885310"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-88531-0_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"1 April 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"Author Farrell receives funding via a Royal Academy of Engineering Research Fellowship.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Disclosure of Interests"}},{"value":"REFSQ","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Working Conference on Requirements Engineering: Foundation for Software Quality","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Barcelona","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Spain","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 April 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 April 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"refsq2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}