{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T02:20:35Z","timestamp":1776824435702,"version":"3.51.2"},"reference-count":56,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"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":[[2020]]},"DOI":"10.1109\/access.2019.2963774","type":"journal-article","created":{"date-parts":[[2020,1,3]],"date-time":"2020-01-03T20:55:37Z","timestamp":1578084937000},"page":"8697-8719","source":"Crossref","is-referenced-by-count":16,"title":["Requirement Validation for Embedded Systems in Automotive Industry Through Modeling"],"prefix":"10.1109","volume":"8","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5070-5880","authenticated-orcid":false,"given":"Danish","family":"Iqbal","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4233-053X","authenticated-orcid":false,"given":"Assad","family":"Abbas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2351-6520","authenticated-orcid":false,"given":"Mazhar","family":"Ali","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7299-621X","authenticated-orcid":false,"given":"Muhammad Usman Shahid","family":"Khan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9588-0052","authenticated-orcid":false,"given":"Raheel","family":"Nawaz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","first-page":"11","article-title":"The role of requirements in the success or failure of software projects","volume":"6","author":"hussain","year":"2016","journal-title":"International Review of Management and Marketing"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.4271\/2015-01-0260"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/CESYS.2017.8321218"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2017.2693989"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/ICCECE.2017.8526221"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2017.2776354"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/3202710.3203153"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2015.03.032"},{"key":"ref35","article-title":"Systems-of-systems modeling using a comprehensive viewpoint-based SysML profile","volume":"30","author":"mori","year":"2018","journal-title":"Journal of Software: Evolution and Process"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2016.09.002"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-004-0191-7"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.4271\/2018-01-1071"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.4271\/2016-01-0128"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/336512.336523"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-015-0236-0"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.5626\/JCSE.2017.11.1.9"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.3384\/ecp1713235"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-018-00710-z"},{"key":"ref24","first-page":"601","article-title":"Formal methods for specifying, validating, and verifying requirements","volume":"13","author":"heitmeyer","year":"2007","journal-title":"J Universal Comput Sci"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2015.01.005"},{"key":"ref26","year":"2019"},{"key":"ref25","article-title":"Autonomous vehicles","author":"wiseman","year":"2019","journal-title":"Encyclopedia of Organizational Knowledge Administration and Technologies"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1016\/j.proeng.2014.12.398"},{"key":"ref51","first-page":"231","article-title":"A review paper on aerodynamic drag reduction and CFD analysis of vehicles","author":"sarkar","year":"2019","journal-title":"Proc A Rev Paper Aerodyn Drag Reduction CFD Anal Vehicles"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1016\/j.csi.2016.08.011"},{"key":"ref55","first-page":"1","article-title":"Analysis of software cost estimation using COCOMO II","volume":"2","author":"sharma","year":"2011","journal-title":"Int J Sci Eng Res"},{"key":"ref54","article-title":"Scade2Nu: A tool for verifying safety requirements of SCADE models with temporal specifications","volume":"2376","author":"shi","year":"2019","journal-title":"Proc CEUR Workshop"},{"key":"ref53","year":"2019","journal-title":"BMW HUD website"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-17906-2_22"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.jides.2016.05.001"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2018.07.053"},{"key":"ref40","year":"2015","journal-title":"The Standish Group CHAOS Report 2015"},{"key":"ref12","first-page":"2","article-title":"Towards improving agility in model-driven development","volume":"1675","author":"alfraihi","year":"2016","journal-title":"Proc CEUR Workshop"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.chb.2014.10.046"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2017.8102108"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.3844\/ajassp.2008.1742.1749"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"116","DOI":"10.1016\/j.cie.2014.09.024","article-title":"Petri net based decision system modeling in real-time scheduling and control of flexible automotive manufacturing systems","volume":"86","author":"ba?ak","year":"2015","journal-title":"Comput Ind Eng"},{"key":"ref17","first-page":"34","article-title":"Requirement validation model for virtual distributed system","volume":"4","author":"kiran","year":"2013","journal-title":"Int J Multidscip Sci Eng"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1111\/jpim.12314"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2013.10.006"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970295"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2327044"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/P19-1037"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/DASC-PICom-DataCom-CyberSciTec.2017.214"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s10579-016-9344-9"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1186\/s12911-018-0639-1"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1080\/23080477.2018.1460890"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2622264"},{"key":"ref46","year":"2019"},{"key":"ref45","year":"1990","journal-title":"The Measurement and Analysis of Road Vehicle Drag Forces"},{"key":"ref48","first-page":"2182","article-title":"Aerodynamics of high performance vehicles","author":"kshirsagar","year":"2018","journal-title":"Proc Aerodyn High Perform Vehicles"},{"key":"ref47","doi-asserted-by":"crossref","first-page":"53","DOI":"10.18245\/ijaet.11754","article-title":"The Determination of aerodynamic drag coefficient of truck and trailer model by wind tunnel tests","volume":"5","author":"bay?nd?rl?","year":"2016","journal-title":"Intl Journal of Automotive Technology"},{"key":"ref42","first-page":"8","article-title":"Excellence in engineering simulation executive editor","volume":"6","author":"hensler","year":"2012","journal-title":"ANSYS Advantage"},{"key":"ref41","first-page":"69","article-title":"Aerodynamic disturbance on vehicle’s dynamic parameters","volume":"13","author":"musa","year":"2018","journal-title":"J Eng Sci Technol"},{"key":"ref44","first-page":"11902","article-title":"Numerical study of aerodynamic drag force on student formula car","volume":"11","author":"saad","year":"2016","journal-title":"ARPN J Eng Appl Sci"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.4028\/www.scientific.net\/AMM.575.300"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6287639\/8948470\/08949471.pdf?arnumber=8949471","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,17]],"date-time":"2021-12-17T19:50:38Z","timestamp":1639770638000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8949471\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"references-count":56,"URL":"https:\/\/doi.org\/10.1109\/access.2019.2963774","relation":{},"ISSN":["2169-3536"],"issn-type":[{"value":"2169-3536","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020]]}}}