{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,6]],"date-time":"2026-06-06T06:23:43Z","timestamp":1780727023540,"version":"3.54.1"},"reference-count":63,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2022]]},"DOI":"10.1109\/access.2022.3193495","type":"journal-article","created":{"date-parts":[[2022,7,25]],"date-time":"2022-07-25T19:57:08Z","timestamp":1658779028000},"page":"79311-79334","source":"Crossref","is-referenced-by-count":16,"title":["Integrated System Design and Safety Framework for Model-Based Safety Assessment"],"prefix":"10.1109","volume":"10","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9344-2040","authenticated-orcid":false,"given":"Rahul","family":"Krishnan","sequence":"first","affiliation":[{"name":"Department of Electrical and Computer Engineering, Worcester Polytechnic Institute (WPI), Worcester, MA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9869-2137","authenticated-orcid":false,"given":"Shamsnaz Virani","family":"Bhada","sequence":"additional","affiliation":[{"name":"Department of Electrical and Computer Engineering, Worcester Polytechnic Institute (WPI), Worcester, MA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-12-815367-3.00006-2"},{"key":"ref2","volume-title":"Autonomous Cars by Global Market Size 2030 | Statista","year":"2019"},{"key":"ref3","volume-title":"Autonomous Guided Vehicle Market Size Worldwide From 2018 to 2026","year":"2020"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/AITEST49225.2020.00011"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.robot.2017.04.004"},{"key":"ref6","volume-title":"Road Vehicles-Functional Safety","year":"2018"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1002\/0471739421"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1201\/b17854"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2009.2039551"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1002\/sys.20096"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1049\/em:19980412"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2016.2547460"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ICRMS.2011.5979344"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-64119-5_3"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1002\/j.2334-5837.2018.00551.x"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2005.1563469"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2892745"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2018.8594115"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/MODELS-C.2019.00088"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.2172\/1561164"},{"key":"ref21","article-title":"Improving the design process of the REgolith X-ray imaging spectrometer with model based systems engineering","author":"Chodas","year":"2014"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/SMC.2017.8122925"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1002\/sys.21438"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/11563228_10"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-006-0001-2"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/PACIIA.2009.5406388"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.3015151"},{"key":"ref28","volume-title":"System Life Cycle Process Models: Vee\u2014SEBoK","year":"2020"},{"key":"ref29","first-page":"1","article-title":"Model checking and the state explosion problem","volume-title":"Tools for Practical Software Verification","volume":"7682","author":"Clarke","year":"2011"},{"key":"ref30","volume-title":"Ansys Scade Suite: Model-Based Development Environment for Critical Embedded Software","year":"2022"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45657-0_29"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2020.3025289"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/DSN-W.2018.00027"},{"key":"ref34","article-title":"Kayotee: A fault injection-based system to assess the safety and reliability of autonomous vehicles to faults and errors","author":"Jha","year":"2019","journal-title":"arXiv:1907.01024"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE5003.2020.00012"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66266-4_17"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/MITS.2016.2583491"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/2.585157"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/2841425"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/DTIS.2014.6850649"},{"key":"ref41","article-title":"Testing safety-critical systems using fault injection and property-based testing","author":"Vedder","year":"2015"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.4271\/2016-01-0128"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.4271\/2018-01-1071"},{"key":"ref44","first-page":"1","article-title":"CARLA: An open urban driving simulator","volume-title":"Proc. Conf. Robot Learn.","author":"Dosovitskiy"},{"key":"ref45","volume-title":"NVIDIA, DRIVE Sim","year":"2021"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC45102.2020.9294422"},{"key":"ref47","first-page":"1","article-title":"Development and validation of Dynacar RT software, a new integrated solution for design of electric and hybrid vehicles","volume-title":"Proc. EVS","author":"Pena"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2004.1389727"},{"key":"ref49","volume-title":"Modelica\u2014A Unified Object-Oriented Language for Systems Modeling, Version 3.5","year":"2021"},{"key":"ref50","volume-title":"SysML-Modelica Transformation, v1.0","year":"2012"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2011.2106495"},{"key":"ref52","first-page":"1","article-title":"Increasing reliability of embedded systems in a SysML centered MBSE process: Application to LEA project","volume-title":"Proc. M-BED","author":"Cressent"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21470-7_17"},{"key":"ref54","volume-title":"Unreal Engine 4","year":"2021"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1049\/ic:19980211"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1080\/00423110412331282850"},{"key":"ref57","volume-title":"H.R.2\u2014116th Congress (2019\u20132020): Moving Forward Act","author":"DeFazio","year":"2020"},{"key":"ref58","first-page":"1","article-title":"A forward collision warning (fcw) performance evaluation","volume-title":"Proc. Int. Tech. Conf. Enhanced Saf. Vehicles (ESV)","author":"Forkenbrock"},{"key":"ref59","volume-title":"Forward Collision Warning System Confirmation Test","year":"2013"},{"key":"ref60","first-page":"109","article-title":"Time-to-collision and collision avoidance systems","volume-title":"Proc. ICTCT Workshop","author":"Van Der Horst"},{"key":"ref61","article-title":"Automotive collision avoidance system field operational test report: Methodology and results","author":"Ervin","year":"2005"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1016\/0389-4304(95)94875-N"},{"key":"ref63","first-page":"1","article-title":"Controllability of superposition steering system failures","volume-title":"Proc. Steering Tech (TUV SUD)","author":"Neukum"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6287639\/9668973\/09837899.pdf?arnumber=9837899","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,1]],"date-time":"2024-02-01T09:37:56Z","timestamp":1706780276000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9837899\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"references-count":63,"URL":"https:\/\/doi.org\/10.1109\/access.2022.3193495","relation":{},"ISSN":["2169-3536"],"issn-type":[{"value":"2169-3536","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022]]}}}