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 11 Issue 4, December 2012

Introduction to special section ESTIMedia'09
Andy D. Pimentel, Naehyuck Chang, Mladen Berekovic
Article No.: 70
DOI: 10.1145/2362336.2362337

Variability-tolerant workload allocation for MPSoC energy minimization under real-time constraints
Francesco Paterna, Andrea Acquaviva, Francesco Papariello, Giuseppe Desoli, Luca Benini
Article No.: 71
DOI: 10.1145/2362336.2362338

Sub-50nm CMOS technologies are affected by significant variability, which causes power and performance variations among nominally similar cores in MPSoC platforms. This undesired heterogeneity threatens execution predictability and energy...

A high-throughput pipelined parallel architecture for JPEG XR encoding
Hiroshi Tsutsui, Koichi Hattori, Hiroyuki Ochi, Yukihiro Nakamura
Article No.: 72
DOI: 10.1145/2362336.2362339

JPEG XR is an emerging image coding standard, based on HD Photo developed by Microsoft Corporation. It supports high compression performance twice as high as the de facto image coding system, namely, JPEG, and also has an advantage over JPEG 2000...

xTune: A formal methodology for cross-layer tuning of mobile embedded systems
Minyoung Kim, Mark-Oliver Stehr, Carolyn Talcott, Nikil Dutt, Nalini Venkatasubramanian
Article No.: 73
DOI: 10.1145/2362336.2362340

Resource-limited mobile embedded systems can benefit greatly from dynamic adaptation of system parameters. We propose a novel approach that employs iterative tuning using lightweight formal verification at runtime with feedback for dynamic...

Introduction to special section SCPS'09
Robert Dick, Li Shang, Nikil Dutt
Article No.: 74
DOI: 10.1145/2362336.2362341

A passivity approach for model-based compositional design of networked control systems
Xenofon Koutsoukos, Nicholas Kottenstette, Joseph Hall, Emeka Eyisi, Heath Leblanc, Joseph Porter, Janos Sztipanovits
Article No.: 75
DOI: 10.1145/2362336.2362342

The integration of physical systems through computing and networking has become pervasive, a trend now known as cyber-physical systems (CPS). Functionality in CPS emerges from the interaction of networked computational and physical objects. System...

Control-theoretic cyber-physical system modeling and synthesis: A case study of an active direct methanol fuel cell
Donghwa Shin, Jaehyun Park, Younghyun Kim, Jaeam Seo, Naehyuck Chang
Article No.: 76
DOI: 10.1145/2362336.2362343

A joint optimization of the physical system and the cyber world is one of the key problems in the design of a cyber-physical system (CPS). The major mechanical forces and/or chemical reactions in a plant are commonly modified by actuators in the...

System-level approach to the design of a smart distributed surveillance system using systemj
Avinash Malik, Zoran Salcic, Christopher Chong, Salman Javed
Article No.: 77
DOI: 10.1145/2362336.2362344

Distributed surveillance systems represent a class of sensor networks used for object location and tracking, road traffic monitoring, security, and other purposes. They are very complex to describe, design, and run. Because of their sensitivity,...

Implementing constrained cyber-physical systems with IEC 61499
Li Hsien Yoong, Partha S. Roop, Zoran Salcic
Article No.: 78
DOI: 10.1145/2362336.2362345

Cyber-physical systems (CPS) are integrations of computation and control with sensing and actuation of the physical environment. Typically, such systems consist of embedded computers that monitor and control physical processes in a feedback loop....

A goal-oriented programming framework for grid sensor networks with reconfigurable embedded nodes
Varun Subramanian, Michael Gilberti, Alex Doboli, Dan Pescaru
Article No.: 79
DOI: 10.1145/2362336.2362346

Cyber-physical systems (CPS) are large, distributed embedded systems integrated with various sensors and actuators. CPS are rapidly emerging as an important computing paradigm in many modern applications. Developing CPS applications is currently...

