{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,8]],"date-time":"2026-03-08T23:08:39Z","timestamp":1773011319267,"version":"3.50.1"},"reference-count":104,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,6]]},"DOI":"10.1109\/sysose.2016.7542949","type":"proceedings-article","created":{"date-parts":[[2016,8,15]],"date-time":"2016-08-15T20:28:31Z","timestamp":1471292911000},"page":"1-6","source":"Crossref","is-referenced-by-count":14,"title":["A systematic investigation of tools in model based system engineering for embedded systems"],"prefix":"10.1109","author":[{"given":"Muhammad","family":"Rashid","sequence":"first","affiliation":[]},{"given":"Muhammad Waseem","family":"Anwar","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02674-4_2"},{"key":"ref38","article-title":"Model transformation verification using similarity and graph comparison algorithm","author":"won ko","year":"2013","journal-title":"Multimedia Tools and Applications"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-011-0170-3"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/RSP.2012.6380695"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2013.62"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02674-4_8"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-009-0121-8"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.03.091"},{"key":"ref35","first-page":"157","article-title":"Safe CCSL specifications and Marked Graphs","author":"mallet","year":"2013","journal-title":"Proc 11th IEEE\/ACM Int Conf Formal Methods Models Codesign"},{"key":"ref34","first-page":"176","article-title":"Integrating UML, MARTE and SysML to improve requirements specification and traceability in the embedded domain","author":"rota","year":"2014","journal-title":"IEEE International Conference on Industrial Informatics"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-009-0105-4"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/s10617-012-9097-7"},{"key":"ref29","article-title":"Environment modeling and simulation for automated testing of soft real-time embedded software","author":"iqbal","year":"2013","journal-title":"Software and System Modeling"},{"key":"ref20","first-page":"195","article-title":"An aspect-oriented, model-driven approach to functional hardware verification, Journal of Systems Architecture","volume":"58","author":"linehan","year":"2012","journal-title":"Elsevier"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.mcm.2010.03.035"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2013.10.003"},{"key":"ref24","first-page":"649","article-title":"An architectural approach to the analysis, verification and validation of software intensive embedded systems, Computing","volume":"95","author":"chen","year":"2013"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2012.01.001"},{"key":"ref101","year":"0"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/s10617-012-9101-2"},{"key":"ref100","year":"0"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/s10617-008-9028-9"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2012.11.004"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2012.03.006"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1145\/2430475.2430484"},{"key":"ref58","article-title":"Formal verification and validation of embedded systems: the UML-based MADES approach","author":"baresi","year":"2013","journal-title":"Springer Software and Systems Modeling Journal"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21470-7_17"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34032-1_16"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1145\/1921532.1921556"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1016\/j.micpro.2013.10.002"},{"key":"ref53","first-page":"997","article-title":"A Brazilian survey on UML and model-driven practices for embedded software development","author":"telinski","year":"2013","journal-title":"J Syst Softw"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2013.10.064"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/ecbs.2012.6487443"},{"key":"ref4","author":"sakairi","year":"2012","journal-title":"Designing a control system using SysML and Simulink Proceedings of SICE Annual Conference"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ISPS.2013.6581484"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/SYSOSE.2014.6892500"},{"key":"ref5","first-page":"189","article-title":"A SysML model for code correction and detection systems","author":"stancescu","year":"2010","journal-title":"MIPRO Proceedings of the 33rd International Convention"},{"key":"ref8","first-page":"74","author":"bouquet","year":"2012","journal-title":"Transformation of SysML Structure Diagrams to VHDL-AMS Second Workshop on Design Control and Software Implementation for Distributed MEMS (dMEMS)"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/DDECS.2013.6549828"},{"key":"ref7","first-page":"1","article-title":"A Formal Verification Framework for BlueSpec System Verilog","author":"ouchani","year":"2013","journal-title":"Forum on specification and Design Languages (FDL)"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2012.2235073"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2013.07.013"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2014.08.005"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/ASICON.2009.5351231"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2010.27"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/MISE.2012.6226015"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/VLHCC.2010.25"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2014.6945614"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/SBCARS.2012.21"},{"key":"ref73","year":"0"},{"key":"ref72","article-title":"Open source UML Editor and MDE Workbench","year":"2012"},{"key":"ref71","year":"0"},{"key":"ref70","year":"0"},{"key":"ref76","year":"0"},{"key":"ref77","year":"0"},{"key":"ref74","article-title":"Eclipse Modeling Framework","year":"0"},{"key":"ref75","year":"0"},{"key":"ref78","year":"0"},{"key":"ref79","year":"0"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1145\/2554850.2555011"},{"key":"ref62","year":"0","journal-title":"IEEE scientific database"},{"key":"ref61","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1145\/2427376.2427379","author":"bousse","year":"2012","journal-title":"Proceedings of the 6th International Workshop on Model-Driven Engineering Verification and Validation"},{"key":"ref63","year":"0"},{"key":"ref64","article-title":"Procedures for Performing Systematic Reviews","author":"kitchenham","year":"2004","journal-title":"TR\/SE-0401\/NICTA"},{"key":"ref65","year":"0"},{"key":"ref66","year":"0"},{"key":"ref67","year":"0"},{"key":"ref68","year":"0"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/SysCon.2014.6819307"},{"key":"ref69","year":"0"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2012.08.061"},{"key":"ref95","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_47"},{"key":"ref94","year":"0"},{"key":"ref93","year":"0"},{"key":"ref92","year":"0"},{"key":"ref91","year":"0"},{"key":"ref104","doi-asserted-by":"publisher","DOI":"10.1109\/ISQED.2009.4810316"},{"key":"ref90","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-25959-6_35"},{"key":"ref103","year":"0"},{"key":"ref102","year":"2010"},{"key":"ref98","year":"0"},{"key":"ref99","year":"0"},{"key":"ref96","year":"0"},{"key":"ref97","year":"0"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/SEAA.2012.66"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICDS.2009.19"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ReCoSoC.2012.6322882"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/HSI.2014.6860487"},{"key":"ref14","first-page":"177","article-title":"UML state machine implementation in FPGA devices by means of dual model and Verilog Translation UML diagrams into Verilog","author":"doligalski","year":"2013","journal-title":"International Conference on Industrial Informatics (INDIN)"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ISVLSI.2010.95"},{"key":"ref16","first-page":"4670","article-title":"A tool to support Bluespec System Verilog coding based on UML diagrams","author":"durand","year":"2012","journal-title":"IEEE 38th Annual Conference on Industrial Electronics IECON"},{"key":"ref82","year":"0"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2008.123"},{"key":"ref81","doi-asserted-by":"publisher","DOI":"10.1145\/966137.966138"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2010.5549590"},{"key":"ref84","year":"2010","journal-title":"The Apache Velocity Project"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2009.5090662"},{"key":"ref83","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2008.123"},{"key":"ref80","year":"0"},{"key":"ref89","year":"2007"},{"key":"ref85","author":"lano","year":"2012","journal-title":"TheUML RSDStoolset"},{"key":"ref86","doi-asserted-by":"crossref","DOI":"10.1109\/ISORC.2008.67","article-title":"A Tool for Code Generation and Aspects Weaving","author":"wehrmeister","year":"2008","journal-title":"11th IEEE Symposium on Object Oriented Real-Time Distributed Computing (ISORC)"},{"key":"ref87","article-title":"MDWorkbench platform","year":"0"},{"key":"ref88","year":"0"}],"event":{"name":"2016 11th System of Systems Engineering Conference (SoSE)","location":"Kongsberg, Norway","start":{"date-parts":[[2016,6,12]]},"end":{"date-parts":[[2016,6,16]]}},"container-title":["2016 11th System of Systems Engineering Conference (SoSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7533679\/7542882\/07542949.pdf?arnumber=7542949","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,6]],"date-time":"2022-07-06T00:39:26Z","timestamp":1657067966000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7542949"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,6]]},"references-count":104,"URL":"https:\/\/doi.org\/10.1109\/sysose.2016.7542949","relation":{},"subject":[],"published":{"date-parts":[[2016,6]]}}}