{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,14]],"date-time":"2026-07-14T18:38:40Z","timestamp":1784054320535,"version":"3.55.0"},"reference-count":60,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"6","license":[{"start":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T00:00:00Z","timestamp":1780272000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T00:00:00Z","timestamp":1780272000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T00:00:00Z","timestamp":1780272000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"National Key Research and Development Program of China","award":["2024YFB2505604"],"award-info":[{"award-number":["2024YFB2505604"]}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62232008"],"award-info":[{"award-number":["62232008"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62172200"],"award-info":[{"award-number":["62172200"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."],"published-print":{"date-parts":[[2026,6]]},"DOI":"10.1109\/tcad.2025.3626446","type":"journal-article","created":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T17:34:08Z","timestamp":1761672848000},"page":"2912-2925","source":"Crossref","is-referenced-by-count":2,"title":["STPA-Guided SOTIF Assessment of Real-Time Autonomous Driving Behavior in Uncertain Environments"],"prefix":"10.1109","volume":"45","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2357-386X","authenticated-orcid":false,"given":"Xiaoying","family":"Chen","sequence":"first","affiliation":[{"name":"State Key Laboratory of Novel Software Technology, Nanjing University, Nanjing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6170-5675","authenticated-orcid":false,"given":"Jiawan","family":"Wang","sequence":"additional","affiliation":[{"name":"State Key Laboratory of Novel Software Technology, Nanjing University, Nanjing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-0087-7496","authenticated-orcid":false,"given":"Yulong","family":"Lv","sequence":"additional","affiliation":[{"name":"State Key Laboratory of Novel Software Technology, Nanjing University, Nanjing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5598-4006","authenticated-orcid":false,"given":"Shangqing","family":"Liu","sequence":"additional","affiliation":[{"name":"State Key Laboratory of Novel Software Technology, Nanjing University, Nanjing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0517-7801","authenticated-orcid":false,"given":"Lei","family":"Bu","sequence":"additional","affiliation":[{"name":"State Key Laboratory of Novel Software Technology, Nanjing University, Nanjing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","volume-title":"Road Vehicles\u2013Safety of the Intended Functionality","year":"2019"},{"key":"ref2","volume-title":"Testing Autonomous Vehicles With a Driver","year":"2023"},{"key":"ref3","article-title":"An automatic safety-based test case generation approach based on systems-theoretic process analysis","author":"Abdulkhaleq","year":"2016"},{"key":"ref4","article-title":"Application of STPA to an automotive shift-by-wire system","volume-title":"Proc. STAMP Workshop","author":"Sundaram"},{"key":"ref5","article-title":"Depiction of priority light-vehicle pre-crash scenarios for safety applications based on vehicle-to-vehicle communications","author":"Najm","year":"2013"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2016.2582208"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA40945.2020.9197145"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/DTPI52967.2021.9540200"},{"key":"ref9","article-title":"STPA handbook","author":"Leveson","year":"2018"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s38314-020-0257-4"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-58920-2_11"},{"issue":"3","key":"ref12","first-page":"212","article-title":"Integration of STPA and TOPSIS fuzzy methods for risk analysis in aerospace projects","volume":"10","author":"Borges","year":"2022","journal-title":"Int. J. Decis. Sci., Risk Manage."},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ICMAE56000.2022.9852838"},{"key":"ref14","article-title":"Systems theoretic hazard analysis (STPA) applied to the risk review of complex systems: An example from the medical device industry","author":"Antoine","year":"2013"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/0-387-24590-1_1"},{"key":"ref16","volume-title":"Practice: Become an Expert in Software Architecture Modeling and Analysis","author":"Delange","year":"2017"},{"issue":"1","key":"ref17","first-page":"1","article-title":"Towards a definition of knowledge graphs","volume":"48","author":"Ehrlinger","year":"2016","journal-title":"Semantics (Posters, Demos, Success)"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2023.109138"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/32.605761"},{"key":"ref20","article-title":"Extending and automating a systems-theoretic hazard analysis for requirements generation and analysis","author":"Thomas","year":"2013"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2017.2681076"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-81685-8_23"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00202-T"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/225058.225162"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v30i1.10289"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-021-00538-3"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-23506-6_17"},{"issue":"2","key":"ref28","first-page":"61","article-title":"Stop and go cruise control","volume":"1","author":"Venhovens","year":"2000","journal-title":"Int. J. Automot. Technol."},{"key":"ref29","volume-title":"OSATE2","year":"2023"},{"issue":"2","key":"ref30","first-page":"389","article-title":"The cost of traffic accident and equivalent accident number in developing countries (case study in Indonesia)","volume":"12","author":"Sugiyanto","year":"2017","journal-title":"ARPN J. Eng. Appl. Sci."},{"key":"ref31","article-title":"Automated driving system (ADS) high\u2013level quality requirements analysis\u2013driving behavior safety","author":"Czarnecki","year":"2018"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2015.164"},{"key":"ref33","volume-title":"Openscenario 2.0.0. ASAM","year":"2025"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2021.107610"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00147-B"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2021.3056360"},{"key":"ref37","doi-asserted-by":"crossref","first-page":"160","DOI":"10.1007\/978-3-540-34282-3_5","article-title":"Fault tree analysis, FTA","volume-title":"Reliability in Automotive and Mechanical Engineering: Determination of Component and System Reliability","author":"Bertsche","year":"2008"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevE.62.1805"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevE.51.1035"},{"key":"ref40","article-title":"The intelligent driver model: Analysis and application to adaptive cruise control","author":"Malinauskas","year":"2014"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32460-4"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/ISdea.2012.592"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/ICICSE52190.2021.9404128"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/HPCC-CSS-ICESS.2015.296"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-90870-6_43"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2017.7995802"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2017.7989173"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2018.8500374"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE5003.2020.00012"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238192"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2023.3254142"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2024.3518297"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/8179.001.0001"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1016\/c2009-0-27609-4"},{"key":"ref55","first-page":"1","article-title":"Safety analysis approaches for automotive electronic control systems","volume-title":"Proc. Soc. Automot. Eng. Meeting","author":"Hommes"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/RAMS51473.2023.10088187"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1016\/j.oceaneng.2022.113569"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1111\/risa.13927"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.26408\/125.01"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-024-00551-8"}],"container-title":["IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/43\/11527413\/11219071.pdf?arnumber=11219071","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,21]],"date-time":"2026-05-21T19:43:07Z","timestamp":1779392587000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11219071\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,6]]},"references-count":60,"journal-issue":{"issue":"6"},"URL":"https:\/\/doi.org\/10.1109\/tcad.2025.3626446","relation":{},"ISSN":["0278-0070","1937-4151"],"issn-type":[{"value":"0278-0070","type":"print"},{"value":"1937-4151","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,6]]}}}