{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,25]],"date-time":"2025-09-25T17:04:20Z","timestamp":1758819860760,"version":"3.37.3"},"reference-count":47,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"MINECO","award":["ESP2013-48346-C2-2-R","ESP2015-68266-R"],"award-info":[{"award-number":["ESP2013-48346-C2-2-R","ESP2015-68266-R"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Emerg. Topics Comput."],"published-print":{"date-parts":[[2021,1,1]]},"DOI":"10.1109\/tetc.2018.2866024","type":"journal-article","created":{"date-parts":[[2018,8,17]],"date-time":"2018-08-17T18:46:13Z","timestamp":1534531573000},"page":"78-89","source":"Crossref","is-referenced-by-count":3,"title":["A Platform-Aware Model-Driven Embedded Software Engineering Process Based on Annotated Analysis Models"],"prefix":"10.1109","volume":"9","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4242-8297","authenticated-orcid":false,"given":"Pablo","family":"Parra","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7893-4247","authenticated-orcid":false,"given":"Oscar R.","family":"Polo","sequence":"additional","affiliation":[]},{"given":"Javier","family":"Fernandez","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3737-743X","authenticated-orcid":false,"given":"Antonio","family":"da Silva","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6729-7932","authenticated-orcid":false,"given":"Sebastian","family":"Sanchez","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5600-9253","authenticated-orcid":false,"given":"Agustin","family":"Martinez","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/32.825767"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/EUROMICRO.2005.52"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"ref32","article-title":"Component-based engineering and multi-platform deployment for nanosatellite on-board software","author":"polo","year":"2012","journal-title":"Proc DASIA Conf"},{"journal-title":"Real-Time Object-Oriented Modeling","year":"1994","author":"selic","key":"ref31"},{"journal-title":"Space engineering - Software","year":"2009","key":"ref30"},{"year":"2012","key":"ref37","article-title":"COCOMO II - Constructive cost model"},{"journal-title":"et al","year":"2000","author":"boehm","key":"ref36"},{"key":"ref35","first-page":"178","article-title":"Schedulability analysis of on-board satellite software based on model-driven and compositionality techniques","author":"fern\u00e1ndez","year":"2013","journal-title":"Proc IEEE Internal Symp Ind Embedded Syst"},{"journal-title":"CCSDS 102 0-B-5","article-title":"Packet telemetry","year":"2000","key":"ref34"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/S0164-1212(02)00038-9"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.83"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/EURMIC.2004.1333431"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2006.08.016"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/1-4020-3454-7_7"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2008.03.066"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30187-5_20"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02414-6_3"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/54.970421"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/2000229.2000231"},{"journal-title":"EMF Eclipse Modeling Framework 2 0","year":"2009","author":"steinberg","key":"ref19"},{"key":"ref28","first-page":"93","article-title":"Compile-time stack requirements analysis with GCC","author":"botcazou","year":"2005","journal-title":"Proc GCC Developers Summit"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02414-6_11"},{"journal-title":"RapiTime Worst-case Execution Time Analysis User Guide","year":"2007","key":"ref27"},{"journal-title":"UML Profile for MARTE Modeling and Analysis of Real-Time Embedded Systems","year":"2009","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/MOMPES.2008.11"},{"key":"ref29","first-page":"13","article-title":"Is third party certification necessary?","author":"stafford","year":"2001","journal-title":"Proc 4th ICSE Workshop Component-Based Softw Eng"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/11556169_12"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-006-6884-x"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ICCSIT.2010.5564077"},{"journal-title":"Embedded System Design A Unified Hardware\/Software Introduction","year":"2001","author":"vahid","key":"ref2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2004.05.014"},{"journal-title":"Component Software Beyond Object-Oriented Programming","year":"2002","author":"szyperski","key":"ref1"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2014.05.076"},{"journal-title":"Corba Component Model Specification 4 0","year":"2006","key":"ref20"},{"year":"2012","key":"ref45","article-title":"The CHESS project"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1002\/spe.767"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2014.06.001"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/SERA.2006.62"},{"key":"ref42","first-page":"19","article-title":"Consistent extra-functional properties tagging for component and connector models","author":"maoz","year":"2016","journal-title":"Proc 3rd Int Workshop Interplay Model-Driven Component-Based Softw Eng"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/EMRTS.2001.934015"},{"key":"ref41","article-title":"Acme: An architecture description interchange language","author":"garlan","year":"1997","journal-title":"Proc Conf Centre Advanced Studies Collaborative Res"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.asr.2013.05.029"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/RSP.2008.19"},{"journal-title":"Eclipse Modeling Project A Domain-Specific Language (DSL) Toolkit","year":"2009","author":"gronback","key":"ref26"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/2000229.2000243"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/S1474-6670(17)32953-1"}],"container-title":["IEEE Transactions on Emerging Topics in Computing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6245516\/9372348\/08438923.pdf?arnumber=8438923","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T14:53:50Z","timestamp":1652194430000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8438923\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,1,1]]},"references-count":47,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tetc.2018.2866024","relation":{},"ISSN":["2168-6750","2376-4562"],"issn-type":[{"type":"electronic","value":"2168-6750"},{"type":"electronic","value":"2376-4562"}],"subject":[],"published":{"date-parts":[[2021,1,1]]}}}