{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T10:09:27Z","timestamp":1767262167893,"version":"3.28.0"},"reference-count":43,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,4]]},"DOI":"10.1109\/rtas.2014.6926012","type":"proceedings-article","created":{"date-parts":[[2015,1,21]],"date-time":"2015-01-21T14:35:37Z","timestamp":1421850937000},"page":"309-318","source":"Crossref","is-referenced-by-count":49,"title":["The ROSACE case study: From Simulink specification to multi\/many-core execution"],"prefix":"10.1109","author":[{"given":"Claire","family":"Pagetti","sequence":"first","affiliation":[]},{"given":"David","family":"Saussie","sequence":"additional","affiliation":[]},{"given":"Romain","family":"Gratia","sequence":"additional","affiliation":[]},{"given":"Eric","family":"Noulard","sequence":"additional","affiliation":[]},{"given":"Pierre","family":"Siron","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","article-title":"From model-based to real-time execution of safety-critical applications: Coupling scade with oasis","author":"bliudze","year":"2012","journal-title":"Embedded Real-time Software and Systems (ERTS2)"},{"key":"ref38","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1145\/2491899.2465558","article-title":"Buffer minimization in earliest-deadline first scheduling of dataflow graphs","author":"bouakaz","year":"2013","journal-title":"ACM SIGPLAN\/SIGBED Conference on Languages Compilers and Tools for Embedded Systems (LCTES)"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/1772643.1772659"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2012.6176464"},{"key":"ref31","article-title":"A verifiable architecture for multitask, multi-rate synchronous software","author":"jean-louis camus","year":"2008","journal-title":"4th European Congress Embedded Real-Time Software (ERTS'08)"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.3384\/ecp1207627"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2008.12"},{"key":"ref36","first-page":"274","author":"marian","year":"2007","journal-title":"Translation of Simulink Models to Component-based Software Models"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/1113830.1113834"},{"key":"ref34","article-title":"Autocoding of Computer-controlled Systems with Control Semantics for Formal Verification (regular paper)","author":"wang","year":"0","journal-title":"Safe and Secure Systems and Software Symposium (S5)"},{"key":"ref10","doi-asserted-by":"crossref","first-page":"1401","DOI":"10.1016\/S0005-1098(00)00058-3","article-title":"Research on gain-scheduling","volume":"36","author":"rugh","year":"2000","journal-title":"Automatica"},{"key":"ref40","article-title":"Multicore in real-time systems - temporal isolation challenges due to shared resources","author":"kotaba","year":"2013","journal-title":"Workshop on Industry-Driven Approaches for Cost-effective Certification of Safety-Critical Mixed-Criticality Systems (WICERT)"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.2514\/1.52178"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/DS-RT.2012.45"},{"journal-title":"Discrete-Time Control Systems","year":"1994","author":"ogata","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805826"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/1176887.1176892"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/5.97300"},{"key":"ref17","article-title":"Implementing Lustre programs on distributed platforms with real-time constraints","author":"curie","year":"2005","journal-title":"Université Joseph Fourier - Grenoble 1"},{"journal-title":"Lucid Synchrone version 3 Tutorial and reference manual Université Paris-Sud LRI","year":"2006","author":"pouzet","key":"ref18"},{"journal-title":"Tech Rep UG130","article-title":"Architecture Overview TILE-Gx","year":"2013","key":"ref19"},{"key":"ref28","article-title":"Weakening Real-time Constraints for Embedded Control Systems","author":"andrianiaina","year":"2011","journal-title":"INRIA Rapport de recherche RR-7831"},{"journal-title":"Commande multivariable - Application au pilotage d'un avion Dunod","year":"2012","author":"b\u00e9rard","key":"ref4"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2008.4738778"},{"key":"ref3","article-title":"Multi\/many-core in avionics systems","author":"laperche","year":"2013","journal-title":"4th Workshop TORRENTS"},{"key":"ref6","first-page":"107","article-title":"Developing critical embedded systems on multicore architectures: the prelude-schedmcore toolset","author":"cordovilla","year":"2011","journal-title":"19th International Conference on Real-Time and Network Systems (RTNS'11)"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/2392987.2392989"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-011-0107-x"},{"journal-title":"Tech Rep UG 120","article-title":"Tile processor architecture - Overview for the TILEPro Series","year":"2013","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2011.202"},{"key":"ref2","article-title":"Development and certification of avionics platforms on multicore processors","author":"gatti","year":"2013","journal-title":"Tutorial Mixed-Criticality Systems Design and Certification Challenges Embedded Systems Week"},{"journal-title":"Aircraft Control and Simulation","year":"2003","author":"stevens","key":"ref9"},{"journal-title":"MathWorks SIMULINK User's Guide","article-title":"The Mathworks","year":"2009","key":"ref1"},{"journal-title":"Tech Rep UG 505","article-title":"Tilera Documentation: Gx MDE Programming Overview","year":"2013","key":"ref20"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2013.6531101"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2003.1213237"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35182-2_16"},{"key":"ref24","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1007\/978-3-642-16256-5_6","article-title":"Otawa: An open toolbox for adaptive wcet analysis","author":"ballabriga","year":"2010","journal-title":"8th IFIP WG 10 2 International Workshop Software Technologies for Embedded and Ubiquitous Systems (SEUS 2010)"},{"key":"ref41","first-page":"25","article-title":"Impact of resource sharing on performance and performance prediction: A survey","author":"abel","year":"2013","journal-title":"24th International Conference on Concurrency Theory (CONCUR‘13)"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/1347375.1347389"},{"key":"ref26","article-title":"Integrated control and real-time scheduling","author":"cervin","year":"2003","journal-title":"Dept of Automatic Control Lund University Sweden"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/SIES.2013.6601489"},{"key":"ref25","first-page":"98","article-title":"Deterministic execution model on cots hardware","volume":"7179","author":"boniol","year":"2012","journal-title":"25th International Conference Architecture of Computing Systems (ARCS'12) ser Lecture Notes in Computer Science"}],"event":{"name":"2014 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)","start":{"date-parts":[[2014,4,15]]},"location":"Berlin, Germany","end":{"date-parts":[[2014,4,17]]}},"container-title":["2014 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6917167\/6925980\/06926012.pdf?arnumber=6926012","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,19]],"date-time":"2019-08-19T19:27:40Z","timestamp":1566242860000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6926012\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,4]]},"references-count":43,"URL":"https:\/\/doi.org\/10.1109\/rtas.2014.6926012","relation":{},"subject":[],"published":{"date-parts":[[2014,4]]}}}