{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T01:31:38Z","timestamp":1773192698242,"version":"3.50.1"},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"1-3","license":[{"start":{"date-parts":[[2006,7,1]],"date-time":"2006-07-01T00:00:00Z","timestamp":1151712000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Real-Time Syst"],"published-print":{"date-parts":[[2006,7]]},"DOI":"10.1007\/s11241-006-6884-x","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T12:09:57Z","timestamp":1146917397000},"page":"101-137","source":"Crossref","is-referenced-by-count":41,"title":["A framework for modular analysis and exploration of heterogeneous embedded systems"],"prefix":"10.1007","volume":"33","author":[{"given":"Arne","family":"Hamann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marek","family":"Jersak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kai","family":"Richter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rolf","family":"Ernst","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6884_CR1","unstructured":"http:\/\/www.tik.ee.ethz.ch\/pisableuler-pisa Bleuler S, Laumanns M, Thiele L, Zitzler, E PISA\u2014a platform and programming language independent interface for search algorithms. http:\/\/www.tik.ee.ethz.ch\/pisa"},{"key":"6884_CR2","first-page":"162","volume-title":"Proc. of the 9th International Joint Conference on Artificial Intelligence","author":"L Davis","year":"1985","unstructured":"Davis L (1985) Applying adaptive algorithms to epistatic domains. In Proc. of the 9th International Joint Conference on Artificial Intelligence (IJCAI) Los Angeles (CA), USA, pp. 162\u2013164."},{"key":"6884_CR3","volume-title":"Multi-objective optimization using evolutionary algorithms","author":"K Deb","year":"2001","unstructured":"Deb K (2001) Multi-objective optimization using evolutionary algorithms. John Wiley, Chichester."},{"issue":"10","key":"6884_CR4","doi-asserted-by":"crossref","first-page":"920","DOI":"10.1109\/43.728914","volume":"17","author":"RP Dick","year":"1998","unstructured":"Dick RP, Jha NK (1998) MOGAC: A Multiobjective Genetic Algorithm for Hardware-Software Co-synthesis of Hierarchical Heterogeneous Distributed Embedded Systems. In IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 17(10):920\u2013935.","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"6884_CR5","doi-asserted-by":"crossref","unstructured":"Erbas C, Erbas SC, Pimentel AD (2003) A Multiobjective Optimization Model for Exploring Multiprocessor Mappings of Process Networks. In Proc. of the IEEE\u00e4ACM\u00e4IFIP International Conference on HW\u00e4SW Codesign and System Synthesis (CODES-ISSS) Newport Beach, USA.","DOI":"10.1145\/944691.944693"},{"key":"6884_CR6","volume-title":"Proc. of the IEEE\u00e4ACM Workshop on Parallel and Distributed Real-Time Systems","author":"JJG Garcia","year":"1995","unstructured":"Garcia JJG, Harbour MG (1995) Optimized priority assignment for tasks and messages in distributed real-time systems. In Proc. of the IEEE\u00e4ACM Workshop on Parallel and Distributed Real-Time Systems Santa Barbara (CA), USA."},{"issue":"11","key":"6884_CR7","doi-asserted-by":"crossref","first-page":"1317","DOI":"10.1109\/TCAD.2002.804107","volume":"21","author":"T Givargis","year":"2002","unstructured":"Givargis T, Vahid F (2002) Platune: A tuning framework for system-on-a-chip platformsIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 21(11):1317\u20131327.","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"6884_CR8","doi-asserted-by":"crossref","unstructured":"Hamann A, Ernst R (2005) TDMA time slot and turn optimization with evolutionary search techniques. In Proc. of the IEEE\u00e4ACM Design, Automation and Test in Europe Conference (DATE) Munich, Germany.","DOI":"10.1109\/DATE.2005.299"},{"key":"6884_CR9","unstructured":"Hamann A, Henia R, Jersak M, Racu R, Richter K, Ernst R SymTA\u00e4S - Symbolic Timing Analysis for Systems. http:\/\/www.symta.org."},{"key":"6884_CR10","unstructured":"Hamann A, Jersak M, Richter K, Ernst R (2004) Design Space Exploration and System Optimization with sym TA\u00e4S - Symbolic Timing Analysis for Systems. In Proc. of the 25th IEEE Real-Time Systems Symposium (RTSS) Lisbon, Portugal."},{"key":"6884_CR11","doi-asserted-by":"crossref","unstructured":"Laumanns M, Thiele L, Zitzler E, Welzl E, Deb K (2002) Running time analysis of multi-objective evolutionary algorithms on a simple discrete optimization problem. In Proc. of the Parallel Problem Solving From Nature Conference (PPSN) Granada, Spain.","DOI":"10.1007\/3-540-45712-7_5"},{"issue":"1","key":"6884_CR12","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1145\/321738.321743","volume":"20","author":"CL Liu","year":"1973","unstructured":"Liu CL, Layland JW (1973) Scheduling algorithms for multiprogramming in a hard-real-time environment Journal of the ACM 20(1):46\u201361.","journal-title":"Journal of the ACM"},{"key":"6884_CR13","doi-asserted-by":"crossref","unstructured":"Maxiaguine A, K\u00fcnzli S, Chakraborty S, Thiele L (2004) Rate analysis for streaming applications with on-chip buffer constraints. In Proc. of the IEEE\u00e4ACM Asia and South Pacific Design Automation Conference (ASP-DAC) Yokohama, Japan, pp. 131\u2013136.","DOI":"10.1109\/ASPDAC.2004.1337553"},{"key":"6884_CR14","doi-asserted-by":"crossref","unstructured":"Pimentel AD, Lieverse P, van der Wolf P, Hertzberger LO, Deprettere EF (2001) Exploring embedded-systems architectures with Artemis. In IEEE Computer.","DOI":"10.1109\/2.963445"},{"key":"6884_CR15","unstructured":"Pop P, Eles P, Peng Z, Izosimov V, Hellring M, Bridal O (2004) Design optimization of multi-cluster embedded systems for real-time applications. In Proc. of the IEEE\u00e4ACM Design, Automation and Test in Europe Conference (DATE) Paris, France."},{"key":"6884_CR16","unstructured":"Richter K (2004) Compositional Performance Analysis. PhD thesis, Technical University of Braunschweig."},{"key":"6884_CR17","unstructured":"Richter K (2004) On the characterization of communication traffic and task load models in performance verification and architecture evaluation. Technical Report TR-SPI-04-01, Institut f\u00fcr Datentechnik und Kommunikationsnetze, Technische Universit\u00e4t Braunschweig."},{"key":"6884_CR18","doi-asserted-by":"crossref","unstructured":"Richter K, Ernst R (2002) Event model interfaces for heterogeneous system analysis. In Proc. of the IEEE\u00e4ACM Design, Automation and Test in Europe Conference (DATE) Paris, France.","DOI":"10.1109\/DATE.2002.998348"},{"key":"6884_CR19","doi-asserted-by":"crossref","unstructured":"Richter K, Jersak M, Ernst R (2003) A formal approach to MpSoC performance verification. IEEE Computer 36(4).","DOI":"10.1109\/MC.2003.1193230"},{"key":"6884_CR20","doi-asserted-by":"crossref","unstructured":"Richter K, Racu R, Ernst R (2003) Scheduling analysis integration for heterogeneous multiprocessor SoC. In Proc. of the 24th IEEE Real-Time Systems Symposium (RTSS) Cancun, Mexico.","DOI":"10.1109\/REAL.2003.1253270"},{"key":"6884_CR21","doi-asserted-by":"crossref","unstructured":"Richter K, Ziegenbein D, Jersak M, Ernst R (2002) Model composition for scheduling analysis in platform design. In Proc. of the 39th IEEE\u00e4ACM Design Automation Conference (DAC) New Orleans, USA.","DOI":"10.1145\/513918.513993"},{"key":"6884_CR22","unstructured":"Snider G (2001) Automated design space exploration for embedded computer systems. Technical Report HPL\u20132001\u2013220, Hewlett-Packard Laboratories."},{"key":"6884_CR23","unstructured":"Syswerda G (1990) Schedule optimization using genetic algorithms. In Handbook of Genetic Algorithms New York, Van Nostrand Reinhold."},{"key":"6884_CR24","doi-asserted-by":"crossref","unstructured":"Thiele L, Chakraborty S, Gries M, K\u00fcnzli S (2002) A framework for evaluating design tradeoffs in packet processing architectures. In Proc. of the 39th IEEE\u00e4ACM Design Automation Conference (DAC) New Orleans, USA, pp. 880\u2013885.","DOI":"10.1109\/DAC.2002.1012746"},{"key":"6884_CR25","doi-asserted-by":"crossref","unstructured":"Thiele L, Chakraborty S, Gries M, Maxiaguine A, Greutert J (2001) Embedded software in network processors - models and algorithms. In Proc. of the ACM Workshop on Embedded Software (EMSOFT) Lake Tahoe (CA), USA.","DOI":"10.1007\/3-540-45449-7_29"},{"key":"6884_CR26","doi-asserted-by":"crossref","unstructured":"Thiele L, Chakraborty S, Naedele M (2000) Real-time calculus for scheduling hard real-time systems. In Proc. of the IEEE International Symposium on Circuits and Systems (ISCAS) Geneva, Switzerland.","DOI":"10.1109\/ISCAS.2000.858698"},{"issue":"2-3","key":"6884_CR27","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/0165-6074(94)90080-9","volume":"50","author":"K Tindell","year":"1994","unstructured":"Tindell K, Clark J (1994) Holistic schedulability analysis for distributed hard real-time systemsMicroprocessing & Microprogramming 50(2-3):117\u2013134.","journal-title":"Microprocessing & Microprogramming"},{"key":"6884_CR28","doi-asserted-by":"crossref","unstructured":"Tindell K, Kopetz H, Wolf F, Ernst R (2003) Safe automotive software development. In Proc. of the IEEE\u00e4ACM Design, Automation and Test in Europe Conference (DATE) Munich, Germany, pp. 616\u2013612.","DOI":"10.1109\/DATE.2003.1253676"},{"key":"6884_CR29","doi-asserted-by":"crossref","unstructured":"Whitley DL, Yoo N (1995) Modeling simple genetic algorithms for permutation problems. In Foundations of Genetic Algorithms III San Francisco, CA, Morgan Kaufmann, pp. 163\u2013184.","DOI":"10.1016\/B978-1-55860-356-1.50013-3"},{"key":"6884_CR30","unstructured":"Zitzler E, Laumanns M, Thiele L (2001) SPEA2: Improving the Strength Pareto Evolutionary Algorithm. Technical Report 103, Gloriastrasse 35, CH-8092 Zurich, Switzerland."}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11241-006-6884-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11241-006-6884-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11241-006-6884-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,26]],"date-time":"2021-07-26T20:03:50Z","timestamp":1627329830000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11241-006-6884-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,7]]},"references-count":30,"journal-issue":{"issue":"1-3","published-print":{"date-parts":[[2006,7]]}},"alternative-id":["6884"],"URL":"https:\/\/doi.org\/10.1007\/s11241-006-6884-x","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"value":"0922-6443","type":"print"},{"value":"1573-1383","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,7]]}}}