{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,6]],"date-time":"2026-07-06T20:16:37Z","timestamp":1783368997483,"version":"3.54.6"},"reference-count":98,"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"}],"funder":[{"name":"Defense Innovation Agency (AID) of the French Ministry of Defense through the Research Project CONCORDE","award":["2019 65 0090004707501"],"award-info":[{"award-number":["2019 65 0090004707501"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2022]]},"DOI":"10.1109\/access.2022.3222387","type":"journal-article","created":{"date-parts":[[2022,11,14]],"date-time":"2022-11-14T21:42:06Z","timestamp":1668462126000},"page":"120936-120950","source":"Crossref","is-referenced-by-count":77,"title":["A Taxonomy of MBSE Approaches by Languages, Tools and Methods"],"prefix":"10.1109","volume":"10","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1404-0148","authenticated-orcid":false,"given":"Pierre","family":"De Saqui-Sannes","sequence":"first","affiliation":[{"name":"ISAE-SUPAERO, Université de Toulouse, Toulouse, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rob A.","family":"Vingerhoeds","sequence":"additional","affiliation":[{"name":"ISAE-SUPAERO, Université de Toulouse, Toulouse, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4467-2939","authenticated-orcid":false,"given":"Christophe","family":"Garion","sequence":"additional","affiliation":[{"name":"ISAE-SUPAERO, Université de Toulouse, Toulouse, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xavier","family":"Thirioux","sequence":"additional","affiliation":[{"name":"ISAE-SUPAERO, Université de Toulouse, Toulouse, France"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref39","year":"2020","journal-title":"SysML v2"},{"key":"ref38","year":"2022","journal-title":"Ttool"},{"key":"ref33","year":"2017","journal-title":"Unified modeling language version 2 5"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-019-00513-7"},{"key":"ref31","year":"2008","journal-title":"Modelica Association"},{"key":"ref30","year":"2020","journal-title":"Mathworks-Languages"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.34"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2895996"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2006.5.4.a5"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2915917"},{"key":"ref28","year":"2022","journal-title":"Specification and Description Language"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.2307\/2180923"},{"key":"ref29","year":"2008","journal-title":"VHDL"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1115\/DETC2021-69125"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2021.116451"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1002\/sys.21438"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/SysCon47679.2020.9275868"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2022.111306"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/SysCon53536.2022.9773894"},{"key":"ref25","first-page":"31","article-title":"Sizing a drone battery by coupling MBSE and MDAO","author":"a\u00efello","year":"2022","journal-title":"Proc 11th Eur Congr Embedded Real Time Syst"},{"key":"ref50","author":"milner","year":"1989","journal-title":"Communication and Concurrency"},{"key":"ref51","author":"hoare","year":"1985","journal-title":"Communicating Sequential Processes"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-93317-7_7"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2015.14.3.a1"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2013.02.002"},{"key":"ref56","author":"benveniste","year":"2015","journal-title":"Contracts for Systems Design Theory"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-91908-9_16"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/2.161279"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1090\/psapm\/019\/0235771"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/SysCon48628.2021.9447140"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1002\/inst.12185"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.5220\/0007809701700177"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/JMASS.2020.3013325"},{"key":"ref5","first-page":"1","article-title":"A formal framework for modeling and prediction of aircraft operability using SysML","author":"manikar","year":"2020","journal-title":"Proc 34th Eur Simul Model Conf"},{"key":"ref8","author":"selic","year":"2014","journal-title":"Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE"},{"key":"ref49","author":"motus","year":"1994","journal-title":"Timing Analysis of Real-Time Software"},{"key":"ref7","first-page":"1","article-title":"MBSE approach applied to lunar surface exploration elements","author":"rimani","year":"2020","journal-title":"Proc Model Based Space Syst Soft Eng"},{"key":"ref9","first-page":"111","article-title":"Model-based systems engineering: An emerging approach for modern systems","volume":"19","author":"reilley","year":"2016","journal-title":"IAAA Space Forum"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195881"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2021.3124677"},{"key":"ref48","year":"2022","journal-title":"UPPAAL"},{"key":"ref47","year":"2020","journal-title":"Time petri Net Analyzer"},{"key":"ref42","first-page":"1","article-title":"Capella to SysML bridge: A tooled-up methodology for MBSE interoperability","author":"badache","year":"2018","journal-title":"Proc 9th Eur Congr Embedded Real Time SoftandSyst"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.5220\/0008902302790286"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCT.2019.8711369"},{"key":"ref43","author":"edmund clarke","year":"1996","journal-title":"Formal Methods State of the Art and Future Directions"},{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1109\/SecDev.2019.00012"},{"key":"ref72","first-page":"1","article-title":"The SAE avionics architecture description language (AADL) standard: A basis for model-based architecture-driven embedded systems engineering","author":"feiler","year":"2006","journal-title":"Proc ERTS"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1145\/2663171.2663180"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-25264-8_2"},{"key":"ref76","doi-asserted-by":"publisher","DOI":"10.1145\/1772643.1772659"},{"key":"ref77","doi-asserted-by":"publisher","DOI":"10.1145\/3371112"},{"key":"ref74","first-page":"1","article-title":"Gene-auto: An automatic code generator for a safe subset of simulink\/stateflow and Scicos","author":"toom","year":"2008","journal-title":"Proc ERTS"},{"key":"ref75","first-page":"1","article-title":"Certifying an automated code generator using formal tools: Preliminary experiments in the geneauto project","author":"izerrouken","year":"2008","journal-title":"Proc Eur Congr Embedded Real-Time Soft"},{"key":"ref78","doi-asserted-by":"publisher","DOI":"10.1016\/bs.adcom.2017.06.002"},{"key":"ref79","doi-asserted-by":"publisher","DOI":"10.1016\/j.compind.2018.08.003"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805826"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-54444-5_100"},{"key":"ref61","author":"andr\u00e9","year":"2005","journal-title":"Comparing programming styles in synchronous languages (in French)"},{"key":"ref63","author":"pouzet","year":"2006","journal-title":"Lucid Synchrone version 3 Tutorial and reference manual"},{"key":"ref64","author":"forget","year":"2009","journal-title":"A Synchronous Language for Critical Embedded Systems with Multiple Real-time Constraints"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1109\/5.97299"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.18178\/ijeetc.7.2.70-75"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45294-X_14"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-28423-7_3"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1007\/s10009-018-0487-4","article-title":"Formal methods for transport systems","volume":"20","author":"maurice ter beenk","year":"2018","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"ref1","first-page":"1","article-title":"A survey on MBSE adoption challenges","author":"chami","year":"2018","journal-title":"Proc INCOSE EMEA Sector Syst Eng Conf"},{"key":"ref95","doi-asserted-by":"publisher","DOI":"10.5220\/0008938002270236"},{"key":"ref94","doi-asserted-by":"publisher","DOI":"10.5220\/0010792900003119"},{"key":"ref93","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-022-01021-0"},{"key":"ref92","doi-asserted-by":"publisher","DOI":"10.1109\/SysCon53536.2022.9773934"},{"key":"ref91","article-title":"Real-time UML synthesis from sequence diagrams","author":"apvrille","year":"2005","journal-title":"Proc Colloque Francophone sur l’Ingénierie des Protocoles (CFIP)"},{"key":"ref90","doi-asserted-by":"publisher","DOI":"10.1109\/SYSCON.2018.8369561"},{"key":"ref98","first-page":"1","article-title":"MBSE-PLM integration: Initiatives and future outlook","author":"detlef","year":"2022","journal-title":"Proc 19th IFIP Int Conf Product Lifecycle"},{"key":"ref96","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-020-00814-5"},{"key":"ref97","doi-asserted-by":"publisher","DOI":"10.1109\/MODELS-C53483.2021.00097"},{"key":"ref10","first-page":"1","article-title":"Benefits of model based system engineering for avionics systems","author":"sergent","year":"2016","journal-title":"Proc Embedded Real-Time Soft Syst"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-92997-2_9"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-019-00735-y"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-019-00773-6"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/SYSCON.2016.7490559"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2019.110453"},{"key":"ref82","year":"2003","journal-title":"EEIA632—Process for Engineering a System"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1002\/sys.21566"},{"key":"ref81","year":"2022","journal-title":"Testing & Test Control Notation"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2021.08.187"},{"key":"ref84","year":"0"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ISSE51541.2021.9582465"},{"key":"ref83","year":"0"},{"key":"ref19","year":"2019","journal-title":"Systems modeling language"},{"key":"ref80","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2020.113458"},{"key":"ref89","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-019-00717-0"},{"key":"ref85","year":"2010","journal-title":"ARP4754A Guidelines for Development of Civil Aircraft and Systems"},{"key":"ref86","doi-asserted-by":"publisher","DOI":"10.1016\/j.cja.2019.03.037"},{"key":"ref87","doi-asserted-by":"publisher","DOI":"10.1109\/SysCon47679.2020.9275867"},{"key":"ref88","doi-asserted-by":"publisher","DOI":"10.2514\/1.I010950"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6287639\/9668973\/09950507.pdf?arnumber=9950507","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,12]],"date-time":"2022-12-12T20:06:26Z","timestamp":1670875586000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9950507\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"references-count":98,"URL":"https:\/\/doi.org\/10.1109\/access.2022.3222387","relation":{},"ISSN":["2169-3536"],"issn-type":[{"value":"2169-3536","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022]]}}}