{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,3]],"date-time":"2025-12-03T17:50:17Z","timestamp":1764784217233,"version":"3.37.3"},"reference-count":45,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"6","license":[{"start":{"date-parts":[[2019,12,1]],"date-time":"2019-12-01T00:00:00Z","timestamp":1575158400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,12,1]],"date-time":"2019-12-01T00:00:00Z","timestamp":1575158400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,12,1]],"date-time":"2019-12-01T00:00:00Z","timestamp":1575158400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Aerosp. Electron. Syst."],"published-print":{"date-parts":[[2019,12]]},"DOI":"10.1109\/taes.2019.2907394","type":"journal-article","created":{"date-parts":[[2019,4,1]],"date-time":"2019-04-01T18:53:24Z","timestamp":1554144804000},"page":"3424-3441","source":"Crossref","is-referenced-by-count":14,"title":["Large-Scale Model-Based Avionics Architecture Optimization Methods and Case Study"],"prefix":"10.1109","volume":"55","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1268-0862","authenticated-orcid":false,"given":"Bjorn","family":"Annighofer","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3257-3175","authenticated-orcid":false,"given":"Ernst","family":"Kleemann","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","first-page":"1","article-title":"Mixed-integer programming: It works better than you may think","author":"bixby","year":"0","journal-title":"Proc FERC Conf - Increasing Market Planning Efficiency Through Improved Softw Hardware - Enhanced Wide-Area Planning Models"},{"article-title":"IBM ILOG CPLEX what is inside of the box","year":"2010","author":"lima","key":"ref38"},{"key":"ref33","first-page":"4a1-1-4a1-12","article-title":"Network topology optimization for distributed integrated modular avionics","author":"annigh\u00f6fer","year":"0","journal-title":"Proc 33rd AIAA Digit Avionics Syst Conf"},{"key":"ref32","first-page":"2e2-1-2e2-15","article-title":"Automated selection, sizing, and mapping of integrated modular avionics modules","author":"annigh\u00f6fer","year":"0","journal-title":"Proc 32st Digit Avionics Syst Conf"},{"key":"ref31","first-page":"1","article-title":"Supporting the design of distributed integrated modular avionics systems with binary programming","author":"annigh\u00f6fer","year":"0","journal-title":"Proc Deutscher Luft- und Raumfahrtkongress"},{"key":"ref30","first-page":"6b2-1-6b2-13","article-title":"Multi-objective mapping optimization for distributed modular integrated avionics","author":"annigh\u00f6fer","year":"0","journal-title":"Proceedings of the 31st Digital Avionics Systems Conference"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68155-7_4"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1016\/j.disopt.2006.10.006"},{"journal-title":"Computers and Intractability A Guide to the Theory of NP-completeness (A Series of Books in the Mathematical Sciences)","year":"1979","author":"garey","key":"ref35"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/s13272-015-0156-1"},{"key":"ref10","first-page":"26","article-title":"A new specification methodology for embedded systems based on the pi-calculus process algebra","author":"forster","year":"0","journal-title":"Proc 14th IEEE Int Workshop Rapid Syst Prototyping"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/s10957-013-0364-y"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/EUROMICRO.2006.11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2006.15"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2011.6059017"},{"key":"ref14","first-page":"31","article-title":"Validate, simulate, and implement ARINC 653 systems using the AADL","author":"delange","year":"0","journal-title":"Proc ACM SIGAda Annu Int Conf ADA Related Technol"},{"key":"ref15","first-page":"7a2?1 ?7a2?11","article-title":"Model driven early exploration of IMA execution platform","author":"lafaye","year":"0","journal-title":"Proc IEEE\/AIAA 30th Digital Avionics Syst Conf"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2000.886885"},{"key":"ref17","first-page":"257","article-title":"A holistic framework for optimal avionics system resource planning","author":"sivanthi","year":"0","journal-title":"Proc AST Workshop Aircr Syst Technol"},{"key":"ref18","first-page":"31","article-title":"Decision support for task mapping on IMA architecture","author":"al sheikh","year":"0","journal-title":"Proceedings of the Junior Researcher Workshop on Real-Time Computing"},{"key":"ref19","first-page":"1","article-title":"Partition scheduling on an IMA platform with strict periodicity and communication delays","author":"al sheikh","year":"0","journal-title":"Proc Int Conf Real-Time Netw Syst"},{"key":"ref28","article-title":"Model-based development of integrated modular avionics architectures on aircraft-level","author":"annigh\u00f6fer","year":"0","journal-title":"Proc Deutscher Luft- und Raumfahrtkongress"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2006.313743"},{"article-title":"Automatic design of IMA-based systems","year":"2014","author":"salomon","key":"ref27"},{"key":"ref3","first-page":"211","article-title":"Open integrated modular avionic (IMA): State of the art and future development road map at Airbus Deutschland","author":"butz","year":"0","journal-title":"Proc 1st Int Workshop Aircr Syst Technol"},{"key":"ref6","first-page":"1","article-title":"Quantitative evaluation criteria for modern avionic system architectures","author":"neumann","year":"0","journal-title":"Proc Deutscher Luft- und Raumfahrtkongress"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2017.8102064"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2007.4391842"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/EMPDP.1998.647186"},{"article-title":"A350 avionics to expand on A380 systems","year":"2007","author":"learmount","key":"ref7"},{"key":"ref2","first-page":"1","article-title":"IMA1G - genesis and results","author":"itier","year":"2009","journal-title":"Proc SCARLETT MOSCOW - 1st Forum"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/EMPDP.1999.746662"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/NAECON.1992.220669"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-012-9148-y"},{"article-title":"Model-based architecting and optimization of distributed integrated modular avionics","year":"2015","author":"annigh\u00f6fer","key":"ref45"},{"key":"ref22","first-page":"1","article-title":"Optimal design of virtual links in AFDX networks","volume":"49","author":"al sheikh","year":"2012","journal-title":"Real-Time Syst"},{"article-title":"Communication infrastructure supporting real-time applications","year":"2008","author":"zhang","key":"ref21"},{"article-title":"Entwurf einer plug-and-play entwicklungsumgebung zur optimierung vernetzter avionik-systemarchitekturen","year":"2007","author":"fischer","key":"ref42"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2005.18"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2015.7311442"},{"key":"ref23","first-page":"6c1?1 ?6c1?12","article-title":"Allocation of avionics communication using Boolean satisfiability","author":"carta","year":"0","journal-title":"Proc IEEE\/AIAA 31st Digit Avionics Syst Conf"},{"key":"ref44","first-page":"6b3-1-6b3-14","article-title":"Structured and symmetric IMA architecture optimization: Use case ARIANE launcher","author":"annighoefer","year":"0","journal-title":"Proc 34th Digital Avionics Syst Conf"},{"key":"ref26","first-page":"1","article-title":"Constraint-based design of avionics platform - preliminary design exploration","author":"bieber","year":"0","journal-title":"Proc 4th Eur Congr ERTS Embedded Real Time Softw"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2018.8569875"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2007.4391846"}],"container-title":["IEEE Transactions on Aerospace and Electronic Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7\/8924784\/08678799.pdf?arnumber=8678799","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,13]],"date-time":"2022-07-13T21:10:58Z","timestamp":1657746658000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8678799\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,12]]},"references-count":45,"journal-issue":{"issue":"6"},"URL":"https:\/\/doi.org\/10.1109\/taes.2019.2907394","relation":{},"ISSN":["0018-9251","1557-9603","2371-9877"],"issn-type":[{"type":"print","value":"0018-9251"},{"type":"electronic","value":"1557-9603"},{"type":"electronic","value":"2371-9877"}],"subject":[],"published":{"date-parts":[[2019,12]]}}}