{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,3]],"date-time":"2025-10-03T12:48:25Z","timestamp":1759495705123,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,6]]},"DOI":"10.1109\/sies.2013.6601490","type":"proceedings-article","created":{"date-parts":[[2013,9,25]],"date-time":"2013-09-25T22:04:23Z","timestamp":1380146663000},"page":"178-187","source":"Crossref","is-referenced-by-count":1,"title":["Schedulability analysis of on-board satellite software based on model-driven and compositionality techniques"],"prefix":"10.1109","author":[{"given":"Javier","family":"Fernandez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pablo","family":"Parra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bogdan","family":"Nilas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ignacio","family":"Garcia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Sanchez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Oscar R.","family":"Polo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"15","first-page":"7","article-title":"Measurement-based worst-case execution time analysis using automatic test-data generation","author":"kirner","year":"2004","journal-title":"Proc IEEE Workshop on Software Tech for Future Embedded and Ubiquitous Systs (SEUS05)"},{"journal-title":"EMF Eclipse Modeling Framework 2 0","year":"2009","author":"steinberg","key":"16"},{"key":"13","first-page":"43","article-title":"Correctness by construction: A manifesto for high integrity software","volume":"55","author":"chapman","year":"2006","journal-title":"Proceedings of the 10th Australian workshop on Safety critical systems and software"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/1347375.1347389"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/EMRTS.2001.934015"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070567"},{"journal-title":"Model checking","year":"1999","author":"clarke jr","key":"3"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.58"},{"key":"1","article-title":"Instrument control unit for the energetic particle detector on-board solar orbiter","author":"sa?nchez","year":"2012","journal-title":"30th COSPAR Scientific Assembly"},{"journal-title":"User Guide Rapita Systems Ltd","article-title":"Worst-case execution time analysis","year":"2007","key":"10"},{"journal-title":"Concerning Predictability in Dependable Component-Based Systems Classification of Quality Attributes","year":"2005","author":"crnkovic?","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2004.05.014"},{"key":"5","article-title":"EDROOM: A free tool for the UML2 component based design and automatic code generation of tiny embedded real time systems","author":"viana","year":"2006","journal-title":"Proceedings of the 3rd European Congress on Embedded Real-Time Software ERTS"},{"key":"4","article-title":"Component-based engineering and multi-platform deployment for nanosatellite on-board software","author":"polo","year":"2012","journal-title":"Proceedings of the DASIA 2012 Conference"},{"key":"9","article-title":"EDROOM. Automatic C++ code generator for real-time systems modelled with ROOM","author":"polo","year":"2001","journal-title":"NTC2001 IFAC Conference"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/2000229.2000231"}],"event":{"name":"2013 8th IEEE International Symposium on Industrial Embedded Systems (SIES)","start":{"date-parts":[[2013,6,19]]},"location":"Porto","end":{"date-parts":[[2013,6,21]]}},"container-title":["2013 8th IEEE International Symposium on Industrial Embedded Systems (SIES)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6589042\/6601457\/06601490.pdf?arnumber=6601490","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T15:09:31Z","timestamp":1602688171000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6601490"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,6]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/sies.2013.6601490","relation":{},"subject":[],"published":{"date-parts":[[2013,6]]}}}