EMSOFT'08 Table of Contents


Foreword
Luca de Alfaro (University of California, Santa Cruz)
Jens Palsberg (University of California, Los Angeles)

Organization

Author Index

Session 1: Abstraction and Verification 
Session Chair: Luca de Alfaro (University of California at Santa Cruz)

Event Order Abstraction for Parametric Real-Time System Verification (Page 1)
Shinya Umeno (Massachusetts Institute of Technology)

State Space Abstraction for Parameterized Self-Stabilizing Embedded Systems (Page 11)
Nikolaos Liveris (Northwestern University)
Hai Zhou (Northwestern University)
Robert P. Dick (Northwestern University)
Prithviraj Banerjee (Hewlett-Packard Laboratories)

Session 2: Flash Memory 
Session Chair: Christoph Kirsch (University of Salzburg)

μ-FTL: A Memory-Efficient Flash Translation Layer Supporting Multiple Mapping Granularities (Page 21)
Yong-Goo Lee (Korea Advanced Institute of Science and Technology)
Dawoon Jung (Korea Advanced Institute of Science and Technology)
Dongwon Kang (Korea Advanced Institute of Science and Technology)
Jin-Soo Kim (Korea Advanced Institute of Science and Technology)

A PRAM and NAND Flash Hybrid Architecture for High-Performance Embedded Storage Subsystems (Page 31)
Jin Kyu Kim (Samsung Electronics Co. LTD.)
Hyung Gyu Lee (Samsung Electronics Co. LTD.)
Shinho Choi (Samsung Electronics Co. LTD.
Kyoung Il Bahng (Samsung Electronics Co. LTD.)

Workload-Based Configuration of MEMS-Based Storage Devices for Mobile Systems (Page 41)
Mohammed G. Khatib (University of Twente)
Ethan L. Miller (University of California at Santa Cruz)
Pieter H. Hartel (University of Twente)

LTFTL: Lightweight Time-Shift Flash Translation Layer for Flash Memory Based Embedded Storage (Page 51)
Kyoungmoon Sun (Dankook University)
Seungjae Baek (Dankook University)
Jongmoo Choi (Dankook University)
Donghee Lee (University of Seoul)
Sam H. Noh (Hongik University)
Sang Lyul Min (Seoul National University)

(Return to Top)

Session 3: Modeling, Interfaces, and Simulation 
Session Chair: Christopher Gill (Washington University)

Automatically Transforming and Relating Uppaal Models of Embedded Systems (Page 59)
Timothy Bourke (University of New South Wales and NICTA)
Arcot Sowmya (University of New South Wales)

Model-Based Validation of QoS Properties of Biomedical Sensor Networks (Page 69)
Simon Tschirner (Uppsala University)
Liang Xuedong (Rikshospitalet University Hospital and University of Oslo)
Wang Yi (Uppsala University)

Interface Theories with Component Reuse (Page 79)
Laurent Doyen (Ecole Polytechnique Federale de Lausanne)
Thomas A. Henzinger (Ecole Polytechnique Federale de Lausanne)
Barbara Jobstmann (Ecole Polytechnique Federale de Lausanne)
Tatjana Petrov (Ecole Polytechnique Federale de Lausanne)

Symbolic Analysis for Improving Simulation Coverage of Simulink/Stateflow Models (Page 89)
Rajeev Alur (University of Pennsylvania)
Aditya Kanade (University of Pennsylvania)
S. Ramesh (GM India Science Laboratory)
K.C. Shashidhar (GM India Science Laboratory)

Session 4: Power 
Session Chair: Y. N. Srikant (Indian Institute of Science)

On the Interplay of Dynamic Voltage Scaling and Dynamic Power Management in Real-Time Embedded Applications (Page 99)
Vinay Devadas (George Mason University)
Hakan Aydin (George Mason University)

DBS4video: Dynamic Luminance Backlight Scaling Based on Multi-Histogram Frame Characterization for Video Streaming Application (Page 109)
Martino Ruggiero (University of Bologna)
Andrea Bartolini (University of Bologna)
Luca Benini (University of Bologna)

Energy Efficient Streaming Applications with Guaranteed Throughput on MPSoCs (Page 119)
Jun Zhu (Royal Institute of Technology, Stockholm)
Ingo Sander (Royal Institute of Technology, Stockholm)
Axel Jantsch (Royal Institute of Technology, Stockholm)

(Return to Top)

Session 5: Scheduling 
Session Chair: David F. Bacon (IBM Research)

Wireless Channel Access Reservation for Embedded Real-time Systems (Page 129)
Dinesh Rajan (University of Notre Dame)
Christian Poellabauer (University of Notre Dame)
Xiaobo Sharon Hu (University of Notre Dame)
Liqiang Zhang (Indiana University South Bend)
Kathleen Otten (University of Notre Dame)

Portioned EDF-based Scheduling on Multiprocessors (Page 139)
Shinpei Kato (Keio University)
Nobuyuki Yamasaki (Keio University)

Scheduling Task Dependence Graphs with Variable Task Execution Times onto Heterogeneous Multiprocessors (Page 149)
Nadathur R. Satish (University of California at Berkeley)
Kaushik Ravindran (University of California at Berkeley)
Kurt Keutzer (University of California at Berkeley)

RTComposer: A Framework for Real-Time Components with Scheduling Interfaces (Page 159)
Rajeev Alur (University of Pennsylvania)
Gera Weiss (University of Pennsylvania)

(Return to Top)

Session 6: Static Techniques 
Session Chair: Jens Palsberg (University of California at Los Angeles)

Disassembling Real-Time Fault-Tolerant Programs (Page 169)
Borzoo Bonakdarpour (Michigan State University)
Sandeep S. Kulkarni (Michigan State University)
Anish Arora (Ohio State University)

Cyclic Dependencies in Modular Performance Analysis (Page 179)
Bengt Jonsson (Uppsala University)
Simon Perathoner (Swiss Federal Institute of Technology (ETH) Zurich)
Lothar Thiele (Swiss Federal Institute of Technology (ETH) Zurich)
Wang Yi (Uppsala University)

A Generalized Static Data Flow Clustering Algorithm for MPSoC Scheduling of Multimedia Applications (Page 189)
Joachim Falk (University of Erlangen-Nuremberg)
Joachim Keinert (University of Erlangen-Nuremberg)
Christian Haubelt (University of Erlangen-Nuremberg)
Jürgen Teich (University of Erlangen-Nuremberg)
Shuvra S. Bhattacharyya (University of Maryland)

Compositional Analysis of Deadlock-Freedom for Tree-Like Component Architectures (Page 199)
Mila Majster-Cederbaum (Universität Mannheim)
Moritz Martens (Universität Mannheim)

Session 7: Testing 
Session Chair: Luca de Alfaro (University of California at Santa Cruz)

Active Property Checking (Page 207)
Patrice Godefroid (Microsoft Research)
Michael Y. Levin (Microsoft Center for Software Excellence)
David A. Molnar (University of California at Berkeley and Microsoft Research)

Randomized Directed Testing (REDIRECT) for Simulink/Stateflow Models (Page 217)
Manoranjan Satpathy (General Motors India Science Laboratory)
Anand Yeolekar (General Motors India Science Laboratory)
S. Ramesh (General Motors India Science Laboratory)

Quantitative Testing (Page 227)
Henrik Bohnenkamp (RWTH Aachen University)
Mariëlle Stoelinga (University of Twente)

(Return to Top)

Session 8: Virtual Machines, Compilers, Memory Management 
Session Chair: Rolf Ernst (Technical University of Braunschweig)

Design and Implementation of a Framework for Creating Portable and Efficient Packet-Processing Applications (Page 237)
Olivier Morandi (Politecnico di Torino)
Fulvio Risso (Politecnico di Torino)
Silvio Valenti (TELECOM-ParisTech)
Paolo Veglia (TELECOM-ParisTech)

Tax-and-Spend: Democratic Scheduling for Real-time Garbage Collection (Page 245)
Joshua Auerbach (IBM Research)
David F. Bacon (IBM Research)
Perry Cheng (IBM Research)
David Grove (IBM Research)
Ben Biron (IBM Software Group)
Charlie Gracie (IBM Software Group)
Bill McCloskey (University of California at Berkeley)
Aleksandar Micic (IBM Software Group)
Ryan Sciampacone (IBM Software Group)

Volatiles Are Miscompiled, and What to Do about It (Page 255)
Eric Eide (University of Utah)
John Regehr (University of Utah)

Scratchpad Memory Management in a Multitasking Environment (Page 265)
Bernhard Egger (Samsung Advanced Institute of Technology)
Jaejin Lee (Seoul National University)
Heonshik Shin (Seoul National University)