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 3, April 2011

Application-specific service technologies for commodity operating systems in real-time environments
Richard West, Gabriel Parmer
Article No.: 30
DOI: 10.1145/1952522.1952523

In order to eliminate the costs of proprietary systems and special purpose hardware, many real-time and embedded computing platforms are being built on commodity operating systems and generic hardware. Unfortunately, many such systems are...

Nonutilization bounds and feasible regions for arbitrary fixed-priority policies
Xue Liu, Tarek Abdelzaher
Article No.: 31
DOI: 10.1145/1952522.1952524

Prior research on schedulability bounds focused primarily on bounding utilization/ as a means to meet deadline constraints. Nontrivial bounds were found for a handful of scheduling policies in which utilization is directly related to the...

Efficient hardware-based nonintrusive dynamic application profiling
Ajay Nair, Karthik Shankar, Roman Lysecky
Article No.: 32
DOI: 10.1145/1952522.1952525

Application profiling—the process of monitoring an application to determine the frequency of execution within specific regions—is an essential step within the design process for many software and hardware systems. Profiling is often a...

A framework for defending embedded systems against software attacks
Najwa Aaraj, Anand Raghunathan, Niraj K. Jha
Article No.: 33
DOI: 10.1145/1952522.1952526

The incidence of malicious code and software vulnerability exploits on embedded platforms is constantly on the rise. Yet, little effort is being devoted to combating such threats to embedded systems. Moreover, adapting security approaches designed...

Formal specification and analysis of zeroconf using uppaalS
Jasper Berendsen, Biniam Gebremichael, Frits W. Vaandrager, Miaomiao Zhang
Article No.: 34
DOI: 10.1145/1952522.1952527

The model checker Uppaal is used to formally model and analyze parts of Zeroconf, a protocol for dynamic configuration of IPv4 link-local addresses that has been defined in RFC 3927 of the IETF. Our goal has been to construct a model that (a) is...

Fast multidimension multichoice knapsack heuristic for MP-SoC runtime management
Ch. Ykman-Couvreur, V. Nollet, F. Catthoor, H. Corporaal
Article No.: 35
DOI: 10.1145/1952522.1952528

Since the application complexity is growing and applications can be dynamically activated, the major challenge for heterogeneous multiprocessor platforms is to select at runtime an energy-efficient mapping of these applications. Taking into...

A hybrid hardware--software technique to improve reliability in embedded processors
Roshan G. Ragel, Sri Parameswaran
Article No.: 36
DOI: 10.1145/1952522.1952529

Numerous methods have been described in research literature with methods to improve reliability of processors by the use of control-flow checking. High performance and code-size penalties cripple the proposed software approaches, while hardware...

Evaluating address register assignment and offset assignment algorithms
Johnny Huynh, José Nelson Amaral, Paul Berube, Sid-Ahmed-Ali Touati
Article No.: 37
DOI: 10.1145/1952522.1952530

In digital signal processors (DSPs), variables are accessed using k address registers. The problem of finding a memory layout, for a set of variables, that minimizes the address-computation overhead is known as the General Offset Assignment...

Closed-loop--based self-adaptive Hardware/Software-Embedded systems: Design methodology and smart cam case study
Jean-Philippe Diguet, Yvan Eustache, Guy Gogniat
Article No.: 38
DOI: 10.1145/1952522.1952531

This article presents our methodology for implementing self-adaptivness within an OS-based and reconfigurable embedded system according to objectives such as quality of service, performance, or power consumption. We detail our approach to separate...