Adaptive calibration for fusion-based cyber-physical systems
Rui Tan, Guoliang Xing, Xue Liu, Jianguo Yao, Zhaohui Yuan
Article No.: 80
DOI: 10.1145/2362336.2362347

Many Cyber-Physical Systems (CPS) are composed of low-cost devices that are deeply integrated with physical environments. As a result, the performance of a CPS system is inevitably undermined by various physical uncertainties, which include...

Modeling towards incremental early analyzability of networked avionics systems using virtual integration
Min-Young Nam, Kyungtae Kang, Rodolfo Pellizzoni, Kyung-Joon Park, Jung-Eun Kim, Lui Sha
Article No.: 81
DOI: 10.1145/2362336.2362348

With the advance of hardware technology, more features are incrementally added to already existing networked systems. Avionics has a stronger tendency to use preexisting applications due to its complexity and scale. As resource sharing becomes...

Robust architectures for embedded wireless network control and actuation
Miroslav Pajic, Alexander Chernoguzov, Rahul Mangharam
Article No.: 82
DOI: 10.1145/2362336.2362349

Networked cyber-physical systems are fundamentally constrained by the tight coupling and closed-loop control of physical processes. To address actuation in such closed-loop wireless control systems there is a strong need to rethink the...

Overload provisioning in mixed-criticality cyber-physical systems
Karthik Lakshmanan, Dionisio De Niz, Ragunathan (RAJ) Rajkumar, Gabriel Moreno
Article No.: 83
DOI: 10.1145/2362336.2362350

Cyber-physical systems are an emerging class of applications that require tightly coupled interaction between the computational and physical worlds. These systems are typically realized using sensor/actuator interfaces connected with processing...

Conformance testing for cyber-physical systems
Matthias Woehrle, Kai Lampka, Lothar Thiele
Article No.: 84
DOI: 10.1145/2362336.2362351

Cyber-Physical Systems (CPS) require a high degree of reliability and robustness. Hence it is important to assert their correctness with respect to extra-functional properties, like power consumption, temperature, etc. In turn the physical...

Optimization of task allocation and priority assignment in hard real-time distributed systems
Qi Zhu, Haibo Zeng, Wei Zheng, Marco DI Natale, Alberto Sangiovanni-Vincentelli
Article No.: 85
DOI: 10.1145/2362336.2362352

The complexity and physical distribution of modern active safety, chassis, and powertrain automotive applications requires the use of distributed architectures. Complex functions designed as networks of function blocks exchanging signal...

Adaptive real-time scheduling for legacy multimedia applications
Tommaso Cucinotta, Fabio Checconi, Luca Abeni, Luigi Palopoli
Article No.: 86
DOI: 10.1145/2362336.2362353

Multimedia applications are often executed on standard personal computers. The absence of established standards has hindered the adoption of real-time scheduling solutions in this class of applications. Developers have adopted a wide range of...

Robust image processing for an omnidirectional camera-based smart car door
Christian Scharfenberger, Samarajiit Chakraborty, Georg Färber
Article No.: 87
DOI: 10.1145/2362336.2362354

Over the last decade, there has been an increasing emphasis on driver-assistance systems for the automotive domain. In this article, we report our work on designing a camera-based surveillance system embedded in a “smart” car door....

Combining code reordering and cache configuration
Ann Gordon-Ross, Frank Vahid, Nikil Dutt
Article No.: 88
DOI: 10.1145/2362336.2399177

The instruction cache is a popular optimization target due to the cache's high impact on system performance and power and because of the cache's predictable temporal and spatial locality. This article is an in depth study on the interaction of...

Enabling dynamic binary translation in embedded systems with scratchpad memory
José A. Baiocchi, Bruce R. Childers, Jack W. Davidson, Jason D. Hiser
Article No.: 89
DOI: 10.1145/2362336.2399178

Important challenges for embedded systems can be addressed by dynamic binary translation. A dynamic binary translator stores translated instructions in a software-managed code cache, which is usually large to minimize overhead. This article shows...