SystemCoDesigner
Entwurfsraumexploration für eingebettete Systeme
In this project, novel models and methodologies enabling automatic design space exploration for embedded systems at the system level are investigated. The key problem is to optimally allocate resources as well as optimally bind processes onto these resources. Here, we use state-of-the-art multi-objective optimization algorithms and symbolic techniques. Moreover, an interface exists to the system design language SystemC
Publications
2024
- Letras M.:
Techniques for Efficient Performance Analysis and Memory Optimization in Mapping Dataflow Models of Computation onto Embedded Systems (Dissertation, 2024)
DOI: 10.25593/open-fau-1040
URL: https://open.fau.de/handle/openfau/31834
BibTeX: Download - Letras M., Falk J., Teich J.:
Exploring Multi-Reader Buffers and Channel Placement during Dataflow Network Mapping to Heterogeneous Many-core Systems
In: IEEE Access 12 (2024), p. 39748-39769
ISSN: 2169-3536
DOI: 10.1109/ACCESS.2024.3375079
BibTeX: Download
2023
- Letras M., Falk J., Teich J.:
Throughput and Memory Optimization for Parallel Implementations of Dataflow Networks using Multi-Reader Buffers
Fourth Workshop on Next Generation Real-Time Embedded Systems (Toulouse, 18. January 2023 - 18. January 2023)
In: Fourth Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2023), Germany: 2023
DOI: 10.4230/OASIcs.NG-RES.2023.6
URL: https://drops.dagstuhl.de/opus/volltexte/2023/17737/
BibTeX: Download
2021
- Letras M., Falk J., Teich J.:
Decision Tree-based Throughput Estimation to Accelerate Design Space Exploration for Multi-Core Applications
24. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (München, 18. March 2021 - 19. March 2021)
BibTeX: Download
2020
- Letras M., Falk J., Schwarzer T., Teich J.:
Multi-objective Optimization of Mapping Dataflow Applications to MPSoCs Using a Hybrid Evaluation Combining Analytic Models and Measurements
In: ACM Transactions on Design Automation of Electronic Systems 26 (2020), p. 1–33
ISSN: 1084-4309
DOI: 10.1145/3431814
BibTeX: Download - Wang B., Glaß M., Falk J., Ahmed I., Teich J.:
Exploration of Power Domain Partitioning with Concurrent Task Mapping and Scheduling for Application-specific Multi-core SoCs
33rd International Conference on Architecture of Computing Systems (ARCS) (Aachen, 25. May 2020 - 28. May 2020)
In: In Proc. of the 33rd International Conference on Architecture of Computing Systems (ARCS) 2020
DOI: 10.1007/978-3-030-52794-5_12
BibTeX: Download
2019
- Letras M., Falk J., Schwarzer T., Teich J.:
On the Analytic Evaluation of Schedules via Max-Plus Algebra for DSE of Multi-Core Architectures
22nd International Workshop on Software and Compilers for Embedded Systems, (SCOPES) (Sankt Goar, Germany, 27. May 2019 - 28. May 2019)
In: Proceedings of the 22st International Workshop on Software and Compilers for Embedded Systems, SCOPES 2019, Sankt Goar, Germany 2019
DOI: 10.1145/3323439.3323979
BibTeX: Download - Pourmohseni B., Smirnov F., Wildermann S., Teich J.:
Isolation-Aware Timing Analysis and Design Space Exploration for Predictable and Composable Many-Core Systems
Euromicro Conference on Real-Time Systems (ECRTS) (Stuttgart, Germany, 9. July 2019 - 12. July 2019)
In: Proceedings of the 31th Euromicro Conference on Real-Time Systems (ECRTS) 2019
DOI: 10.4230/LIPIcs.ECRTS.2019.12
URL: http://drops.dagstuhl.de/opus/volltexte/2019/10749
BibTeX: Download - Schwarzer T., Falk J., Müller S., Letras M., Heidorn C., Wildermann S., Teich J.:
Compilation of Dataflow Applications for Multi-Cores using Adaptive Multi-Objective Optimization
In: ACM Transactions on Design Automation of Electronic Systems 24 (2019), Article No.: 29
ISSN: 1084-4309
DOI: 10.1145/3310249
BibTeX: Download - Smirnov F., Pourmohseni B., Glaß M., Teich J.:
Variety-Aware Routing Encoding for Efficient Design Space Exploration of Automotive Communication Networks
5th International Conference on Vehicle Technology and Intelligent Transport Systems (VEHITS) (Heraklion, Kreta, 3. May 2019 - 5. May 2019)
BibTeX: Download
2018
- Smirnov F., Reimann F., Teich J., Glaß M.:
Automatic Optimization of the VLAN Partitioning in Automotive Communication Networks
In: ACM Transactions on Design Automation of Electronic Systems (2018)
ISSN: 1084-4309
DOI: 10.1145/3278120
BibTeX: Download - Streit FJ., Letras M., Wildermann S., Hackenberg B., Falk J., Becher A., Teich J.:
Model-Based Design Automation of Hardware/Software Co-Designs for Xilinx Zynq PSoCs
International Conference on Reconfigurable Computing and FPGAs (ReConFig) (Cancún, Mexico, 3. December 2018 - 5. December 2018)
In: IEEE Proceedings of the 13th International Conference on ReConFigurable Computing and FPGAs 2018
DOI: 10.1109/RECONFIG.2018.8641736
BibTeX: Download
2017
- Falk J., Haubelt C., Teich J., Zebelein C.:
SysteMoC: A Data-Flow Programming Language for Codesign
In: Ha S, Teich J (ed.): Handbook of Hardware/Software Codesign, Dordrecht, The Netherlands: Springer, 2017, p. 59 - 97
ISBN: 978-94-017-7266-2
BibTeX: Download - Letras M., Falk J., Wildermann S., Teich J.:
Automatic Conversion of Simulink Models to SysteMoC Actor Networks
20th International Workshop on Software and Compilers for Embedded Systems (SCOPES) (Sankt Goar, 12. June 2017 - 13. June 2017)
DOI: 10.1145/3078659.3078668
BibTeX: Download - Streit FJ., Letras M., Schid M., Falk J., Wildermann S., Teich J.:
High-Level Synthesis for Hardware/Software Co-Design of Distributed Smart Camera Systems
International Conference on Distributed Smart Cameras (ICDSC) (Stanford, USA, 5. September 2017 - 7. September 2017)
In: ACM Proceedings of the 11th International Conference on Distributed Smart Cameras 2017
DOI: 10.1145/3131885.3131932
BibTeX: Download
2015
- Falk J.:
A Clustering-Based MPSoC Design Flow for Data Flow-Oriented Applications (Dissertation, 2015)
DOI: 10.13140/RG.2.1.5029.5763
BibTeX: Download - Falk J., Schwarzer T., Zhang L., Glaß M., Teich J.:
Automatic communication-driven virtual prototyping and design for networked embedded systems
In: Microprocessors and Microsystems 39 (2015), p. 1012–1028
ISSN: 0141-9331
DOI: 10.1016/j.micpro.2015.08.008
BibTeX: Download
2014
- Zhang L., Falk J., Schwarzer T., Glaß M., Teich J.:
Communication-driven Automatic Virtual Prototyping for Networked Embedded Systems
Euromicro Conference on Digital System Design (DSD) (Verona, 27. August 2014 - 29. August 2014)
In: Proc. of Euromicro Conference on Digital System Design (DSD), New York, NY, USA: 2014
BibTeX: Download
2013
- Aliee H., Glaß M., Reimann F., Teich J.:
Automatic Success Tree-Based Reliability Analysis for the Consideration of Transient and Permanent Faults
Design, Automation and Test in Europe (DATE) (Grenoble, 18. March 2013 - 22. March 2013)
In: Proc. Design, Automation and Test in Europe, New York, NY, USA: 2013
DOI: 10.7873/DATE.2013.329
BibTeX: Download - Falk J., Zebelein C., Haubelt C., Teich J.:
A rule-based quasi-static scheduling approach for static islands in dynamic dataflow graphs
In: ACM Transactions on Embedded Computing Systems 12 (2013), Article No.: 74
ISSN: 1539-9087
DOI: 10.1145/2442116.2442124
BibTeX: Download - Graf S., Glaß M., Teich J.:
Investigating the Impact of Energy-Efficient Ethernet on Automotive Applications via High-level Modeling
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) (Warnemünde, 12. March 2013 - 14. March 2013)
In: Tagungsunterlagen Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, Rostock: 2013
BibTeX: Download - Graf S., Glaß M., Wintermann D., Teich J., Lauer C.:
IVaM: Implicit Variant Modeling and Management for Automotive Embedded Systems
International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS) (Montreal, QC, 29. September 2013 - 4. October 2013)
In: Proc. International Conference on Hardware/Software Codesign and System Synthesis, New York, NY, USA: 2013
DOI: 10.1109/CODES-ISSS.2013.6658982
BibTeX: Download - Xu Y., Wang B., Hasholzner R., Rosales R., Teich J.:
On robust task-accurate performance estimation
50th Annual Design Automation Conference, DAC 2013 (Austin, TX, 2. June 2013 - 6. June 2013)
In: Proceedings of the 50th Design Automation Conference (DAC 2013) 2013
DOI: 10.1145/2463209.2488945
BibTeX: Download - Xu Y., Wang B., Rosales R., Hasholzner R., Teich J.:
On confident task-accurate performance estimation
26th International Conference on Architecture of Computing Systems, ARCS 2013 (Prague)
In: Proceedings of the International Conference on Architecture of Computing Systems (ARCS) 2013
DOI: 10.1007/978-3-642-36424-2_3
BibTeX: Download - Zebelein C., Haubelt C., Falk J., Teich J.:
Model-Based Representation of Schedules for Dataflow Graphs
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2013) (Rostock, 12. March 2013 - 14. March 2013)
In: Proceedings of Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2013) 2013
BibTeX: Download - Zhang L., Glaß M., Ballmann N., Teich J.:
Bridging Algorithm and ESL Design: Matlab/Simulink Model Transformation and Validation
Forum on Specification & Design Languages (FDL) (Paris, 24. September 2013 - 26. September 2013)
In: Proc. Forum on Specification & Design Languages, New York, NY, USA: 2013
BibTeX: Download
2012
- Eberl M., Glaß M., Teich J., Abelein U.:
Considering Diagnosis Functionality during Automatic System-Level Design of Automotive Networks
The 49th Annual Design Automation Conference 2012 (DAC) (San Francisco, CA, 3. June 2012 - 7. June 2012)
In: Proc. of The 49th Annual Design Automation Conference 2012 (DAC), New York, NY, USA: 2012
DOI: 10.1145/2228360.2228400
BibTeX: Download - Glaß M., Teich J., Zhang L.:
A Co-simulation Approach for System-Level Analysis of Embedded Control Systems
2012 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS) (Samos, 16. July 2012 - 19. July 2012)
In: Proc. of the 2012 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS), New York, NY, USA: 2012
DOI: 10.1109/SAMOS.2012.6404200
BibTeX: Download - Graf S., Glaß M., Teich J.:
Unreliable Data Transmissions and Limited Hardware Communication Buffers in Automotive E/E Virtual Prototypes
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) (Kaiserslautern, 5. March 2012 - 7. March 2012)
In: Tagungsunterlagen Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Hamburg, Germany: 2012
BibTeX: Download - Graf S., Russ T., Glaß M., Teich J.:
Considering MOST150 during Virtual Prototyping of Automotive E/E Architectures
Automotive meets Electronics (AmE), GMM Fachbericht 72 (Dortmund)
In: Proc. of Automotive meets Electronics (AmE), GMM Fachbericht 72, Berlin, Germany: 2012
BibTeX: Download - Lukasiewycz M., Glaß M., Teich J., Milbredt P.:
FlexRay Static Segment Scheduling
In: Advances in Real-Time Systems, Berlin; Heidelberg: Springer-Verlag, 2012, p. 323-339
ISBN: 978-3-642-24348-6
BibTeX: Download - Milbredt P., Glaß M., Lukasiewycz M., Steininger A., Teich J.:
Designing FlexRay-based Automotive Architectures: A Holistic OEM Approach
Design, Automation and Test in Europe (DATE) (Dresden, Germany, 12. March 2012 - 16. March 2012)
In: Proc. of Design, Automation and Test in Europe (DATE), New York, NY, USA: 2012
BibTeX: Download - Xu Y., Rosales R., Wang B., Streubühr M., Hasholzner R., Haubelt C., Teich J.:
A very fast and quasi-accurate power-state-based system-level power modeling methodology
25th International Conference on Architecture of Computing Systems, ARCS 2012 (Munich)
In: Proceedings of the International Conference on Architecture of Computing Systems (ARCS) 2012
DOI: 10.1007/978-3-642-28293-5_4
BibTeX: Download - Zebelein C., Falk J., Haubelt C., Teich J.:
A model-based inter-process resource sharing approach for high-level synthesis of dataflow graphs
2nd Electronic System Level Synthesis Conference, ESLsyn 2012 (San Francisco, CA, 2. June 2012 - 3. June 2012)
URL: https://www.scopus.com/inward/record.url?partnerID=HzOxMe3b&scp=84866155902&origin=inward
BibTeX: Download - Zhang L., Glaß M., Streubühr M., Teich J., von Schwerin A., Liu K.:
Actor-oriented Modeling and Simulation of Cut-through Communication in Network Controllers
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) (Kaiserslautern, 5. March 2012 - 7. March 2012)
In: Tagungsunterlagen Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Hamburg, Germany: 2012
BibTeX: Download - Zhang L., Streubühr M., Glaß M., Teich J., von Schwerin A., Liu K.:
System-Level Modeling and Simulation of Networked PROFINET IO Controllers
Embedded World Conference (Nuremberg, 28. February 2012 - 1. March 2013)
In: Proc. of the Embedded World Conference, Kissingen, Germany: 2012
BibTeX: Download
2011
- Falk J., Zebelein C., Haubelt C., Teich J.:
A rule-based static dataflow clustering algorithm for efficient embedded software synthesis
14th Design, Automation and Test in Europe Conference and Exhibition, DATE 2011 (Grenoble, 14. March 2011 - 18. March 2011)
In: Proceedings of Design, Automation and Test in Europe (DATE'11) 2011
URL: https://www.scopus.com/inward/record.url?partnerID=HzOxMe3b&scp=79957549287&origin=inward
BibTeX: Download - Glaß M.:
Dependability-Aware System-Level Design for Embedded Systems (Dissertation, 2011)
BibTeX: Download - Glock S., Fischer G., Weigel R., Hasholzner R., Ußmüller T.:
A state-based power estimation methodology at system level for integrated RF front-ends
In: Semiconductor Conference Dresden 2011 2011
DOI: 10.1109/SCD.2011.6068723
BibTeX: Download - Graf S., Streubühr M., Glaß M., Teich J.:
Analyzing Automotive Networks using Virtual Prototypes
Automotive meets Electronics (AmE), GMM Fachbericht 69 (Dortmund, Germany)
In: Proceedings of the Automotive meets Electronics (AmE2011), GMM Fachbericht 69, Berlin: 2011
BibTeX: Download - Kern A., Reinhard D., Streichert T., Teich J.:
Gateway Strategies for Embedding of Automotive CAN-frames into Ethernet-packets and Vice Versa
24th International Conference on Architecture of Computing Systems (ARCS'11) (Lake Como, 24. February 2011 - 25. February 2011)
In: Proceedings of the 24th International Conference on Architecture of Computing Systems, Berlin; Heidelberg: 2011
DOI: 10.1007/978-3-642-19137-4_22
BibTeX: Download - Kern A., Streichert T., Teich J.:
An Automated Data Structure Migration Concept - From CAN to Ethernet/IP in Automotive Embedded Systems (CANoverIP)
Design, Automation and Test in Europe (DATE'11) (Grenoble, 14. March 2011 - 18. March 2011)
In: Proc. of DATE, New York, NY, USA: 2011
URL: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5763027
BibTeX: Download - Kutzer P., Gladigau J., Haubelt C., Teich J.:
Automatic generation of system-level virtual prototypes from streaming application models
2011 22nd IEEE International Symposium on Rapid System Prototyping: Shortening the Path from Specification to Prototype, RSP-2011 (Karlsruhe)
In: Proceedings of the 22nd IEEE International Symposium on Rapid System Prototyping 2011
DOI: 10.1109/RSP.2011.5929986
BibTeX: Download - Lukasiewycz M., Glaß M., Reimann F., Teich J.:
Opt4J - A Modular Framework for Meta-heuristic Optimization
13th Annual Genetic and Evolutionary Computation Conference (GECCO'11) (Dublin, 12. July 2011 - 16. July 2011)
In: Proc. of the 13th Annual Genetic and Evolutionary Computation Conference, New York, NY, USA: 2011
DOI: 10.1145/2001576.2001808
BibTeX: Download - Mühleis N., Glaß M., Zhang L., Teich J.:
A Co-Simulation Approach for Control Performance Analysis during Design Space Exploration of Cyber-Physical Systems
2nd International Conference on Cyber Physical Systems (ICCPS 2011)
In: ACM SIGBED Review - Work-in-Progress (WiP) Session of the 2nd International Conference on Cyber Physical Systems (ICCPS 2011) 2011
DOI: 10.1145/2000367.2000372
BibTeX: Download - Reimann F., Lukasiewycz M., Glaß M., Haubelt C., Teich J.:
Symbolic system synthesis in the presence of stringent real-time constraints
2011 48th ACM/EDAC/IEEE Design Automation Conference, DAC 2011 (San Diego, CA, 5. June 2011 - 10. June 2011)
URL: https://www.scopus.com/inward/record.url?partnerID=HzOxMe3b&scp=80052678758&origin=inward
BibTeX: Download - Streubühr M., Rosales R., Hasholzner R., Haubelt C., Teich J.:
ESL Power and Performance Estimation for Heterogeneous MPSoCs Using SystemC
Forum on specification and Design Languages 2011 (Oldenbúrg, 13. September 2011 - 15. September 2011)
In: Forum on specification and Design Languages 2011 2011
BibTeX: Download
2010
- Falk J., Zebelein C., Haubelt C., Teich J., Dorsch R.:
Integrating Hardware/Firmware Verification Efforts Using SystemC High-Level Models
3. ITG/GI/GMM Workshop für Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (Dresden, 22. February 2010 - 24. February 2010)
In: 3. ITG/GI/GMM Workshop für Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen 2010
BibTeX: Download - Falk J., Zebelein C., Keinert J., Haubelt C., Teich J., Bhattacharyya SS.:
Analysis of systemc actor networks for efficient synthesis
In: ACM Transactions on Embedded Computing Systems 10 (2010), Article No.: 18
ISSN: 1539-9087
DOI: 10.1145/1880050.1880054
BibTeX: Download - Gladigau J., Gerstlauer A., Haubelt C., Streubühr M., Teich J.:
A system-level synthesis approach from formal application models to generic bus-based MPSoCs
2010 10th International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation, IC-SAMOS 2010 (Samos, 19. July 2010 - 22. July 2010)
In: Proceedings of the International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation (SAMOS) 2010
DOI: 10.1109/ICSAMOS.2010.5642076
BibTeX: Download - Glaß M., Lukasiewycz M., Haubelt C., Teich J.:
Lifetime Reliability Optimization for Embedded Systems: A System-Level Approach
IEEE International Workshop on Reliability Aware System Design and Test (RASDAT '10) (Bangalore, 7. January 2010 - 8. January 2010)
In: Proceedings of IEEE International Workshop on Reliability Aware System Design and Test (RASDAT '10) 2010
BibTeX: Download - Glaß M., Lukasiewycz M., Haubelt C., Teich J.:
Towards scalable system-level reliability analysis
47th Design Automation Conference, DAC '10 (Anaheim, CA, 13. June 2010 - 18. June 2010)
DOI: 10.1145/1837274.1837334
BibTeX: Download - Glaß M., Lukasiewycz M., Reimann F., Haubelt C., Teich J.:
Symbolic system level reliability analysis
2010 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2010 (San Jose, CA, 7. November 2010 - 11. November 2010)
In: Proceedings of the International Conference on Computer-Aided Design (ICCAD) 2010
DOI: 10.1109/ICCAD.2010.5654134
BibTeX: Download - Kern A., Schmutzler C., Streichert T., Hübner M., Teich J.:
Network bandwidth optimization of ethernet-based streaming applications in automotive embedded systems
2010 19th International Conference on Computer Communications and Networks, ICCCN 2010 (Zurich, 2. August 2010 - 5. August 2010)
In: Proceedings of the Internaional Conference on Computer Communication Networks (ICCCN) 2010 – Track on Network Algorithms, Performance Evaluation and Theory (NAPET) 2010
DOI: 10.1109/ICCCN.2010.5560142
BibTeX: Download - Kiesel R., Löhlein O., Terzis A., Streubühr M., Haubelt C., Teich J.:
Actor-oriented Modeling of Driver Assistance Systems for Efficient Multi-Core ECU Implementation
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (Dresden)
In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen 2010
BibTeX: Download - Streubühr M., Gladigau J., Haubelt C., Teich J.:
Efficient approximately-timed performance modeling for architectural exploration of MPSoCs
2010
ISBN: 9789048193035
DOI: 10.1007/978-90-481-9304-2_4
BibTeX: Download
2009
- Gerstlauer A., Haubelt C., Pimentel A., Stefanov T., Gajski D., Teich J.:
Electronic System-Level Synthesis Methodologies
In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 28 (2009), p. 1517-1530
ISSN: 0278-0070
DOI: 10.1109/TCAD.2009.2026356
BibTeX: Download - Glaß M., Haubelt C., Lukasiewycz M., Teich J.:
Incorporating graceful degradation into embedded system design
2009 Design, Automation and Test in Europe Conference and Exhibition, DATE '09 (Nice, 20. April 2009 - 24. April 2009)
In: Proceedings of Design, Automation and Test in Europe (DATE 2009) 2009
URL: https://www.scopus.com/inward/record.url?partnerID=HzOxMe3b&scp=70350062092&origin=inward
BibTeX: Download - Keinert J., Dutta H., Hannig F., Haubelt C., Teich J.:
Model-based synthesis and optimization of static multi-rate image processing algorithms
2009 Design, Automation and Test in Europe Conference and Exhibition, DATE '09 (Nice, 20. April 2009 - 24. April 2009)
In: Proceedings of Design, Automation and Test in Europe (DATE 2009) 2009
URL: https://www.scopus.com/inward/record.url?partnerID=HzOxMe3b&scp=70350072695&origin=inward
BibTeX: Download - Keinert J., Haubelt C., Teich J.:
Data Flow Based System Level Design and Analysis of Concurrent Image Processing Applications
DATE'09 Workshop on Designing for Embedded Parallel Computing Platforms: Architectures, Design Tools, and Applications (Nice)
In: Proceedings of DATE'09 Workshop on Designing for Embedded Parallel Computing Platforms: Architectures, Design Tools, and Applications 2009
BibTeX: Download - Keinert J., Streubühr M., Schlichter T., Falk J., Gladigau J., Teich J., Haubelt C., Meredith M.:
SYSTEMCODESIGNER - An Automatic ESL Synthesis Approach by Design Space Exploration and Behavioral Synthesis for Streaming Applications
In: ACM Transactions on Design Automation of Electronic Systems 14 (2009), p. 1-23
ISSN: 1084-4309
DOI: 10.1145/1455229.1455230
BibTeX: Download - Lukasiewycz M., Streubühr M., Glaß M., Haubelt C., Teich J.:
Combined system synthesis and communication architecture exploration for MPSoCs
2009 Design, Automation and Test in Europe Conference and Exhibition, DATE '09 (Nice, 20. April 2009 - 24. April 2009)
In: Proceedings of Design, Automation and Test in Europe (DATE 2009) 2009
URL: https://www.scopus.com/inward/record.url?partnerID=HzOxMe3b&scp=70350043908&origin=inward
BibTeX: Download - Streubühr M.:
Model-based Virtual Prototyping for Automotive Applications
3rd Chinese-German Summer School (Erlangen)
In: Proceedings of the 3rd Chinese-German Summer School 2009
BibTeX: Download - Streubühr M., Gladigau J., Haubelt C., Teich J.:
Efficient approximately-timed performance modeling for architectural exploration of MPSoCs
2009 Forum on Specification and Design Languages, FDL 2009 (Sophia Antipolis, 22. September 2009 - 24. September 2009)
In: Forum on specification and Design Languages 2009 2009
URL: https://www.scopus.com/inward/record.url?partnerID=HzOxMe3b&scp=77951563792&origin=inward
BibTeX: Download - Streubühr M., Haubelt C., Teich J.:
System Level Performance Simulation for Heterogeneous Multi-Processor Architectures
1st HiPEAC Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools (RAPIDO), in conjunction with the 4th HiPEAC Conference (Paphos, 25. January 2009 - 25. January 2009)
In: 1st HiPEAC Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools (RAPIDO), in conjunction with the 4th HiPEAC Conference 2009
BibTeX: Download - Streubühr M., Jäntsch M., Haubelt C., Teich J.:
From Model-based Design to Virtual Prototypes for Automotive Applications
Embedded World Conference (Nuremberg, 3. March 2009 - 5. March 2009)
In: Proceedings of the Embedded World Conference 2009
BibTeX: Download
2008
- Dorsch R., Haubelt C., Teich J.:
Entdecke die Möglichkeiten
In: Design & Elektronik (2008), p. 22-27
ISSN: 0933-8667
BibTeX: Download - Falk J., Keinert J., Haubelt C., Teich J., Bhattacharyya SS.:
A Generalized Static Data Flow Clustering Algorithm for MPSoC Scheduling of Multimedia Applications
8th ACM & IEEE international conference on Embedded software (EMSOFT'2008) (Atlanta, Georgia, 20. October 2008 - 22. October 2008)
In: Proc. of the 8th ACM & IEEE international conference on Embedded software (EMSOFT'2008) 2008
BibTeX: Download - Gladigau J., Haubelt C., Niemann B., Teich J.:
Mapping Actor-Oriented Models to TLM Architectures
Forum on specification and Design Languages 2007 (Barcelona, 18. September 2007 - 20. September 2007)
In: Proceedings FDL'07, Forum on specification and Design Languages 2007 2008
BibTeX: Download - Glaß M., Lukasiewycz M., Reimann F., Haubelt C., Teich J.:
Symbolic reliability analysis and optimization of ECU networks
Design, Automation and Test in Europe, DATE 2008 (Munich, 10. April 2008 - 14. April 2008)
In: Proceedings of Design, Automation and Test in Europe (DATE 2008) 2008
DOI: 10.1109/DATE.2008.4484679
BibTeX: Download - Glaß M., Lukasiewycz M., Reimann F., Haubelt C., Teich J.:
Symbolic reliability analysis of self-healing networked embedded systems
27th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2008 (Newcastle upon Tyne, 22. September 2008 - 25. September 2008)
In: Proceedings of the 27th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2008) 2008
DOI: 10.1007/978-3-540-87698-4_14
BibTeX: Download - Glaß M., Lukasiewycz M., Wanka R., Haubelt C., Teich J.:
Multi-objective routing and topology optimization in networked embedded systems
Int. Conf. on Embedded Computer Systems: Architectures, Modeling, and Simulation (IC-SAMOS) (Samos)
In: Proc. 8th Int. Conf. on Embedded Computer Systems: Architectures, Modeling, and Simulation (IC-SAMOS) 2008
DOI: 10.1109/ICSAMOS.2008.4664849
BibTeX: Download - Haubelt C., Schlichter T., Keinert J., Meredith M.:
SystemCoDesigner: Automatic design space exploration and rapid prototyping from behavioral models
45th Design Automation Conference, DAC (Anaheim, CA, 8. June 2008 - 13. June 2008)
In: Proceedings of 2008 ACM/EDAC/IEEE Design Automation Conference (DAC 2008) 2008
DOI: 10.1109/DAC.2008.4555883
BibTeX: Download - Keinert J., Haubelt C., Teich J.:
Synthesis of multi-dimensional high-speed FIFOs for out-of-order communication
21st International Conference on Architecture of Computing Systems, ARCS 2008 (Dresden, 25. February 2008 - 28. February 2008)
In: Proceedings of the International Conference on Architecture of Computing Systems (ARCS 2008) 2008
DOI: 10.1007/978-3-540-78153-0_11
BibTeX: Download - Keinert J., Haubelt C., Teich J.:
Automatic Synthesis of Design Alternatives for Fast Stream-Based Out-of-Order Communication
2008 IFIP/IEEE WG 10.5 International Conference on Very Large Scale Integration, (VLSI-SoC 2008) (Rhodes Island, 13. October 2008 - 15. October 2008)
In: Proceedings of the 2008 IFIP/IEEE WG 10.5 International Conference on Very Large Scale Integration, (VLSI-SoC 2008) 2008
BibTeX: Download - Lukasiewycz M., Glaß M., Haubelt C., Teich J., Regler R., Lang B.:
Concurrent topology and routing optimization in automotive network integration
45th Design Automation Conference, DAC (Anaheim, CA, 8. June 2008 - 13. June 2008)
In: Proceedings of the 2008 ACM/EDAC/IEEE Design Automation Conference (DAC 2008) 2008
DOI: 10.1109/DAC.2008.4555893
BibTeX: Download - Reimann F., Glaß M., Lukasiewycz M., Keinert J., Haubelt C., Teich J.:
Symbolic voter placement for dependability-aware system synthesis
Embedded Systems Week 2008 - 6th IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2008 (Atlanta, GA, 19. October 2008 - 24. October 2008)
In: Proceedings of the 6th International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS) 2008
DOI: 10.1145/1450135.1450190
BibTeX: Download - Streubühr M., Jäntsch M., Haubelt C., Teich J., Schneider A.:
Semi-Automatic Generation of mixed Hardware-Software Prototypes from Simulink Models
11. GI/ITG/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (Freiburg, 3. March 2008 - 5. March 2008)
In: 11. GI/ITG/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen 2008
BibTeX: Download - Zebelein C., Falk J., Haubelt C., Teich J.:
Classification of general data flow actors into known models of computation
6th ACM and IEEE International Conference on Formal Methods and Models for Co-Design, MEMOCODE'08 (Anaheim, CA, 5. July 2008 - 7. July 2008)
In: Proc. of the Sixth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2008) 2008
DOI: 10.1109/MEMCOD.2008.4547699
BibTeX: Download
2007
- Haubelt C., Falk J., Keinert J., Schlichter T., Streubühr M., Deyhle A., Hadert A., Teich J.:
A SystemC-based Design Methodology for Digital Signal Processing Systems
In: EURASIP Journal on Embedded Systems 2007 (2007), p. Article ID 47580, 22 pages
ISSN: 1687-3955
DOI: 10.1155/2007/47580
BibTeX: Download - Keinert J., Falk J., Haubelt C., Teich J.:
Actor-oriented modeling and simulation of sliding window image processing algorithms
2007 5th Workshop on Embedded Systems for Real-Time Multimedia, ESTIMedia 2007 (Salzburg, 4. October 2007 - 5. October 2007)
In: Proceedings of the 2007 IEEE/ACM/IFIP Workshop of Embedded Systems for Real-Time Multimedia (ESTIMEDIA 2007) 2007
DOI: 10.1109/ESTMED.2007.4375815
BibTeX: Download - Keinert J., Haubelt C., Teich J.:
Simulative buffer analysis of local image processing algorithms described by windowed synchronous data flow
2007 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation, IC-SAMOS 2007 (Samos, 16. July 2007 - 19. July 2007)
In: Proceedings of the International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation, Acoustics, Speech, and Signal Processing (IC-SAMOS VII) 2007
DOI: 10.1109/ICSAMOS.2007.4285747
BibTeX: Download - Streichert T., Glaß M., Haubelt C., Teich J.:
Design space exploration of reliable networked embedded systems
In: Journal of Systems Architecture 53 (2007), p. 751-763
ISSN: 1383-7621
DOI: 10.1016/j.sysarc.2007.01.005
BibTeX: Download - Streubühr M., Riedel C., Haubelt C., Teich J.:
System Level Modeling and Performance Simulation for Dynamic Reconfigurable Computing Systems in SystemC
10. Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (Erlangen, 5. March 2007 - 7. March 2007)
In: Proceedings of 10. Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" 2007
BibTeX: Download - Glaß M., Lukasiewycz M., Streichelt T., Haubelt C., Teich J.:
Reliability-aware system synthesis
2007 Design, Automation and Test in Europe Conference and Exhibition (Nice Acropolis, 16. April 2007 - 20. April 2007)
In: Proceedings of Design, Automation and Test in Europe (DATE 2007) 2007
DOI: 10.1109/DATE.2007.364626
BibTeX: Download
2006
- Haubelt C., Schlichter T., Teich J.:
Improving Automatic Design Space Exploration by Integrating Symbolic Techniques into Multi-Objective Evolutionary Algorithms
In: International Journal of Computational Intelligence Research 2 (2006), p. 239-254
ISSN: 0973-1873
BibTeX: Download - Schlichter T., Lukasiewycz M., Haubelt C., Teich J.:
Improving system level design space exploration by incorporating SAT-solvers into multi-objective evolutionary algorithms
IEEE Computer Society Annual Symposium on Emerging VLSI Technologies and Architectures 2006 (Klarlsruhe, 2. March 2006 - 3. March 2006)
In: Proceedings of IEEE Computer Society Annual Symposium on VLSI. Karlsruhe 2006
DOI: 10.1109/ISVLSI.2006.57
BibTeX: Download - Streubühr M., Falk J., Teich J., Haubelt C., Dorsch R., Schlipf T.:
Task-accurate performance modeling in SystemC for real-time multi-processor architectures
Design, Automation and Test in Europe, DATE'06 (Munich, 6. March 2006 - 10. March 2006)
In: Proceedings of Design, Automation and Test in Europe (DATE 2006), IEEE Computer Society 2006
URL: https://www.scopus.com/inward/record.url?partnerID=HzOxMe3b&scp=34047100936&origin=inward
BibTeX: Download
2005
- Haubelt C.:
Automatic Model-Based Design Space Exploration for Embedded Systems - A System Level Approach (Dissertation, 2005)
BibTeX: Download - Haubelt C., Gamenik J., Teich J.:
Initial Population Construction for Convergence Improvement of MOEAs
In: Carlos A. Coello Coello, Arturo Hernández Aguirre, and Eckart Zitzler (ed.): Evolutionary Multi-Criterion Optimization, Springer, 2005, p. 191-205 (Lecture Notes in Computer Science, Vol.3410)
BibTeX: Download - Haubelt C., Otto S., Grabbe C., Teich J.:
A system-level approach to hardware reconfigurable systems
2005 Asia and South Pacific Design Automation Conference, ASP-DAC 2005 (Shanghai, 18. January 2005 - 21. January 2005)
In: Proceedings of Asia and South Pacific Design Automation Conference (ASP-DAC'05) 2005
URL: https://www.scopus.com/inward/record.url?partnerID=HzOxMe3b&scp=84861440285&origin=inward
BibTeX: Download - Schlichter T., Hannig F., Haubelt C., Teich J.:
Using symbolic feasibility tests during design space exploration of heterogeneous multi-processor systems
IEEE 16th International Conference on Application-Specific Systems, Architectures, and Processors, ASAP 2005 (Samos)
In: Proceedings of Application-specific Systems, Architectures and Processors (ASAP) 2005
DOI: 10.1109/ASAP.2005.64
BibTeX: Download - Schlichter T., Haubelt C., Teich J.:
Improving EA-based design space exploration by utilizing symbolic feasibility tests
GECCO 2005 - Genetic and Evolutionary Computation Conference (Washington, D.C., 25. June 2005 - 29. June 2005)
In: Beyer H.G.; O'Reilly U.M.; Arnold D.; Banzhaf W.; Blum C.; Bonabeau E.W.; Cantu-Paz E.; Dasgupta D.; Deb K.; et al (ed.): Proceedings of Genetic and Evolutionary Computation Conference (GECCO) 2005
DOI: 10.1145/1068009.1068336
BibTeX: Download
2004
- Haubelt C.:
Design Space Exploration for Distributed Hardware Reconfigurable Systems
In: Jürgen Becker, Marco Platzner, and Serge Vernalde (ed.): Field-Programmable Logic and Applications, Berlin, Heidelberg: Springer, 2004, p. 1171 (Lecture Notes in Computer Science, Vol.3203)
BibTeX: Download
2003
- Haubelt C., Mostaghim S., Slomka F., Teich J., Tyagi A.:
Hierachical Synthesis of Embedded Systems Using Evolutionary Algorithms
In: Drechsler, R. and Drechsler, N (ed.): Evolutionary Algorithms in System Design, Boston, Dordrecht, London: Kluwer Academic Publishers, 2003, p. 63-104 (Genetic Algorithms and Evolutionary Computation (GENA))
BibTeX: Download - Haubelt C., Teich J.:
Accelerating Design Space Exploration
5th International Conference on ASIC (ASICON 2003) (Beijing, 21. October 2003 - 24. October 2003)
In: Proceedings of 5th International Conference on ASIC (ASICON 2003) 2003
BibTeX: Download - Haubelt C., Teich J.:
Accelerating design space exploration using Pareto-front arithmetics [SoC design]
Asia and South Pacific Design Automation Conference, ASP-DAC 2003 (Kitakyushu, 21. January 2003 - 24. January 2003)
In: Proceedings ASP-DAC 2003, Asia and South Pacific Design Automation Conference 2003
DOI: 10.1109/ASPDAC.2003.1195073
BibTeX: Download - Teich J., Haubelt C., Mostaghim S., Tyagi A.:
Solving hierarchical optimization problems using MOEAs
In: Carlos M. Fonseca, Peter J. Fleming, Eckart Zitzler, Kalyanmoy Deb, and Lothar Thiele (ed.): Evolutionary Multi-Criterion Optimization, Berlin, Heidelberg, New York: Springer, 2003, p. 162-176 (Lecture Notes in Computer Science, Vol.2632)
URL: https://www.scopus.com/inward/record.url?partnerID=HzOxMe3b&scp=35248891516&origin=inward
BibTeX: Download