| emsoft | participants

EMSOFT 2008: 8th ACM & IEEE International Conference on Embedded Software

chair:
Luca de Alfaro
cochair:
Jens Palsberg
Committee:
see below
where:
Atlanta, GA, USA
published:
ACM

Abstraction and Verification

Event Order Abstraction for Parametric Real-Time System Verification

Shinya Umeno

State Space Abstraction for Parameterized Self-Stabilizing Embedded Systems

Nikolaos D. Liveris, Hai Zhou, Robert P. Dick, and Prithviraj Banerjee

Flash Memory

µ-FTL: : a Memory-Efficient Flash Translation Layer Supporting Multiple Mapping Granularities

Yong-Goo Lee, Dawoon Jung, Dongwon Kang, and Jin-Soo Kim

A PRAM and NAND Flash Hybrid Architecture for High-Performance Embedded Storage Subsystems

Jin Kyu Kim, Hyung Gyu Lee, Shinho Choi, and Kyoung Il Bahng

Workload-Based Configuration of MEMS-Based Storage Devices for Mobile Systems

Mohammed G. Khatib, Ethan L. Miller, and Pieter H. Hartel

LTFTL: Lightweight Time-Shift Flash Translation Layer for Flash Memory Based Embedded Storage

Kyoungmoon Sun, Seungjae Baek, Jongmoo Choi, Donghee Lee, Sam H. Noh, and Sang Lyul Min

Modeling, Interfaces, and Simulation

Automatically Transforming and Relating Uppaal Models of Embedded Systems

Timothy Bourke and Arcot Sowmya

Model-Based Validation of QoS Properties of Biomedical Sensor Networks

Simon Tschirner, Liang Xuedong, and Wang Yi

Interface Theories with Component Reuse

Laurent Doyen, Thomas A. Henzinger, Barbara Jobstmann, and Tatjana Petrov

Symbolic Analysis for Improving Simulation Coverage of Simulink/Stateflow Models

Rajeev Alur, Aditya Kanade, S. Ramesh, and K. C. Shashidhar

Power

On the Interplay of Dynamic Voltage Scaling and Dynamic Power Management in Real-Time Embedded Applications

Vinay Devadas and Hakan Aydin

DBS4video: Dynamic Luminance Backlight Scaling Based on Multi-Histogram Frame Characterization for Video Streaming Application

Martino Ruggiero, Andrea Bartolini, and Luca Benini

Energy Efficient Streaming Applications with Guaranteed Throughput on MPSoCs

Jun Zhu, Ingo Sander, and Axel Jantsch

Scheduling

Wireless Channel Access Reservation for Embedded Real-Time Systems

Dinesh Rajan, Christian Poellabauer, Xiaobo Sharon Hu, Liqiang Zhang, and Kathleen Otten

Portioned EDF-Based Scheduling on Multiprocessors

Shinpei Kato and Nobuyuki Yamasaki

Scheduling Task Dependence Graphs with Variable Task Execution Times Onto Heterogeneous Multiprocessors

Nadathur Satish, Kaushik Ravindran, and Kurt Keutzer

RTComposer: a Framework for Real-Time Components with Scheduling Interfaces

Rajeev Alur and Gera Weiss

Static Techniques

Disassembling Real-Time Fault-Tolerant Programs

Borzoo Bonakdarpour, Sandeep S. Kulkarni, and Anish Arora

Cyclic Dependencies in Modular Performance Analysis

Bengt Jonsson, Simon Perathoner, Lothar Thiele, and Wang Yi

A Generalized Static Data Flow Clustering Algorithm for MPSoC Scheduling of Multimedia Applications

Joachim Falk, Joachim Keinert, Christian Haubelt, Jürgen Teich, and Shuvra S. Bhattacharyya

Compositional Analysis of Deadlock-Freedom for Tree-Like Component Architectures

Mila E. Majster-Cederbaum and Moritz Martens

Testing

Active Property Checking

Patrice Godefroid, Michael Y. Levin, and David A. Molnar

Randomized Directed Testing (REDIRECT) for Simulink/Stateflow Models

Manoranjan Satpathy, Anand Yeolekar, and S. Ramesh

Quantitative Testing

Henrik C. Bohnenkamp and Mariëlle Stoelinga

Virtual Machines, Compilers, Memory Management

Design and Implementation of a Framework for Creating Portable and Efficient Packet-Processing Applications

Olivier Morandi, Fulvio Risso, Silvio Valenti, and Paolo Veglia

Tax-and-Spend: Democratic Scheduling for Real-Time Garbage Collection

Joshua S. Auerbach, David F. Bacon, Perry Cheng, David Grove, Ben Biron, Charlie Gracie, Bill McCloskey, Aleksandar Micic, and Ryan Sciampacone

Volatiles are Miscompiled, and What to Do about It

Eric Eide and John Regehr

Scratchpad Memory Management in a Multitasking Environment

Bernhard Egger, Jaejin Lee, and Heonshik Shin

Program Committee