The increasing complexity of heterogeneous systems-on-chip, SoC, and distributed embedded systems makes system optimization and exploration a challenging task. Ideally, a designer would try all possible system configurations and choose the best one regarding specific system requirements. Unfortunately, such an approach is not possible because of the tremendous number of design parameters with sophisticated effects on system properties. Consequently, good search techniques are needed to find design alternatives that best meet constraints and cost criteria. In this paper, we present a compositional design space exploration framework for system optimization and exploration using SymTA/S, a software tool for formal performance analysis. In contrast to many previous approaches pursuing closed automated exploration strategies over large sets of system parameters, our approach allows the designer to effectively control the exploration process to quickly find good design alternatives. An important aspect and key novelty of our approach is system optimization with traffic shaping.
This is a preview of subscription content, log in to check access.
Buy single article
Instant access to the full article PDF.
Price includes VAT for USA
Subscribe to journal
Immediate online access to all issues from 2019. Subscription will auto renew annually.
This is the net price. Taxes to be calculated in checkout.
http://www.tik.ee.ethz.ch/pisableuler-pisa Bleuler S, Laumanns M, Thiele L, Zitzler, E PISA—a platform and programming language independent interface for search algorithms. http://www.tik.ee.ethz.ch/pisa
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–164.
Deb K (2001) Multi-objective optimization using evolutionary algorithms. John Wiley, Chichester.
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–935.
Erbas C, Erbas SC, Pimentel AD (2003) A Multiobjective Optimization Model for Exploring Multiprocessor Mappings of Process Networks. In Proc. of the IEEEäACMäIFIP International Conference on HWäSW Codesign and System Synthesis (CODES-ISSS) Newport Beach, USA.
Garcia JJG, Harbour MG (1995) Optimized priority assignment for tasks and messages in distributed real-time systems. In Proc. of the IEEEäACM Workshop on Parallel and Distributed Real-Time Systems Santa Barbara (CA), USA.
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–1327.
Hamann A, Ernst R (2005) TDMA time slot and turn optimization with evolutionary search techniques. In Proc. of the IEEEäACM Design, Automation and Test in Europe Conference (DATE) Munich, Germany.
Hamann A, Henia R, Jersak M, Racu R, Richter K, Ernst R SymTAäS - Symbolic Timing Analysis for Systems. http://www.symta.org.
Hamann A, Jersak M, Richter K, Ernst R (2004) Design Space Exploration and System Optimization with sym TAäS - Symbolic Timing Analysis for Systems. In Proc. of the 25th IEEE Real-Time Systems Symposium (RTSS) Lisbon, Portugal.
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.
Liu CL, Layland JW (1973) Scheduling algorithms for multiprogramming in a hard-real-time environment Journal of the ACM 20(1):46–61.
Maxiaguine A, Künzli S, Chakraborty S, Thiele L (2004) Rate analysis for streaming applications with on-chip buffer constraints. In Proc. of the IEEEäACM Asia and South Pacific Design Automation Conference (ASP-DAC) Yokohama, Japan, pp. 131–136.
Pimentel AD, Lieverse P, van der Wolf P, Hertzberger LO, Deprettere EF (2001) Exploring embedded-systems architectures with Artemis. In IEEE Computer.
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äACM Design, Automation and Test in Europe Conference (DATE) Paris, France.
Richter K (2004) Compositional Performance Analysis. PhD thesis, Technical University of Braunschweig.
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ür Datentechnik und Kommunikationsnetze, Technische Universität Braunschweig.
Richter K, Ernst R (2002) Event model interfaces for heterogeneous system analysis. In Proc. of the IEEEäACM Design, Automation and Test in Europe Conference (DATE) Paris, France.
Richter K, Jersak M, Ernst R (2003) A formal approach to MpSoC performance verification. IEEE Computer 36(4).
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.
Richter K, Ziegenbein D, Jersak M, Ernst R (2002) Model composition for scheduling analysis in platform design. In Proc. of the 39th IEEEäACM Design Automation Conference (DAC) New Orleans, USA.
Snider G (2001) Automated design space exploration for embedded computer systems. Technical Report HPL–2001–220, Hewlett-Packard Laboratories.
Syswerda G (1990) Schedule optimization using genetic algorithms. In Handbook of Genetic Algorithms New York, Van Nostrand Reinhold.
Thiele L, Chakraborty S, Gries M, Künzli S (2002) A framework for evaluating design tradeoffs in packet processing architectures. In Proc. of the 39th IEEEäACM Design Automation Conference (DAC) New Orleans, USA, pp. 880–885.
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.
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.
Tindell K, Clark J (1994) Holistic schedulability analysis for distributed hard real-time systemsMicroprocessing & Microprogramming 50(2-3):117–134.
Tindell K, Kopetz H, Wolf F, Ernst R (2003) Safe automotive software development. In Proc. of the IEEEäACM Design, Automation and Test in Europe Conference (DATE) Munich, Germany, pp. 616–612.
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–184.
Zitzler E, Laumanns M, Thiele L (2001) SPEA2: Improving the Strength Pareto Evolutionary Algorithm. Technical Report 103, Gloriastrasse 35, CH-8092 Zurich, Switzerland.
Arne Hamann received his Maîtrise degree in Computer Science from the University of Bordeaux 1, France, in 2001, and his Diploma degree in Computer Science from the Technical University of Braunschweig, Germany, in 2003. He is currently working as research scientist in the Embedded System Design Automation Group of Professor Ernst. His research interests include formal timing analysis and optimization of heterogeneous distributed real-time systems.
Dr. Kai Richter received a Diploma and a doctoral degree “summa cum laude” in Electrical Engineering from the Technical University of Braunschweig, Germany in 1998 and 2004. He authored more than 40 papers in internationally recognised journals and conferences. His research interests include timing and performance analysis of distributed embedded systems and embedded system architectures. Since 2005, he is co-founder and Chief Technical Officer of Symtavision that offers unique solutions and analysis tools, including SymTA/S for system-level real-time scheduling analysis.
Dr. Marek Jersak received his Diploma degree in Electrical Engineering from Aachen University of Technology, Germany in 1997 and his doctoral degree with honours from the Technical University of Braunschweig, Germany in 2004. Between 1997 and 1999 he worked as a Design Engineer for Conexant Systems, Newport Beach, California, on DSP compiler optimization and processor/compiler co-design. Since 2005 he is CEO of Symtavision, a spin-off from the Technical University of Braunschweig focusing on timing analysis and optimization for complex embedded real-time systems.
Rolf Ernst received a Diploma in Computer Science and a Ph.D. in Electrical Engineering from the University of Erlangen-Nuremberg, Germany, in 81 and 87. From 88 to 89, he was a Member of Technical Staff in the Computer Aided Design & Test Laboratory at Bell Laboratories, Allentown, PA. Since 90, he has been a professor of Electrical Engineering at the Technical University of Braunschweig, Germany, where he heads the Institute of Computer and Communication Network Engineering. His current research interests include embedded architectures, hardware-/software co-design, real-time systems, and embedded systems engineering. Rolf Ernst is an IEEE Fellow and served as an ACM-SIGDA Distinguished Lecturer.
About this article
Cite this article
Hamann, A., Jersak, M., Richter, K. et al. A framework for modular analysis and exploration of heterogeneous embedded systems. Real-Time Syst 33, 101–137 (2006). https://doi.org/10.1007/s11241-006-6884-x
- Distributed systems
- Performance verification
- Scheduling analysis
- Design space exploration
- Traffic shaping
- Evolutionary algorithms