{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,20]],"date-time":"2026-02-20T00:24:22Z","timestamp":1771547062776,"version":"3.50.1"},"reference-count":49,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,5]]},"DOI":"10.1109\/mompes.2009.5069138","type":"proceedings-article","created":{"date-parts":[[2009,6,10]],"date-time":"2009-06-10T16:24:14Z","timestamp":1244651054000},"page":"61-71","source":"Crossref","is-referenced-by-count":122,"title":["ArcheOpterix: An extendable tool for architecture optimization of AADL models"],"prefix":"10.1109","author":[{"given":"Aldeida","family":"Aleti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Bjornander","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lars","family":"Grunske","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Indika","family":"Meedeniya","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"35","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.3"},{"key":"36","doi-asserted-by":"publisher","DOI":"10.1145\/1294904.1294911"},{"key":"33","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45828-X_2"},{"key":"34","year":"0"},{"key":"39","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2004.06.027"},{"key":"37","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-540-24848-4_1","article-title":"a tailorable environment for assessing the quality of deployment architectures in highly distributed settings","volume":"3083","author":"mikic-rakic","year":"2004","journal-title":"Lecture Notes in Computer Science"},{"key":"38","first-page":"105","article-title":"techniques and tools for automated safety analysis & decision support for redundancy allocation in automotive systems","author":"papadopoulos","year":"2003","journal-title":"COMPSAC 2003"},{"key":"43","doi-asserted-by":"publisher","DOI":"10.1145\/1141277.1141446"},{"key":"42","year":"0"},{"key":"41","doi-asserted-by":"publisher","DOI":"10.1109\/FOSE.2007.22"},{"key":"40","author":"pilone","year":"2005","journal-title":"UML 2 0 in a Nutshell"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2003.1201228"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134431"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2006.08.014"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368094"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2007.18"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2008.32"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30587-3_28"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1109\/ICEC.1994.350037"},{"key":"3","author":"bass","year":"2003","journal-title":"Software Architecture in Practice"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.9"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/WICSA.2004.1310710"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134292"},{"key":"30","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1109\/RELDIS.2001.969769","article-title":"assessing inter-modular error propagation in distributed software","author":"jhumka","year":"2001","journal-title":"Proceedings of the 20th Symposium on Reliable Distributed Systems (20th SRDS'01)"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194096000107"},{"key":"5","doi-asserted-by":"crossref","first-page":"736","DOI":"10.1007\/978-3-540-87875-9_51","article-title":"adding dependability analysis capabilities to the marte profile","volume":"5301","author":"bernardi","year":"2008","journal-title":"Lecture Notes in Computer Science"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1162\/106365600568167"},{"key":"4","first-page":"169","article-title":"performance prediction of component-based systems a survey from an engineering perspective","author":"becker","year":"2006","journal-title":"Architecting Systems with Trustworthy Components volume 3938 of Lecture Notes in Computer Science(LNCS)"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2003.1213075"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-5184-0"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/EUROMICRO.2007.18"},{"key":"19","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1007\/11424529_4","article-title":"optimizing resource usage in component-based real-time systems","volume":"3489","author":"fredriksson","year":"2005","journal-title":"Lecture Notes in Computer Science"},{"key":"17","first-page":"416","article-title":"genetic algorithms for multiobjective optimization: formulation, discussion and generalization","author":"fonseca","year":"1993","journal-title":"Proc Fifth Int Conf Genetic Algorithms"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/FOSE.2007.14"},{"key":"15","year":"0"},{"key":"16","year":"0"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2008.59"},{"key":"14","author":"feiler","year":"0","journal-title":"Plug-in Development for the Open Source AADL Tool Environment"},{"key":"11","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/11590712_6","article-title":"dance: a qos-enabled component deployment and configuration engine","volume":"3798","author":"deng","year":"2005","journal-title":"Lecture Notes in Computer Science"},{"key":"12","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1007\/978-3-540-87879-7_11","article-title":"integrating quality-attribute reasoning frameworks in the arche design assistant","volume":"5281","author":"di?az pace","year":"2008","journal-title":"Lecture Notes in Computer Science"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1016\/S0166-5316(01)00034-7"},{"key":"20","author":"gamma","year":"2007","journal-title":"Design Patterns Elements of Reusable Object-Oriented Software"},{"key":"49","first-page":"95","article-title":"spea2: improving the strength pareto evolutionary algorithm","author":"zitzler","year":"2002","journal-title":"EUROGEN 2001 Evolutionary Methods for Design Optimization and Control with Applications to Industrial Problems"},{"key":"48","doi-asserted-by":"publisher","DOI":"10.1145\/1071021.1071022"},{"key":"45","doi-asserted-by":"publisher","DOI":"10.1162\/evco.1994.2.3.221"},{"key":"44","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87891-9_3"},{"key":"47","year":"0","journal-title":"Simulink - Simulation and Model-Based Design"},{"key":"46","year":"0","journal-title":"Eclipse Ganymede Documentation"},{"key":"10","year":"0"}],"event":{"name":"2009 ICSE Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES)","location":"Vancouver, BC, Canada","start":{"date-parts":[[2009,5,16]]},"end":{"date-parts":[[2009,5,16]]}},"container-title":["2009 ICSE Workshop on Model-Based Methodologies for Pervasive and Embedded Software"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5061472\/5069117\/05069138.pdf?arnumber=5069138","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T20:53:40Z","timestamp":1497819220000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5069138\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,5]]},"references-count":49,"URL":"https:\/\/doi.org\/10.1109\/mompes.2009.5069138","relation":{},"subject":[],"published":{"date-parts":[[2009,5]]}}}