{"id":"https://openalex.org/W4388455124","doi":"https://doi.org/10.1145/3631976","title":"Early Validation and Verification of System Behaviour in Model-based Systems Engineering: A Systematic Literature Review","display_name":"Early Validation and Verification of System Behaviour in Model-based Systems Engineering: A Systematic Literature Review","publication_year":2023,"publication_date":"2023-11-07","ids":{"openalex":"https://openalex.org/W4388455124","doi":"https://doi.org/10.1145/3631976"},"language":"en","primary_location":{"id":"doi:10.1145/3631976","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3631976","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3631976","source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Software Engineering and Methodology","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3631976","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5093214408","display_name":"Johan Cederbladh","orcid":"https://orcid.org/0000-0003-2021-8341"},"institutions":[{"id":"https://openalex.org/I82509713","display_name":"M\u00e4lardalen University","ror":"https://ror.org/033vfbz75","country_code":"SE","type":"education","lineage":["https://openalex.org/I82509713"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Johan Cederbladh","raw_affiliation_strings":["M\u00e4lardalen University, V\u00e4stmanland, Sweden"],"raw_orcid":"https://orcid.org/0000-0003-2021-8341","affiliations":[{"raw_affiliation_string":"M\u00e4lardalen University, V\u00e4stmanland, Sweden","institution_ids":["https://openalex.org/I82509713"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044187839","display_name":"Antonio Cicchetti","orcid":"https://orcid.org/0000-0003-0416-1787"},"institutions":[{"id":"https://openalex.org/I82509713","display_name":"M\u00e4lardalen University","ror":"https://ror.org/033vfbz75","country_code":"SE","type":"education","lineage":["https://openalex.org/I82509713"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Antonio Cicchetti","raw_affiliation_strings":["M\u00e4lardalen University, V\u00e4stmanland, Sweden"],"raw_orcid":"https://orcid.org/0000-0003-0416-1787","affiliations":[{"raw_affiliation_string":"M\u00e4lardalen University, V\u00e4stmanland, Sweden","institution_ids":["https://openalex.org/I82509713"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5077956898","display_name":"Jagadish Suryadevara","orcid":"https://orcid.org/0009-0000-7488-4249"},"institutions":[{"id":"https://openalex.org/I1340210623","display_name":"Volvo (Sweden)","ror":"https://ror.org/05b6ypc36","country_code":"SE","type":"company","lineage":["https://openalex.org/I1340210623"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Jagadish Suryadevara","raw_affiliation_strings":["Volvo Construction Equipment, S\u00f6dermanland, Sweden"],"raw_orcid":"https://orcid.org/0009-0000-7488-4249","affiliations":[{"raw_affiliation_string":"Volvo Construction Equipment, S\u00f6dermanland, Sweden","institution_ids":["https://openalex.org/I1340210623"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":9.2929,"has_fulltext":true,"cited_by_count":54,"citation_normalized_percentile":{"value":0.98584469,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":100},"biblio":{"volume":"33","issue":"3","first_page":"1","last_page":"67"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12000","display_name":"Systems Engineering Methodologies and Applications","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12000","display_name":"Systems Engineering Methodologies and Applications","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T14306","display_name":"Technology Assessment and Management","score":0.993399977684021,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9918000102043152,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7820258736610413},{"id":"https://openalex.org/keywords/workflow","display_name":"Workflow","score":0.6283301115036011},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5537416934967041},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5167983770370483},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.42920973896980286},{"id":"https://openalex.org/keywords/data-science","display_name":"Data science","score":0.38778337836265564}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7820258736610413},{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.6283301115036011},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5537416934967041},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5167983770370483},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.42920973896980286},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.38778337836265564},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3631976","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3631976","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3631976","source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Software Engineering and Methodology","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3631976","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3631976","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3631976","source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Software Engineering and Methodology","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.6299999952316284,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"awards":[{"id":"https://openalex.org/G6618363488","display_name":null,"funder_award_id":"101007350","funder_id":"https://openalex.org/F4320327207","funder_display_name":"Electronic Components and Systems for European Leadership"}],"funders":[{"id":"https://openalex.org/F4320327207","display_name":"Electronic Components and Systems for European Leadership","ror":null}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4388455124.pdf","grobid_xml":"https://content.openalex.org/works/W4388455124.grobid-xml"},"referenced_works_count":197,"referenced_works":["https://openalex.org/W34866348","https://openalex.org/W90588738","https://openalex.org/W144774621","https://openalex.org/W159348729","https://openalex.org/W240729766","https://openalex.org/W656175511","https://openalex.org/W992348267","https://openalex.org/W1093684712","https://openalex.org/W1256168905","https://openalex.org/W1496395723","https://openalex.org/W1504422368","https://openalex.org/W1526057503","https://openalex.org/W1588871218","https://openalex.org/W1747412957","https://openalex.org/W1906350320","https://openalex.org/W1965685836","https://openalex.org/W1967971423","https://openalex.org/W1971309296","https://openalex.org/W1990416197","https://openalex.org/W1991499819","https://openalex.org/W1992234427","https://openalex.org/W1999138303","https://openalex.org/W2002761094","https://openalex.org/W2004281082","https://openalex.org/W2006976133","https://openalex.org/W2013814408","https://openalex.org/W2025779757","https://openalex.org/W2034817601","https://openalex.org/W2035917552","https://openalex.org/W2039680739","https://openalex.org/W2047697249","https://openalex.org/W2048199835","https://openalex.org/W2056167709","https://openalex.org/W2058964133","https://openalex.org/W2065559226","https://openalex.org/W2067676515","https://openalex.org/W2073177937","https://openalex.org/W2075296424","https://openalex.org/W2075351467","https://openalex.org/W2084571287","https://openalex.org/W2088899221","https://openalex.org/W2093879994","https://openalex.org/W2099811111","https://openalex.org/W2111445678","https://openalex.org/W2111691442","https://openalex.org/W2113409240","https://openalex.org/W2116729362","https://openalex.org/W2116957228","https://openalex.org/W2118680859","https://openalex.org/W2125174515","https://openalex.org/W2131103111","https://openalex.org/W2132877703","https://openalex.org/W2139872812","https://openalex.org/W2140252453","https://openalex.org/W2142391603","https://openalex.org/W2150618219","https://openalex.org/W2151214124","https://openalex.org/W2152089613","https://openalex.org/W2154149147","https://openalex.org/W2163638787","https://openalex.org/W2168130919","https://openalex.org/W2171386928","https://openalex.org/W2171958237","https://openalex.org/W2176116553","https://openalex.org/W2254873106","https://openalex.org/W2284014217","https://openalex.org/W2329309348","https://openalex.org/W2393529948","https://openalex.org/W2417445990","https://openalex.org/W2468313530","https://openalex.org/W2494902551","https://openalex.org/W2499181091","https://openalex.org/W2511938920","https://openalex.org/W2520746644","https://openalex.org/W2526929964","https://openalex.org/W2537656706","https://openalex.org/W2562031796","https://openalex.org/W2585813060","https://openalex.org/W2590125333","https://openalex.org/W2747432757","https://openalex.org/W2755994692","https://openalex.org/W2765607742","https://openalex.org/W2766384451","https://openalex.org/W2766808844","https://openalex.org/W2769257089","https://openalex.org/W2780336310","https://openalex.org/W2782072807","https://openalex.org/W2784172219","https://openalex.org/W2797434621","https://openalex.org/W2800829932","https://openalex.org/W2800881716","https://openalex.org/W2806999566","https://openalex.org/W2809270416","https://openalex.org/W2811068961","https://openalex.org/W2819923347","https://openalex.org/W2835166067","https://openalex.org/W2883923596","https://openalex.org/W2888639347","https://openalex.org/W2888990196","https://openalex.org/W2891325180","https://openalex.org/W2891948684","https://openalex.org/W2900720765","https://openalex.org/W2908278544","https://openalex.org/W2912806430","https://openalex.org/W2913580421","https://openalex.org/W2914849365","https://openalex.org/W2915615855","https://openalex.org/W2944722310","https://openalex.org/W2946909127","https://openalex.org/W2951088914","https://openalex.org/W2962988763","https://openalex.org/W2963623343","https://openalex.org/W2964043925","https://openalex.org/W2965689677","https://openalex.org/W2966042736","https://openalex.org/W2971612533","https://openalex.org/W2974701723","https://openalex.org/W2977212207","https://openalex.org/W2981548790","https://openalex.org/W2982973022","https://openalex.org/W2985569491","https://openalex.org/W2988432345","https://openalex.org/W2990464685","https://openalex.org/W2990661835","https://openalex.org/W2995220509","https://openalex.org/W2998594603","https://openalex.org/W3000433034","https://openalex.org/W3006613450","https://openalex.org/W3007944726","https://openalex.org/W3008491114","https://openalex.org/W3012041784","https://openalex.org/W3015001891","https://openalex.org/W3032753930","https://openalex.org/W3033412143","https://openalex.org/W3044855437","https://openalex.org/W3045122454","https://openalex.org/W3048612262","https://openalex.org/W3049539863","https://openalex.org/W3081134262","https://openalex.org/W3082962859","https://openalex.org/W3089462636","https://openalex.org/W3089629908","https://openalex.org/W3090348034","https://openalex.org/W3096653528","https://openalex.org/W3097012621","https://openalex.org/W3110333846","https://openalex.org/W3111424843","https://openalex.org/W3113472293","https://openalex.org/W3115069556","https://openalex.org/W3120563952","https://openalex.org/W3130845591","https://openalex.org/W3131040684","https://openalex.org/W3133805702","https://openalex.org/W3134211526","https://openalex.org/W3135411832","https://openalex.org/W3148015622","https://openalex.org/W3149473902","https://openalex.org/W3152805452","https://openalex.org/W3162577528","https://openalex.org/W3164621548","https://openalex.org/W3168151090","https://openalex.org/W3184751513","https://openalex.org/W3186127805","https://openalex.org/W3199971705","https://openalex.org/W3205367357","https://openalex.org/W4205235451","https://openalex.org/W4212803374","https://openalex.org/W4220673699","https://openalex.org/W4223474770","https://openalex.org/W4224027016","https://openalex.org/W4224940935","https://openalex.org/W4225159667","https://openalex.org/W4226553002","https://openalex.org/W4233589465","https://openalex.org/W4237182508","https://openalex.org/W4237906299","https://openalex.org/W4240909714","https://openalex.org/W4244757210","https://openalex.org/W4246528573","https://openalex.org/W4250655274","https://openalex.org/W4252417792","https://openalex.org/W4282981328","https://openalex.org/W4285192856","https://openalex.org/W4287888448","https://openalex.org/W4291213652","https://openalex.org/W4295845622","https://openalex.org/W4297890235","https://openalex.org/W4301781841","https://openalex.org/W4306844423","https://openalex.org/W4307282680","https://openalex.org/W4308418696","https://openalex.org/W4308627717","https://openalex.org/W4308627768","https://openalex.org/W4312996050","https://openalex.org/W4317176773","https://openalex.org/W6728597732","https://openalex.org/W6893337599"],"related_works":["https://openalex.org/W1981780420","https://openalex.org/W2182707996","https://openalex.org/W45233828","https://openalex.org/W2964988449","https://openalex.org/W2397952901","https://openalex.org/W2029380707","https://openalex.org/W4255934811","https://openalex.org/W2465382974","https://openalex.org/W2010229520","https://openalex.org/W2547528905"],"abstract_inverted_index":{"In":[0,41,81,169],"the":[1,27,34,59,92,125,147,157,175,186,193,208,211,257,261,285,290,293,316,321,328,344,355,362,366,373],"Systems":[2,45],"Engineering":[3,46],"(SE)":[4],"domain":[5],"there":[6,71,134],"has":[7,63,255],"been":[8],"a":[9,51,111,136,139,181,204,241,264,279,308,384],"paradigm":[10],"shift":[11],"from":[12,103],"document-based":[13],"to":[14,25,91,202,215,240,267,296,303,394],"model-based":[15,196],"system":[16,265,286],"development":[17,128],"artefacts;":[18],"in":[19,76,79,156,165,192],"fact,":[20],"new":[21],"methodologies":[22],"are":[23,101,273,324,331,340,353],"emerging":[24],"meet":[26],"increasing":[28],"complexity":[29],"of":[30,38,58,68,86,106,113,127,138,152,160,180,189,195,207,210,225,259,263,311,343,347,380],"current":[31,374],"systems":[32,107,153,190,197,381],"and":[33,70,95,149,178,219,246,314,350,365,390],"corresponding":[35],"growing":[36],"need":[37],"digital":[39],"workflows.":[40],"this":[42,170],"regard,":[43],"Model-Based":[44],"(MBSE)":[47],"is":[48,98,132,135,278],"considered":[49],"as":[50],"key":[52],"enabler":[53],"by":[54],"many":[55],"central":[56],"players":[57],"SE":[60,368],"community.":[61],"MBSE":[62,88,167,376],"reached":[64],"an":[65,166,222],"adequate":[66],"level":[67],"maturity,":[69],"exist":[72],"documented":[73],"success":[74],"stories":[75],"its":[77],"adoption":[78,389],"industry.":[80],"particular,":[82],"one":[83],"significant":[84],"benefit":[85],"utilising":[87],"when":[89,271,338],"compared":[90],"traditional":[93],"manual":[94],"document-centric":[96],"workflows":[97],"that":[99],"models":[100],"available":[102],"early":[104,158,187,253,378],"phases":[105,159],"development;":[108],"these":[109],"enable":[110],"multitude":[112],"analyses":[114,145,294,301,348],"prior":[115],"any":[116],"implementation":[117],"effort":[118],"together":[119],"with":[120,213,307,383],"other":[121],"relevant":[122,227,392],"capabilities,":[123],"like":[124],"automation":[126],"tasks.":[129],"Nonetheless,":[130],"it":[131],"noticeable":[133],"lack":[137],"common":[140],"understanding":[141],"for":[142,146,283,292],"how":[143,372],"formal":[144],"verification":[148],"validation":[150],"(V&V)":[151],"behaviour,":[154],"specifically":[155],"development,":[161],"could":[162],"be":[163,297,395],"placed":[164],"setting.":[168],"article,":[171],"we":[172,231,237,370],"report":[173],"on":[174,250,361,387],"planning,":[176],"execution,":[177],"results":[179,364],"systematic":[182],"literature":[183],"review":[184,200],"regarding":[185],"V&V":[188,254,300,379],"behaviour":[191,382],"context":[194,326],"engineering.":[198],"The":[199],"aims":[201],"provide":[203],"structured":[205],"representation":[206],"state":[209],"art":[212],"respect":[214],"motivations,":[216],"proposed":[217,322,329],"solutions,":[218,345],"limitations.":[220],"From":[221],"initial":[223],"set":[224],"potentially":[226],"701":[228],"peer-reviewed":[229],"publications":[230],"selected":[232],"149":[233],"primary":[234],"studies,":[235],"which":[236],"analysed":[238],"according":[239],"rigorous":[242],"data":[243],"extraction,":[244],"analysis,":[245],"synthesis":[247],"process.":[248],"Based":[249,360],"our":[251],"results,":[252],"usually":[256,332],"goal":[258],"checking":[260],"quality":[262],"design":[266],"avoid":[268],"discovering":[269],"flaws":[270],"parts":[272],"being":[274],"concretely":[275],"realised;":[276],"SysML":[277],"de":[280],"facto":[281],"standard":[282,367],"describing":[284],"under":[287],"study,":[288],"while":[289,337],"solutions":[291,323],"tend":[295,302],"varied;":[298],"also":[299],"target":[304],"varied":[305],"properties":[306],"slight":[309],"predominance":[310],"functional":[312],"concerns,":[313],"following":[315],"variation":[317],"mentioned":[318,358],"so":[319],"far":[320],"largely":[325],"specific;":[327],"approaches":[330],"presented":[333],"without":[334],"explicit":[335],"limitations,":[336],"limitations":[339],"discussed,":[341],"readiness":[342],"handling":[346],"simplifications/assumptions,":[349],"languages/tools":[351],"integration":[352],"among":[354],"most":[356],"frequently":[357],"issues.":[359],"survey":[363],"practices,":[369],"discuss":[371],"state-of-the-art":[375],"supports":[377],"special":[385],"focus":[386],"industrial":[388],"identify":[391],"challenges":[393],"researched":[396],"further.":[397]},"counts_by_year":[{"year":2026,"cited_by_count":11},{"year":2025,"cited_by_count":29},{"year":2024,"cited_by_count":13},{"year":2023,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}