enter search term and/or author name
The Synchronous Dataflow (SDF) model of computation by Lee and Messerschmitt has become popular for modeling concurrent applications on a multiprocessor platform. It is used to obtain a guaranteed, predictable performance. The model, on the other...
Buffer capacity computation for throughput-constrained modal task graphs
Maarten H. Wiggers, Marco J. G. Bekooij, Gerard J. M. Smit
Article No.: 17
Increasingly, stream-processing applications include complex control structures to better adapt to changing conditions in their environment. This adaptivity often results in task execution rates that are dependent on the processed stream. Current...
Analysis of SystemC actor networks for efficient synthesis
Joachim Falk, Christian Zebelein, Joachim Keinert, Christian Haubelt, Juergen Teich, Shuvra S. Bhattacharyya
Article No.: 18
Applications in the signal processing domain are often modeled by dataflow graphs. Due to heterogeneous complexity requirements, these graphs contain both dynamic and static dataflow actors. In previous work, we presented a generalized clustering...
SystemC is a system-level modeling language that can be used effectively for hardware/software co-design. Since a major goal of SystemC is to enable verification at higher levels of abstraction, the tendency is now directing to introducing formal...
Component-based modeling and verification of dynamic adaptation in safety-critical embedded systems
Rasmus Adler, Ina Schaefer, Mario Trapp, Arnd Poetzsch-Heffter
Article No.: 20
Adaptation is increasingly used in the development of safety-critical embedded systems, in particular to reduce hardware needs and to increase availability. However, composing a system from many reconfigurable components can lead to a huge number...
Managing embedded systems complexity with aspect-oriented model-driven engineering
Cormac Driver, Sean Reilly, Éamonn Linehan, Vinny Cahill, Siobhán Clarke
Article No.: 21
Model-driven engineering addresses issues of platform heterogeneity and code quality through the use of high-level system models and subsequent automatic transformations. Adoption of the model-driven software engineering paradigm for embedded...
Real-time performance analysis of multiprocessor systems with shared memory
Simon Schliecker, Rolf Ernst
Article No.: 22
Predicting timing behavior is key to reliable real-time system design and verification, but becomes increasingly difficult for current multiprocessor systems on chip. The integration of formerly separate functionality into a single multicore...
Dynamic alteration schemes of real-time schedules for I/O device energy efficiency
Euiseong Seo, Sangwon Kim, Seonyeong Park, Joonwon Lee
Article No.: 23
Many I/O devices provide multiple power states known as the dynamic power management (DPM) feature. However, activating from sleep state requires significant transition time and this obstructs utilizing DPM in nonpreemptive real-time systems. This...
Boosting software fault injection for dependability analysis of real-time embedded applications
Gianpiero Cabodi, Marco Murciano, Massimo Violante
Article No.: 24
The design of complex embedded systems deployed in safety-critical or mission-critical applications mandates the availability of methods to validate the system dependability across the whole design flow. In this article we introduce a fault...
Parametric timing analysis and its application to dynamic voltage scaling
Sibin Mohan, Frank Mueller, Michael Root, William Hawkins, Christopher Healy, David Whalley, Emilio Vivancos
Article No.: 25
Embedded systems with real-time constraints depend on a priori knowledge of worst-case execution times (WCETs) to determine if tasks meet deadlines. Static timing analysis derives bounds on WCETs but requires statically known loop bounds....
Reliability-aware dynamic energy management in dependable embedded real-time systems
Article No.: 26
Recent studies show that voltage scaling, which is an efficient energy management technique, has a direct and negative effect on system reliability because of the increased rate of transient faults (e.g., those induced by cosmic particles). In...
Data caches are an increasingly important architectural feature in most modern computer systems. They help bridge the gap between processor speeds and memory access times. One inherent difficulty of using data caches in a real-time system is the...
Scratchpad memory allocation for data aggregates via interval coloring in superperfect graphs
Lian Li, Jingling Xue, Jens Knoop
Article No.: 28
Existing methods place data or code in scratchpad memory (SPM) by relying on heuristics or resorting to integer programming or mapping it to a graph-coloring problem. In this article, the SPM allocation problem for arrays is formulated as an...