초록 ▼

Hardware-software co-synthesis of an embedded system requires mapping of its specifications into hardware and software modules such that its real-time and other constraints are met. Embedded system specifications are generally represented by acyclic task graphs. Many embedded system applications are

Hardware-software co-synthesis of an embedded system requires mapping of its specifications into hardware and software modules such that its real-time and other constraints are met. Embedded system specifications are generally represented by acyclic task graphs. Many embedded system applications are characterized by aperiodic as well as periodic task graphs. Aperiodic task graphs can arrive for execution at any time and their resource requirements vary depending on how their constituent tasks and edges are allocated. Traditional approaches based on a fixed architecture coupled with slack stealing and/or on-line determination of how to serve aperiodic task graphs are not suitable for embedded systems with hard real-time constraints, since they cannot guarantee that such constraints would always be met. The present invention addresses the problem of concurrent co-synthesis of aperiodic and periodic specifications of embedded systems. The algorithm estimates the resource requirements of aperiodic task graphs and allocates execution slots on processing elements and communication links for executing them. The present approach guarantees that the deadlines of both aperiodic and periodic task graphs are always met. Simultaneous consideration of aperiodic task graphs while performing co-synthesis of periodic task graphs is vital for achieving superior results compared to the traditional slack stealing and dynamic scheduling approaches. This is the first co-synthesis algorithm that provides simultaneous support of periodic and aperiodic task graphs with hard real-time constraints. Application of the proposed algorithm to several examples from real-life telecom transport systems shows that up to 28% and 34% system cost savings are possible over co-synthesis algorithms which employ slack stealing and rate-monotonic scheduling, respectively.

대표청구항 ▼

[ What is claimed is:] [1.] A method for designing the architecture of an embedded system, comprising:(a) a pre-processing phase comprising the step of parsing one or more aperiodic task graphs, one or more system/task constraints, and a resource library for the embedded system; and(b) a synthesis p

[ What is claimed is:] [1.] A method for designing the architecture of an embedded system, comprising:(a) a pre-processing phase comprising the step of parsing one or more aperiodic task graphs, one or more system/task constraints, and a resource library for the embedded system; and(b) a synthesis phase, following the pre-processing phase, comprising the step of allocating one or more groups of one or more tasks in the aperiodic task graphs to one or more processing elements (PEs) in the resource library and allocating one or more edges in the aperiodic tasks graphs to one or more communication links in the resource library, based on performance evaluation of one or more possible allocations for each of the groups and edges in light of the system/task constraints, wherein the aperiodic task graphs have hard real-time constraints and deadlines for the aperiodic task graphs are always met.