{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T23:46:13Z","timestamp":1740181573547,"version":"3.37.3"},"reference-count":56,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2023,4,15]],"date-time":"2023-04-15T00:00:00Z","timestamp":1681516800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,4,15]],"date-time":"2023-04-15T00:00:00Z","timestamp":1681516800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/501100003816","name":"Huawei Technologies","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100003816","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["SN COMPUT. SCI."],"DOI":"10.1007\/s42979-023-01712-5","type":"journal-article","created":{"date-parts":[[2023,4,15]],"date-time":"2023-04-15T16:01:57Z","timestamp":1681574517000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Toolchain for Synthesizing and Validating Safety Architectures"],"prefix":"10.1007","volume":"4","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0298-2805","authenticated-orcid":false,"given":"Yuri","family":"Gil Dantas","sequence":"first","affiliation":[]},{"given":"Tiziano","family":"Munaro","sequence":"additional","affiliation":[]},{"given":"Carmen","family":"Carlan","sequence":"additional","affiliation":[]},{"given":"Vivek","family":"Nigam","sequence":"additional","affiliation":[]},{"given":"Simon","family":"Barner","sequence":"additional","affiliation":[]},{"given":"Shiqing","family":"Fan","sequence":"additional","affiliation":[]},{"given":"Alexander","family":"Pretschner","sequence":"additional","affiliation":[]},{"given":"Ulrich","family":"Sch\u00f6pp","sequence":"additional","affiliation":[]},{"given":"Sergey","family":"Tverdyshev","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,4,15]]},"reference":[{"key":"1712_CR1","doi-asserted-by":"crossref","unstructured":"Armoush, A. Design patterns for safety-critical embedded systems. PhD thesis, RWTH Aachen University (2010)","DOI":"10.1109\/SEAA.2009.12"},{"key":"1712_CR2","doi-asserted-by":"publisher","unstructured":"Preschern C, Kajtazovic N, Kreiner C. Building a safety architecture pattern system. In: van Heesch U, Kohls C (eds) Proceedings of the 18th European Conference on Pattern Languages of Program, EuroPLoP 2013, Irsee, Germany, July 10-14, 2013, pp. 17\u201311755. ACM, New York (2013). https:\/\/doi.org\/10.1145\/2739011.2739028.","DOI":"10.1145\/2739011.2739028"},{"key":"1712_CR3","doi-asserted-by":"publisher","unstructured":"Dantas YG Munaro T, C\u00e2rlan C, Nigam V, Barner S, Fan S, Pretschner A, Sch\u00f6pp U, Tverdyshev S. A Model-based System Engineering Plugin for Safety Architecture Pattern Synthesis. In: Pires LF, Hammoudi S, Seidewitz E (eds) Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2022, Online Streaming, February 6-8, 2022, pp. 36\u201347. SCITEPRESS, Portugal (2022). https:\/\/doi.org\/10.5220\/0010831700003119.","DOI":"10.5220\/0010831700003119"},{"key":"1712_CR4","unstructured":"fortiss GmbH: AutoFOCUS 2.21. Available at https:\/\/af3.fortiss.org\/. https:\/\/af3.fortiss.org\/. Accessed 10 June 2022."},{"key":"1712_CR5","unstructured":"Eclipse Foundation: Eclipse Modeling Framework (EMF). Available at https:\/\/www.eclipse.org\/modeling\/emf\/. https:\/\/www.eclipse.org\/modeling\/emf\/. Accessed 10 June 2022."},{"key":"1712_CR6","unstructured":"Pohl K, H\u00f6nninger R, Harald Achatz Broy M (eds) (2012) The SPES 2020 Engineering-methodology for software-intensive embedded systems, p. 301. Springer, New York"},{"key":"1712_CR7","unstructured":"Aravantinos V, Voss S, Teufl S, H\u00f6lzl F, Sch\u00e4tz B. AutoFOCUS\u00a03: Tooling concepts for seamless, model-based development of embedded systems. In: Proc. 8th Int. Workshop Model-based Architecting of Cyber-Physical and Embedded Systems (ACES-MB), pp. 19\u201326 (2015)"},{"key":"1712_CR8","doi-asserted-by":"publisher","unstructured":"Barner S, Chauvel F, Diewald A, Eizaguirre F, Haugen \u00d8, Migge J, Vasilevskiy A. In: Ahmadian, H., Obermaisser, R., Perez, J. (eds.) Modeling and Development Process, pp. 87\u2013161. CRC Press, Boca Raton (2018). https:\/\/doi.org\/10.1201\/9781351117821-4","DOI":"10.1201\/9781351117821-4"},{"key":"1712_CR9","doi-asserted-by":"publisher","unstructured":"Eder J, Zverlov S, Voss S, Khalil M, Ipatiov A, Bringing DSE to life: Exploring the design space of an industrial automotive use case. In: 20th ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2017, Austin, TX, USA, September 17-22, 2017, pp. 270\u2013280. IEEE Computer Society, Washington, D.C. (2017). https:\/\/doi.org\/10.1109\/MODELS.2017.36.","DOI":"10.1109\/MODELS.2017.36"},{"key":"1712_CR10","unstructured":"Zverlov S, Voss S, B\u00f6hm T, Herpel H.-J, Kerep M, Model-based methodology for space vehicles. In: Proceedings of the Eurospace Annual Conference on Data Systems in Aerospace (DASIA) (2019)"},{"key":"1712_CR11","unstructured":"Diewald A, Barner S, Saidi S, Combined data transfer response time and mapping exploration in mpsocs. In: 10th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS) Co-located with ECRTS (2019). https:\/\/archives.ecrts.org\/fileadmin\/WebsitesArchiv\/ecrts2019\/waters\/waters-program\/"},{"key":"1712_CR12","doi-asserted-by":"publisher","unstructured":"Eder J, Bayha A, Voss S, Ipatiov A, Khalil M, From deployment to platform exploration: Automatic synthesis of distributed automotive hardware architectures. In: Wasowski, A., Paige, R.F., Haugen, \u00d8. (eds.) Proceedings of the 21th ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2018, Copenhagen, Denmark, October 14-19, 2018, pp. 438\u2013446. ACM, New York (2018). https:\/\/doi.org\/10.1145\/3239372.3239385.","DOI":"10.1145\/3239372.3239385"},{"key":"1712_CR13","doi-asserted-by":"publisher","unstructured":"Eder J, Voss S, Bayha A, Ipatiov A, Khalil M. Hardware architecture exploration: automatic exploration of distributed automotive hardware architectures. Software and Systems Modeling. 2020. https:\/\/doi.org\/10.1007\/s10270-020-00786-6.","DOI":"10.1007\/s10270-020-00786-6"},{"key":"1712_CR14","doi-asserted-by":"publisher","unstructured":"Migge J, Balbastre P, Barner S, Chauvel F, Craciunas S.S, Diewald A, Durrieu G, Haugen \u00d8, Seyed A.A.J, Pagetti C, Oliver R.S, Vasilevskiy A In: Ahmadian, H., Obermaisser, R., Perez, J. (eds.) Algorithms and Tools, pp. 163\u2013259. CRC Press, Boca Raton, 2018. https:\/\/doi.org\/10.1201\/9781351117821-5","DOI":"10.1201\/9781351117821-5"},{"key":"1712_CR15","doi-asserted-by":"publisher","unstructured":"Barner S, Diewald A, Migge J, Syed A, Fohler G, Faug\u00e8re M, Gracia P\u00e9rez D. DREAMS toolchain: Model-driven engineering of mixed-criticality systems. In: Proceedings of the ACM\/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS \u201917), pp. 259\u2013269. IEEE, Austin, TX, USA 2017. https:\/\/doi.org\/10.1109\/MODELS.2017.28","DOI":"10.1109\/MODELS.2017.28"},{"key":"1712_CR16","doi-asserted-by":"publisher","unstructured":"Barner S, Diewald A, Eizaguirre F, Vasilevskiy A, Chauvel F. Building product-lines of mixed-criticality systems. In: Proceedings of the Forum on Specification and Design Languages (FDL 2016). IEEE, Bremen, Germany 2016. https:\/\/doi.org\/10.1109\/FDL.2016.7880378","DOI":"10.1109\/FDL.2016.7880378"},{"key":"1712_CR17","unstructured":"Eder J, Voss S. Usable design space exploration in AutoFOCUS3. In: Joint Proceedings of the 12th Educators Symposium (EduSymp 2016) and 3rd International Workshop on Open Source Software for Model Driven Engineering (OSS4MDE 2016) Co-located with MODELS 2016, pp. 51\u201358. CEUR-WS, 2016. http:\/\/ceur-ws.org\/Vol-1835\/paper08.pdf"},{"key":"1712_CR18","unstructured":"Voss S, Eder J, H\u00f6lzl F. Design space exploration and its visualization in autofocus3. In: Software Engineering (Workshops), pp. 57\u201366 2014. http:\/\/ceur-ws.org\/Vol-1129\/paper33.pdf"},{"key":"1712_CR19","unstructured":"ISO26262: ISO 26262, road vehicles - functional safety - part 6: Product development: software level (2018). Available at https:\/\/www.iso.org\/standard\/43464.html"},{"issue":"1","key":"1712_CR20","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 CE. Basic concepts and taxonomy of dependable and secure computing. IEEE Trans Dependable Secur Comput. 2004;1(1):11\u201333.","journal-title":"IEEE Trans. Dependable Secur. Comput."},{"key":"1712_CR21","unstructured":"Real-Time Design Patterns: Robust Scalable Architecture for Real-Time Systems, (2012)"},{"key":"1712_CR22","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2020.101765","volume":"110","author":"I Sljivo","year":"2020","unstructured":"Sljivo I, Uriagereka GJ, Puri S, Gallina B. Guiding assurance of architectural design patterns for critical applications. J Syst Archit. 2020;110: 101765. https:\/\/doi.org\/10.1016\/j.sysarc.2020.101765.","journal-title":"J. Syst. Archit."},{"key":"1712_CR23","doi-asserted-by":"crossref","unstructured":"Preschern C, Kajtazovic N, Kreiner C. Security analysis of safety patterns. In: Proceedings of the 20th Conference on Pattern Languages of Programs (PLoP '13). 2013. pp. 1\u201338.","DOI":"10.1145\/2721956.2721958"},{"issue":"3","key":"1712_CR24","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1109\/LES.2019.2953253","volume":"12","author":"A Biondi","year":"2020","unstructured":"Biondi A, Nesti F, Cicero G, Casini D, Buttazzo GC. A safe, secure, and predictable software architecture for deep learning in safety-critical systems. IEEE Embed Syst Lett. 2020;12(3):78\u201382. https:\/\/doi.org\/10.1109\/LES.2019.2953253.","journal-title":"IEEE Embed. Syst. Lett."},{"key":"1712_CR25","doi-asserted-by":"publisher","unstructured":"Bak S, Chivukula D.K, Adekunle O, Sun M, Caccamo M, Sha L. The system-level simplex architecture for improved real-time embedded system safety. In: 15th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2009, San Francisco, CA, USA, 13-16 April 2009, pp. 99\u2013107. IEEE Computer Society, Washington, D.C. 2009. https:\/\/doi.org\/10.1109\/RTAS.2009.20","DOI":"10.1109\/RTAS.2009.20"},{"key":"1712_CR26","unstructured":"Dantas YG, Kondeva A, Nigam V. Less manual work for safety engineers: Towards an automated safety reasoning with safety patterns. In: International Conference on Logic Programming (ICLP) 2020"},{"issue":"3","key":"1712_CR27","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1145\/1149114.1149117","volume":"7","author":"N Leone","year":"2006","unstructured":"Leone N, Pfeifer G, Faber W, Eiter T, Gottlob G, Perri S, Scarcello F. The DLV system for knowledge representation and reasoning. ACM Trans Comput Logic. 2006;7(3):499\u2013562.","journal-title":"ACM Trans Comput Logic"},{"key":"1712_CR28","unstructured":"Wood M, Robbel P, Maass M, Tebbens RD, Meijs M, Harb M, Reach J, Robinson K, Wittmann D, Srivastava T, Bouzouraa M.E, Liu S, Wang Y, Knobel C, Boymanns D, L\u00f6hning M, Dehlink B, Kaule D, Kr\u00fcger R, Frtunikj J, Raisch F, Gruber M, Steck J, Mejia-Hernandez J, Syguda S, Bl\u00fcher P, Klonecki K, Schnarz P, Wiltschko T, Pukallus S, Sedlaczek K, Garbacik N, Smerza D, Li D, Timmons A, Bellotti M, O\u2019Brien, M., Sch\u00f6llhorn, M., Dannebaum, U., Weast, J., Tatourian, A., Dornieden, B., Schnetter, P., Themann, P., Weidner, T., Schlicht, P.: Safety first for automated driving. Technical report, Aptiv; Audi; Baidu; BMW; Continental; Daimler; Fiat Chrysler Automobiles; HERE; Infineon; Intel; Volkswagen; (2019). https:\/\/www.daimler.com\/documents\/innovation\/other\/safety-first-for-automated-driving.pdf. Accessed 10 June 2022."},{"key":"1712_CR29","unstructured":"EmbASP. Available at https:\/\/www.mat.unical.it\/calimeri\/projects\/embasp\/. Accessed 10 June 2022."},{"key":"1712_CR30","doi-asserted-by":"publisher","unstructured":"Becker K, Voss S, Sch\u00e4tz B. Formal analysis of feature degradation in fault-tolerant automotive systems. Science of Computer Programming. 2018;154:89\u2013133. https:\/\/doi.org\/10.1016\/j.scico.2017.10.007. Formal Techniques for Safety-Critical Systems 2015.","DOI":"10.1016\/j.scico.2017.10.007"},{"key":"1712_CR31","doi-asserted-by":"publisher","unstructured":"Munaro T, Muntean I. Early assessment of system-level safety mechanisms through co-simulation-based fault injection. In: 2022 IEEE Intelligent Vehicles Symposium (IV), pp. 1703\u20131708 2022. https:\/\/doi.org\/10.1109\/IV51971.2022.9827327","DOI":"10.1109\/IV51971.2022.9827327"},{"key":"1712_CR32","doi-asserted-by":"publisher","unstructured":"Schr\u00f6der N, Lenord O, Lange R. Enhanced motion control of a self-driving vehicle using modelica, fmi and ros. Proceedings of the 13th International Modelica Conference, Regensburg, Germany, March 4-6, 2019 157, 441\u2013450 (2019). https:\/\/doi.org\/10.3384\/ecp19157441","DOI":"10.3384\/ecp19157441"},{"key":"1712_CR33","doi-asserted-by":"publisher","unstructured":"Sargent R.G. Verification and validation of simulation models. In: Proceedings of the 2010 Winter Simulation Conference, pp. 166\u2013183. IEEE, 2010. https:\/\/doi.org\/10.1109\/WSC.2010.5679166.","DOI":"10.1109\/WSC.2010.5679166"},{"key":"1712_CR34","doi-asserted-by":"publisher","unstructured":"Hauer F, Schmidt T, Holzmuller B, Pretschner A. Did we test all scenarios for automated and autonomous driving systems?, pp. 2950\u20132955. IEEE, (2019). https:\/\/doi.org\/10.1109\/ITSC.2019.8917326.","DOI":"10.1109\/ITSC.2019.8917326"},{"key":"1712_CR35","doi-asserted-by":"publisher","first-page":"705","DOI":"10.1016\/j.infsof.2014.05.007","volume":"57","author":"R Matinnejad","year":"2015","unstructured":"Matinnejad R, Nejati S, Briand L, Bruckmann T, Poull C. Search-based automated testing of continuous controllers: Framework, tool support, and case studies. Information and Software Technology. 2015;57:705\u201322. https:\/\/doi.org\/10.1016\/j.infsof.2014.05.007.","journal-title":"Information and Software Technology"},{"issue":"10","key":"1712_CR36","doi-asserted-by":"publisher","first-page":"1349","DOI":"10.1016\/j.ress.2011.03.013","volume":"96","author":"P Sinha","year":"2011","unstructured":"Sinha P. Architectural design and reliability analysis of a fail-operational brake-by-wire system from iso 26262 perspectives. Reliability Engineering & System Safety. 2011;96(10):1349\u201359. https:\/\/doi.org\/10.1016\/j.ress.2011.03.013.","journal-title":"Reliability Engineering & System Safety"},{"key":"1712_CR37","doi-asserted-by":"publisher","unstructured":"Kohn A, K\u00e4\u00dfmeyer M, Schneider R, Roger A, Stellwag C, Herkersdorf A. Fail-operational in safety-related automotive multi-core systems. In: 10th IEEE International Symposium on Industrial Embedded Systems (SIES) 2015. https:\/\/doi.org\/10.1109\/SIES.2015.7185051","DOI":"10.1109\/SIES.2015.7185051"},{"key":"1712_CR38","doi-asserted-by":"publisher","unstructured":"Wei J, Snider J.M, Kim J, Dolan J.M, Rajkumar R, Litkouhi B. Towards a viable autonomous driving research platform. In: 2013 IEEE Intelligent Vehicles Symposium (IV), pp. 763\u2013770 (2013). https:\/\/doi.org\/10.1109\/IVS.2013.6629559","DOI":"10.1109\/IVS.2013.6629559"},{"key":"1712_CR39","doi-asserted-by":"crossref","unstructured":"Sommer S, Camek A, Buckl C, Becker K, Zirkler A, Fiege L, Armbruster M, Knoll A. Race: A centralized platform computer based architecture for automotive applications. In: Vehicular Electronics Conference (VEC) and the International Electric Vehicle Conference (IEVC) (VEC\/IEVC 2013). IEEE 2013","DOI":"10.1109\/IEVC.2013.6681152"},{"key":"1712_CR40","doi-asserted-by":"publisher","unstructured":"Knoll A, Buckl C, Kuhn K.-J, Spiegelberg G. In: Dajsuren, Y., van\u00a0den Brand, M. (eds.) The RACE Project: An Informatics-Driven Greenfield Approach to Future E\/E Architectures for Cars, pp. 171\u2013195. Springer. https:\/\/doi.org\/10.1007\/978-3-030-12157-0_8","DOI":"10.1007\/978-3-030-12157-0_8"},{"key":"1712_CR41","doi-asserted-by":"publisher","unstructured":"Ruiz A, Juez G, Schleiss P, Weiss G. A safe generic adaptation mechanism for smart cars. In: 2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE), pp. 161\u2013171 2015. https:\/\/doi.org\/10.1109\/ISSRE.2015.7381810","DOI":"10.1109\/ISSRE.2015.7381810"},{"key":"1712_CR42","doi-asserted-by":"publisher","unstructured":"Penha D, Weiss G, Stante A. Pattern-based approach for designing fail-operational safety-critical embedded systems. In: 2015 IEEE 13th International Conference on Embedded and Ubiquitous Computing, pp. 52\u201359 (2015). https:\/\/doi.org\/10.1109\/EUC.2015.14","DOI":"10.1109\/EUC.2015.14"},{"key":"1712_CR43","doi-asserted-by":"publisher","unstructured":"Kim J, Bhatia G, Rajkumar R, Jochim M. Safer: System-level architecture for failure evasion in real-time applications. In: 2012 IEEE 33rd Real-Time Systems Symposium, pp. 227\u2013236 2012. https:\/\/doi.org\/10.1109\/RTSS.2012.74","DOI":"10.1109\/RTSS.2012.74"},{"issue":"1","key":"1712_CR44","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1145\/2492385.2492390","volume":"10","author":"J Kim","year":"2013","unstructured":"Kim J, Rajkumar RR, Jochim M. Towards dependable autonomous driving vehicles: A system-level approach. SIGBED Rev. 2013;10(1):29\u201332. https:\/\/doi.org\/10.1145\/2492385.2492390.","journal-title":"SIGBED Rev."},{"key":"1712_CR45","unstructured":"Becker K, Frtunikj J, Felser M, Fiege L, Buckl C, Rothbauer S, Zhang L, Klein C. RACE RTE: A Runtime Environment for Robust Fault-Tolerant Vehicle Functions. In: CARS 2015 - Critical Automotive Applications: Robustness & Safety, Paris, France 2015. https:\/\/hal.archives-ouvertes.fr\/hal-01192987. Accessed 10 June 2022."},{"key":"1712_CR46","unstructured":"Becker K. Software deployment analysis for mixed reliability automotive systems. Dissertation, Technische Universit\u00e4t M\u00fcnchen, M\u00fcnchen (2017). http:\/\/nbn-resolving.de\/urn\/resolver.pl?urn:nbn:de:bvb:91-diss-20170726-1345914-1-1. Accessed 10 June 2022."},{"issue":"2","key":"1712_CR47","doi-asserted-by":"publisher","first-page":"590","DOI":"10.1016\/j.engfailanal.2010.09.025","volume":"18","author":"Y Papadopoulos","year":"2011","unstructured":"Papadopoulos Y, Walker M, Parker D, Ruede E, Hamann R, Uhlig A, Graetz U, Lien R. Engineering failure analysis and design optimisation with HiP-HOPS. Journal of Engineering Failure Analysis. 2011;18(2):590\u2013608. https:\/\/doi.org\/10.1016\/j.engfailanal.2010.09.025.","journal-title":"Journal of Engineering Failure Analysis"},{"key":"1712_CR48","doi-asserted-by":"publisher","unstructured":"Belmonte F, Soubiran E. A model based approach for safety analysis. In: Ortmeier, F., Daniel, P. (eds.) Computer Safety, Reliability, and Security - SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM\/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012. Proceedings. Lecture Notes in Computer Science, vol. 7613, pp. 50\u201363. Springer, New York (2012). https:\/\/doi.org\/10.1007\/978-3-642-33675-1_5.","DOI":"10.1007\/978-3-642-33675-1_5"},{"key":"1712_CR49","doi-asserted-by":"publisher","unstructured":"de Moura L.M, Bj\u00f8rner N. Z3: an efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings. Lecture Notes in Computer Science, vol. 4963, pp. 337\u2013340. Springer, New York, (2008). https:\/\/doi.org\/10.1007\/978-3-540-78800-3_24.","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"1712_CR50","doi-asserted-by":"publisher","unstructured":"Uriagereka G.J, Lattarulo R, Rastelli J.P, Calonge E.A, Lopez A.R, Ortiz H.E. Fault injection method for safety and controllability evaluation of automated driving. In: 2017 IEEE Intelligent Vehicles Symposium (IV), pp. 1867\u20131872. IEEE, (2017). https:\/\/doi.org\/10.1109\/IVS.2017.7995977","DOI":"10.1109\/IVS.2017.7995977"},{"key":"1712_CR51","doi-asserted-by":"publisher","unstructured":"Sini J, Violante M. An Automatic Approach to Perform FMEDA Safety Assessment on Hardware Designs. In: 2018 IEEE 24th International Symposium on On-Line Testing And Robust System Design (IOLTS), pp. 49\u201352. IEEE, (2018). https:\/\/doi.org\/10.1109\/IOLTS.2018.8474217","DOI":"10.1109\/IOLTS.2018.8474217"},{"key":"1712_CR52","doi-asserted-by":"crossref","unstructured":"Svenningsson R, Vinter J, Eriksson H, T\u00f6rngren M. MODIFI: A MODel-Implemented Fault Injection Tool. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 6351 LNCS, 210\u2013222 2010","DOI":"10.1007\/978-3-642-15651-9_16"},{"key":"1712_CR53","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1016\/j.ifacol.2019.08.077","volume":"52","author":"M Saraoglu","year":"2019","unstructured":"Saraoglu M, Morozov A, Janschek K. MOBATSim: MOdel-Based Autonomous Traffic Simulation Framework for Fault-Error-Failure Chain Analysis. IFAC-PapersOnLine. 2019;52:239\u201344.","journal-title":"IFAC-PapersOnLine"},{"key":"1712_CR54","doi-asserted-by":"crossref","unstructured":"Neema H, Gohl J, Lattmann Z, Sztipanovits J, Karsai G, Neema S, Bapty T, Batteh J, Tummescheit H, Sureshkumar C. Model-Based Integration Platform for FMI Co-Simulation and Heterogeneous Simulations of Cyber-Physical Systems. In: Proceedings of the 10th International Modelica Conference, March 10-12, 2014, Lund, Sweden, vol. 96, pp. 235\u2013245 2014","DOI":"10.3384\/ecp14096235"},{"key":"1712_CR55","unstructured":"dSPACE GmbH: Always the Right Model. dSPACE Magazin, 12\u201317 2015"},{"key":"1712_CR56","doi-asserted-by":"publisher","unstructured":"Frasheri M, Thule C, Macedo H.D, Lausdahl K, Larsen P.G, Esterle L. Fault injecting co-simulations for safety. In: 2021 5th International Conference on System Reliability and Safety (ICSRS), pp. 6\u201313. IEEE, ??? (2021). https:\/\/doi.org\/10.1109\/ICSRS53853.2021.9660728","DOI":"10.1109\/ICSRS53853.2021.9660728"}],"container-title":["SN Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s42979-023-01712-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s42979-023-01712-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s42979-023-01712-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,18]],"date-time":"2024-10-18T10:10:42Z","timestamp":1729246242000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s42979-023-01712-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,4,15]]},"references-count":56,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2023,7]]}},"alternative-id":["1712"],"URL":"https:\/\/doi.org\/10.1007\/s42979-023-01712-5","relation":{},"ISSN":["2661-8907"],"issn-type":[{"type":"electronic","value":"2661-8907"}],"subject":[],"published":{"date-parts":[[2023,4,15]]},"assertion":[{"value":"3 July 2022","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 January 2023","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 April 2023","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare that they have no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}],"article-number":"335"}}