{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T22:03:05Z","timestamp":1729634585439,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,5]]},"DOI":"10.1109\/sysose.2015.7151960","type":"proceedings-article","created":{"date-parts":[[2015,7,17]],"date-time":"2015-07-17T20:18:46Z","timestamp":1437164326000},"page":"422-427","source":"Crossref","is-referenced-by-count":0,"title":["SCV2: A model-based validation and verification approach to system-of-systems engineering"],"prefix":"10.1109","author":[{"given":"Rami","family":"Baddour","sequence":"first","affiliation":[]},{"given":"Alkiviadis","family":"Paspaliaris","sequence":"additional","affiliation":[]},{"given":"Daniel Solis","family":"Herrera","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Modeling Reactive Systems with Statecharts The STATEMATE Approach","year":"1998","author":"harel","key":"ref10"},{"key":"ref11","first-page":"315","article-title":"An object-oriented approach to generate Java code from UML Statecharts","volume":"6","author":"niaz","year":"2005","journal-title":"Int J Comput Inf Sci"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-6268-1_75"},{"key":"ref13","first-page":"59","article-title":"Model checking and code generation for UML state machines and collaborations","author":"knapp","year":"2002","journal-title":"Proc 5th Wsh Tools Syst Des Verification"},{"key":"ref14","first-page":"235","article-title":"Enhanced Code Generation from UML Composite State Machines","author":"badreddin","year":"2014","journal-title":"MODELSWARD"},{"key":"ref15","article-title":"Improving SoC design flow by means of MDA and UML profiles","author":"riccobene","year":"2004","journal-title":"3rd Workshop in Software Model Engineering (WiSME 2004)"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"704","DOI":"10.1109\/DATE.2005.37","article-title":"A SoC design methodology involving a UML 2.0 profile for SystemC","author":"riccobene","year":"2005","journal-title":"Design Automation and Test in Europe 2005 Proceedings"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-007-1125-9_2"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1007\/978-1-4020-8297-9_14","article-title":"Uml and systemc-a comparison and mapping rules for automatic code generation","author":"andersson","year":"2008","journal-title":"Embedded Systems Specification and Design Languages"},{"key":"ref19","article-title":"SystemC Work load Model Generation from UML for Performance Simulation","author":"kreku","year":"2007","journal-title":"Forum Specification and Design Languages (FDL)"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/1228784.1228904"},{"journal-title":"Systems Engineering with SysML\/UML Modeling Analysis Design","year":"2011","author":"weilkiens","key":"ref3"},{"key":"ref6","first-page":"1","article-title":"Classification of model transformation approaches","volume":"45","author":"czarnecki","year":"2003","journal-title":"Proceedings of the 2nd OOPSLA Workshop on Generative Techniques in the Context of the Model Driven Architecture"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-8297-9_16"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1147\/sj.453.0621"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2011.6148005"},{"journal-title":"System of Systems Engineering Innovations for the 21st Century","year":"2009","author":"jamshidi","key":"ref2"},{"journal-title":"Systems of Systems Engineering Principles and Applications","year":"2009","author":"jamshidi","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ISICIR.2007.4441909"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2008.106"},{"key":"ref21","first-page":"225","article-title":"Mapping SysML to SystemC","author":"raslan","year":"2007","journal-title":"FDL"},{"journal-title":"Grant agreement no 289041 Seventh Framework Programme of the European Commission 2015","article-title":"System integration and experimental validation. D5.3: Final system integration, experimental validation and evaluation","year":"2015","key":"ref24"},{"journal-title":"Grant agreement no 289041 Seventh Framework Programme of the European Commission","article-title":"Annex I - ‘Description of Work’ to the Grant agreement","year":"2008","key":"ref23"}],"event":{"name":"2015 10th System of Systems Engineering Conference (SoSE)","start":{"date-parts":[[2015,5,17]]},"location":"San Antonio, TX, USA","end":{"date-parts":[[2015,5,20]]}},"container-title":["2015 10th System of Systems Engineering Conference (SoSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7131933\/7151900\/07151960.pdf?arnumber=7151960","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T15:45:58Z","timestamp":1602690358000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7151960"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,5]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/sysose.2015.7151960","relation":{},"subject":[],"published":{"date-parts":[[2015,5]]}}}