{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,12]],"date-time":"2025-09-12T19:42:39Z","timestamp":1757706159557,"version":"3.41.0"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031917592","type":"print"},{"value":"9783031917608","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-91760-8_3","type":"book-chapter","created":{"date-parts":[[2025,5,29]],"date-time":"2025-05-29T16:57:55Z","timestamp":1748537875000},"page":"27-42","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Adding a Non-dependable AI Component to Increase Dependability of an Interactive Application"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0001-6567-3260","authenticated-orcid":false,"given":"Axel","family":"Carayon","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1931-4643","authenticated-orcid":false,"given":"Camille","family":"Fayollas","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7907-3170","authenticated-orcid":false,"given":"Celia","family":"Martinie","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2900-2056","authenticated-orcid":false,"given":"David","family":"Navarre","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5381-971X","authenticated-orcid":false,"given":"Philippe","family":"Palanque","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,5,30]]},"reference":[{"key":"3_CR1","unstructured":"Alecu, L., et al.: Can we reconcile safety objectives with machine learning performances? (2022). https:\/\/hal.science\/hal-03765471"},{"key":"3_CR2","doi-asserted-by":"publisher","unstructured":"Barboni, E., Conversy, S., Navarre, D., Palanque, P.: Model-based engineering of widgets, user applications and servers compliant with ARINC 661 specification. In: Doherty, G., Blandford, A. (eds.) Interactive Systems. Design, Specification, and Verification. pp. 25\u201338. Springer, Berlin, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-69554-7_3","DOI":"10.1007\/978-3-540-69554-7_3"},{"key":"3_CR3","doi-asserted-by":"publisher","unstructured":"Bastide, R., Navarre, D., Palanque, P., Schyn, A., Dragicevic, P.: A model-based approach for real-time embedded multimodal systems in military air-crafts. In: Proceedings of the 6th International Conference on Multimodal Interfaces. pp. 243\u2013250. ICMI 2004, Association for Computing Machinery, New York, NY, USA (Oct 2004). https:\/\/doi.org\/10.1145\/1027933.1027974","DOI":"10.1145\/1027933.1027974"},{"key":"3_CR4","unstructured":"Bradski, G.: The OpenCV library. Dr. Dobb\u2019s J. Softw. Tools Prof. Programmer 25(11), 120\u2013123 (2000)"},{"key":"3_CR5","doi-asserted-by":"publisher","unstructured":"Campos, J.C., Fayollas, C., Harrison, M.D., Martinie, C., Masci, P., Palanque, P.: Supporting the analysis of safety critical user interfaces: an exploration of three formal tools. ACM Trans. Comput.-Hum. Interact. 27(5), 35:1\u201335:48 (2020). https:\/\/doi.org\/10.1145\/3404199, https:\/\/dl.acm.org\/doi\/https:\/\/doi.org\/10.1145\/3404199","DOI":"10.1145\/3404199"},{"key":"3_CR6","doi-asserted-by":"publisher","unstructured":"Carayon A., et al.: Engineering rehabilitation: blending two tool-supported approaches to close the loop from tasks-based rehabilitation to exercises and back again. Proc. ACM Hum. Comput. Interact. 7(EICS), 177:1\u2013177:23 (Jun 2023). https:\/\/doi.org\/10.1145\/3593229","DOI":"10.1145\/3593229"},{"key":"3_CR7","doi-asserted-by":"publisher","unstructured":"Cronel, M., Dumas, B., Palanque, P., Canny, A.: MIODMIT: a generic architecture for dynamic multimodal interactive systems. In: 7th IFIP WG 13.2 International Working Conference, HCSE 2018, Sophia Antipolis, France, September 3\u20135, 2018, Revised Selected Papers. Human-Centered Software Engineering, pp. 109\u2013129 (2019). https:\/\/doi.org\/10.1007\/978-3-030-05909-5_7","DOI":"10.1007\/978-3-030-05909-5_7"},{"key":"3_CR8","doi-asserted-by":"publisher","unstructured":"Forbrig, P., Bundea, A., Pedersen, A., Platz, T.: Digitalization of training tasks and specification of the behaviour of a social humanoid robot as coach. In: Human-Centered Software Engineering: 8th IFIP WG 13.2 International Working Conference, HCSE 2020, Eindhoven, The Netherlands, November 30 \u2013 December 2, 2020, Proceedings. pp. 45\u201357. Springer-Verlag, Berlin, Heidelberg (2020). https:\/\/doi.org\/10.1007\/978-3-030-64266-2_3","DOI":"10.1007\/978-3-030-64266-2_3"},{"key":"3_CR9","doi-asserted-by":"publisher","unstructured":"Genrich, H.J.: Predicate\/transition nets. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) Petri Nets: Central Models and Their Properties. pp. 207\u2013247. Springer, Berlin, Heidelberg (1987). https:\/\/doi.org\/10.1007\/978-3-540-47919-2_9","DOI":"10.1007\/978-3-540-47919-2_9"},{"key":"3_CR10","doi-asserted-by":"publisher","unstructured":"Hamon, A., Palanque, P., Silva, J.L., Deleris, Y., Barboni, E.: Formal description of multi-touch interactions. In: Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems. pp. 207\u2013216. EICS 2013, Association for Computing Machinery, New York, NY, USA (2013). https:\/\/doi.org\/10.1145\/2494603.2480311","DOI":"10.1145\/2494603.2480311"},{"key":"3_CR11","unstructured":"RehaCom \u2013 Cognitive Therapy|HASOMED GmbH. https:\/\/hasomed.de\/en\/products\/rehacom\/"},{"key":"3_CR12","doi-asserted-by":"publisher","unstructured":"He, Y., Eguren, D., Luu, T.P., Contreras-Vidal, J.L.: Risk management and regulations for lower limb medical exoskeletons: a review. Med. Dev. (Auckland, N.Z.) 10, 89\u2013107 (2017). https:\/\/doi.org\/10.2147\/MDER.S107134","DOI":"10.2147\/MDER.S107134"},{"key":"3_CR13","doi-asserted-by":"publisher","unstructured":"Ladry, J.F., Navarre, D., Palanque, p.: Formal description techniques to support the design, construction and evaluation of fusion engines for sure (safe, usable, reliable and evolvable) multimodal interfaces. In: Proceedings of the 2009 International Conference on Multimodal Interfaces, pp. 185\u2013192. ICMI-MLMI 2009, Association for Computing Machinery, New York, NY, USA (2009). https:\/\/doi.org\/10.1145\/1647314.1647347","DOI":"10.1145\/1647314.1647347"},{"key":"3_CR14","unstructured":"Lin, T.-Y., et al.: Microsoft coco: common objects in context. In: Computer Vision\u2013ECCV 2014: 13th European Conference, Zurich, Switzerland, September 6\u201312, 2014, Proceedings, Part V 13. Springer International Publishing (2014)"},{"key":"3_CR15","doi-asserted-by":"publisher","unstructured":"Martinie, C., Palanque, P., Ragosta, M., Sujan, M.A., Navarre, D., Pasquini, A.: Understanding functional resonance through a federation of models: preliminary findings of an avionics case study. In: Bitsch, F., Guiochet, J., Ka\u00e2niche, M. (eds.) Computer Safety, Reliability, and Security, pp. 216\u2013227. Springer, Berlin, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-40793-2_20","DOI":"10.1007\/978-3-642-40793-2_20"},{"key":"3_CR16","doi-asserted-by":"publisher","unstructured":"Navarre, D., Palanque, P., Basnyat, S.: A formal approach for user interaction reconfiguration of safety critical interactive systems. In: Harrison, M.D., Sujan, M.A. (eds.) Computer Safety, Reliability, and Security, pp. 373\u2013386. Springer, Berlin, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-87698-4_31","DOI":"10.1007\/978-3-540-87698-4_31"},{"key":"3_CR17","doi-asserted-by":"publisher","unstructured":"Navarre, D. et al. 2009. ICOs: A model-based user interface description technique dedicated to interactive systems addressing usability, reliability and scalability. ACM Trans. Comput.-Hum. Interact. 16(4), 18, 56 (2009). https:\/\/doi.org\/10.1145\/1614390.1614393","DOI":"10.1145\/1614390.1614393"},{"key":"3_CR18","doi-asserted-by":"publisher","unstructured":"Noroozi, M., Shah, A.: Towards optimal foreign object debris detection in an airport environment. Expert Syst. Appl. 213(PA) (2023). https:\/\/doi.org\/10.1016\/j.eswa.2022.118829, https:\/\/doi.org\/10.1016\/j.eswa.2022.118829","DOI":"10.1016\/j.eswa.2022.118829"},{"key":"3_CR19","unstructured":"Palanque, P., Schyn, A.: A model-based approach for engineering multimodal interactive systems. In: Human-Computer Interaction INTERACT \u201903: IFIP TC13 International Conference on Human-Computer Interaction, 1st-5th September 2003, Zurich, Switzerland (2003)"},{"key":"3_CR20","unstructured":"Palmer, E.: Oops, it didn\u2019t arm. a case study of two automation surprises. In: Proceedings of the Eighth International Symposium on Aviation Psychology (1995)"},{"key":"3_CR21","doi-asserted-by":"publisher","unstructured":"Plata, A.M., Garrido, J.E., Valls, J.A.F., Penichet, V.M.R., Lozano, M.D.: Looking for an adequate monitoring mechanism for rehabilitation systems based on movement interaction. In: Proceedings of the XVII International Conference on Human Computer Interaction. Interacci\u00f3n \u201916, Association for Computing Machinery, New York, NY, USA (2016). https:\/\/doi.org\/10.1145\/2998626.2998657","DOI":"10.1145\/2998626.2998657"},{"issue":"4","key":"3_CR22","doi-asserted-by":"publisher","first-page":"1680","DOI":"10.3390\/make5040083","volume":"5","author":"J Terven","year":"2023","unstructured":"Terven, J., C\u00f3rdova-Esparza, D.M., Romero-Gonz\u00e1lez, J.A.: A comprehensive review of yolo architectures in computer vision: from YOLOv1 to YOLOv8 and YOLO-NAS. Mach. Learn. Knowl. Extract. 5(4), 1680\u20131716 (2023). https:\/\/doi.org\/10.3390\/make5040083","journal-title":"Mach. Learn. Knowl. Extract."},{"key":"3_CR23","doi-asserted-by":"publisher","unstructured":"Silva, J.L., Fayollas, C., Hamon, A., Palanque, P., Martiinie, C., Barboni, E.: Analysis of WIMP and post WIMP interactive systems based on formal specification. Electron. Commun. EASST 69 (2014). https:\/\/doi.org\/10.14279\/tuj.eceasst.69.967","DOI":"10.14279\/tuj.eceasst.69.967"},{"key":"3_CR24","doi-asserted-by":"publisher","unstructured":"Terven, J., et al.: A comprehensive review of YOLO architectures in computer vision: from YOLOv1 to YOLOv8 and YOLO-NAS. Mach. Learn. Knowl. Extract. 5(4), 1680\u20131716 (2023). https:\/\/doi.org\/10.3390\/make5040083","DOI":"10.3390\/make5040083"},{"issue":"5","key":"3_CR25","doi-asserted-by":"publisher","first-page":"1363","DOI":"10.1161\/STROKEAHA.110.601138","volume":"42","author":"T Weiss","year":"2011","unstructured":"Weiss, T., et al.: Deafferentation of the affected arm: a method to improve rehabilitation? Stroke 42(5), 1363\u20131370 (2011). https:\/\/doi.org\/10.1161\/STROKEAHA.110.601138","journal-title":"Stroke"},{"key":"3_CR26","unstructured":"World Stroke Organization. 2022. Global Stroke Fact Sheet 2022. https:\/\/www.worldstroke.org\/assets\/downloads\/WSO_Global_Stroke_Fact_Sheet.pdf. Accessed February 2023"}],"container-title":["Lecture Notes in Computer Science","Engineering Interactive Computer Systems. EICS 2024 International Workshops"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-91760-8_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,29]],"date-time":"2025-05-29T16:57:59Z","timestamp":1748537879000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-91760-8_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031917592","9783031917608"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-91760-8_3","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":"30 May 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"EICS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Engineering Interactive Computer Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Cagliari","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 June 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 June 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"eics2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/eics.acm.org\/2024\/workshop-list.html","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}