{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T06:10:22Z","timestamp":1729663822547,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,6]]},"DOI":"10.1109\/sies.2017.7993394","type":"proceedings-article","created":{"date-parts":[[2017,7,31]],"date-time":"2017-07-31T16:38:21Z","timestamp":1501519101000},"page":"1-8","source":"Crossref","is-referenced-by-count":1,"title":["Model-based deployment generation for safety-critical avionics systems"],"prefix":"10.1109","author":[{"given":"Georgeta","family":"Igna","sequence":"first","affiliation":[]},{"given":"Laurent","family":"Dieudonne","sequence":"additional","affiliation":[]},{"given":"Sebastian","family":"Voss","sequence":"additional","affiliation":[]},{"given":"Bernhard","family":"Schatz","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"317","article-title":"AutoFocus 3 - A Scientific Tool Prototype for Model-Based Development of Component-Based, Reactive, Distributed Systems","volume":"6100","author":"h\u00f6lzl","year":"2011","journal-title":"MBEES 2007 Revised Selected Papers ser LNCS"},{"key":"ref11","first-page":"49","article-title":"Scheduling shared memory multicore architectures in AF3 using Satisfiability Modulo Theories","author":"voss","year":"2012","journal-title":"MBEES fortiss GmbH München"},{"key":"ref12","first-page":"825","article-title":"Satisfiability modulo theories","volume":"185","author":"barrett","year":"2009","journal-title":"Handbook of Satisfiability Ser Frontiers in Artificial Intelligence and Applications"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0035103"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6377(83)90044-5"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15775-2_2"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.4236\/jsea.2013.65028"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2015.7340482"},{"key":"ref18","first-page":"33","article-title":"An approach for effective design space exploration","volume":"6662","author":"kang","year":"2010","journal-title":"Monterey Workshop 2010 Revised Selected Papers ser LNCS"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1193228"},{"journal-title":"AF3 homepage","year":"2017","key":"ref4"},{"journal-title":"Certification Authorities Software Team (CAST) Position Paper CAST-32 Multi-core Processors","year":"2016","key":"ref3"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","article-title":"Z3: An Efficient SMT Solver","volume":"4963","author":"de moura","year":"2008","journal-title":"TACAS Ser Lecture Notes in Computer Science"},{"key":"ref5","first-page":"19","article-title":"AutoFO-CUS 3: Tooling Concepts for Seamless, Model-based Development of Embedded Systems","volume":"1508","author":"aravantinos","year":"2015","journal-title":"ACES-MB 2015 & WUCOR 2015 ser CEUR Workshop Proceedings"},{"journal-title":"A Discipline of Programming","year":"1976","author":"dijkstra","key":"ref8"},{"journal-title":"Advanced Model-Based Engineering of Embedded Systems Extensions of the SPES 2020 Methodology","year":"2016","author":"pohl","key":"ref7"},{"key":"ref2","first-page":"-1p","article-title":"New challenges for future avionic architectures","author":"bieber","year":"2012","journal-title":"AerospaceLab"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/EDCC.2012.27"},{"key":"ref9","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-0091-5","author":"broy","year":"2001","journal-title":"Specification and Development of Interactive Systems FOCUS on Streams Interfaces and Refinement"},{"key":"ref20","first-page":"90","article-title":"Model-driven design-space exploration for embedded systems: The octopus toolset","volume":"6415","author":"basten","year":"2010","journal-title":"ISoLA 2010 Proceedings Part I ser LNCS"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/2642937.2643005"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/2043662.2043663"}],"event":{"name":"2017 12th IEEE International Symposium on Industrial Embedded Systems (SIES)","start":{"date-parts":[[2017,6,14]]},"location":"Toulouse, France","end":{"date-parts":[[2017,6,16]]}},"container-title":["2017 12th IEEE International Symposium on Industrial Embedded Systems (SIES)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7992954\/7993372\/07993394.pdf?arnumber=7993394","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,1]],"date-time":"2019-10-01T17:24:24Z","timestamp":1569950664000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7993394\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/sies.2017.7993394","relation":{},"subject":[],"published":{"date-parts":[[2017,6]]}}}