Corpus ID: 8753430

Automated Design Space Exploration on System Level for Embedded Systems

  title={Automated Design Space Exploration on System Level for Embedded Systems},
  author={Achim Rettberg and Wolfram Hardt and Jrgen Teich and Marcus Bednara},
The design of embedded systems has to address several interacting design dimensions to implement parallelism, distribution over different locations, hard real-time requirements and design space exploration today. Thus a structured design process has to deal with heterogeneous requirements and restrictions. The integration of dedicated tasks for HW-design and SW-design as well as real-time operating system functionality into the embedded system design flow is the main challenge. On system level… Expand
The Specification Language SpecC within the PARADISE Design Environment
This paper describes how system specification and refinement is covered in combination with the processes available in PARADISE, and an example of an adequate specification and modeling language is considered and adapted for integration intoPARADISE. Expand
Using Activation Intervals for Low Power Analysis
A new approach to integrate low power methods in a design on architectural level by starting from an asynchronous architecture presented as a data-flow graph, and an activation interval analysis is conducted. Expand
Embedded system design based on webservices
  • A. Rettberg, W. Thronicke
  • Engineering, Computer Science
  • Proceedings 2002 Design, Automation and Test in Europe Conference and Exhibition
  • 2002
This paper presents an approach to use webservices in the field of embedded system design in the domain of electronic design automation (EDA) industry. Expand
A fast asynchronous re-configurable architecture for multimedia applications
A fast re-configurable asynchronous architecture for multimedia applications that reflects the data-flow characteristics of such multimedia applications and first simulation results of VHDL models show, the effectiveness of the approach. Expand


The Paradise Design Environment
The design of embedded systems (ES) has to address several interacting design dimensions to implement parallelism, distribution over different locations, and hard real-time (RT) requirements, which leads to systems with enormous overall complexity. Expand
System-Level Synthesis Using Evolutionary Algorithms
A model is introduced that handles all mentioned requirements and allows the task of system-synthesis to be specified as an optimization problem and the application and adaptation of an Evolutionary Algorithm to solve the tasks of optimization and design space exploration. Expand
An automated approach to HW/SW-codesign (Hardware/software partitioning)
A pipelined interface for HW/SW partitioning is developed using the features of the target architecture and it has been pointed out that the efficiency of embedded systems is dramatically influenced by the interface between HW- and SW. Expand
The Design of Embedded Real-Time Systems using the SEA Environment
This paper proposes extended Predicate/Transition Nets (Pr/T{Nets), that have been enlarged so that complete models of complex embedded real-time systems, including continuous, discrete and interface parts, can be captured. Expand
Towards a complete design method for embedded systems using predicate/transition-nets
A new approach to embedded system design based on modeling discrete and also continuous system parts with high level Petri—Nets and their meaning for hardware/software partitioning of real-time embedded systems is presented. Expand
Complete worst-case execution time analysis of straight-line hard real-time programs
The problem of finding a tight estimate on the worst-case execution time (WCET) of a hard real-time program is addressed and a comprehensive timing analysis system covering both low-level (assembler instruction level) as well as high-level aspects (programming language level) is presented. Expand
The SEA Language for System Engineering and Animation
The hierarchical, graphical SEA Language is described, which allows to easily incorporate several user defined or standardized graphical symbols and their behaviour and a unified semantic basis for different graphical specification formalisms/techniques can be provided. Expand
System Modelling with High-Level Petri Nets
A linear-algebraic techniques for verifying invariant assertions are used, yielding a calculus of S-invariants for PrT-nets, and these modelling and analysis techniques are applied to a scheme for organizing a distributed data base taken from literature. Expand