ACM DL

Embedded Computing Systems (TECS)

Menu

Search Issue
enter search term and/or author name

Archive


ACM Transactions on Embedded Computing Systems (TECS), Volume 10 Issue 2, December 2010

Editorial: Model-driven embedded-system design
Twan Basten, Rolf Ernst
Article No.: 15
DOI: 10.1145/1880050.1880051

Synchronous dataflow scenarios
Marc Geilen
Article No.: 16
DOI: 10.1145/1880050.1880052

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
DOI: 10.1145/1880050.1880053

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
DOI: 10.1145/1880050.1880054

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...

Sysfier: Actor-based formal verification of SystemC
Niloofar Razavi, Razieh Behjati, Hamideh Sabouri, Ehsan Khamespanah, Amin Shali, Marjan Sirjani
Article No.: 19
DOI: 10.1145/1880050.1880055

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
DOI: 10.1145/1880050.1880056

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
DOI: 10.1145/1880050.1880057

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
DOI: 10.1145/1880050.1880058

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
DOI: 10.1145/1880050.1880059

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
DOI: 10.1145/1880050.1880060

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
DOI: 10.1145/1880050.1880061

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
Dakai Zhu
Article No.: 26
DOI: 10.1145/1880050.1880062

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...

Tightening the bounds on feasible preemptions
Harini Ramaprasad, Frank Mueller
Article No.: 27
DOI: 10.1145/1880050.1880063

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
DOI: 10.1145/1880050.1880064

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...

Call for papers: Deadline: march 15, 2011
Montek Singh, Steven M. Nowick
Article No.: 29
DOI: 10.1145/1880050.1880065