EMSOFT'07 Table of Contents

Foreword

Organization List

Keynote
Session Chair: Christoph M. Kirsch (University of Salzburg)

User-Centered Semiautomatic Assistive Devices (Page 1)
Jane W. S. Liu (Academia Sinica)

Panel

Grand Challenges in Embedded Software (Page 2)
Christoph M. Kirsch (University of Salzburg)
Reinhard Wilhelm (Saarland University)
Gilbert Edelin (THALES Research and Technologies)
Gernot Heiser (NICTA, University of New South Wales, & Open Kernel Labs)
Edward A. Lee (University of California)
Jaejin Lee (Seoul National University)
Joseph Sifakis (Verimag)
Lothar Thiele (ETH Zürich)

(Return to Top)

Tutorials

Proving the Absence of Run-Time Errors in Safety-Critical Avionics Code (Page 7)
Patrick Cousot (École Normale Supérieure)

Performance Analysis of Distributed Embedded Systems (Page 10)
Lothar Thiele (ETH Zurich)

Session 1: Formal Methods
Session Chair: Bengt Jonsson (Uppsala Universitet)

The Algebra of Connectors — Structuring Interaction in BIP (Page 11)
Simon Bliudze (CNRS VERIMAG)
Joseph Sifakis (CNRS VERIMAG)

A Communication Synthesis Infrastructure for Heterogeneous Networked Control Systems and Its Application to Building Automation and Control (Page 21)
Alessandro Pinto (University of California, Berkeley)
Luca P. Carloni (Columbia University)
Alberto L. Sangiovanni-Vincentelli (University of California, Berkeley)

Verification of Device Drivers and Intelligent Controllers: A Case Study (Page 30)
David Monniaux (CNRS)

Session 2: Scheduling
Session Chair: Lothar Thiele (ETHZ)

A Unified Practical Approach to Stochastic DVS Scheduling (Page 37)
Ruibin Xu (University of Pittsburgh)
Rami Melhem (University of Pittsburgh)
Daniel Mossé (University of Pittsburgh)

Communication-Aware Stochastic Allocation and Scheduling Framework for Conditional Task Graphs in Multi-Processor Systems-on-Chip (Page 47)
Emiliano Dolif (University of Bologna)
Michele Lombardi (University of Bologna)
Martino Ruggiero (University of Bologna)
Michela Milano (University of Bologna)
Luca Benini (University of Bologna)

Scheduling Multiple Independent Hard-Real-Time Jobs on a Heterogeneous Multiprocessor (Page 57)
Orlando Moreira (NXP Semiconductors Research)
Frederico Valente (University of Aveiro)
Marco Bekooij (NXP Semiconductors Research)

A Dynamic Scheduling Approach to Designing Flexible Safety-Critical Systems (Page 67)
Luis Almeida (Universidade de Aveiro)
Sebastian Fischmeister (University of Pennsylvania)
Madhukar Anand (University of Pennsylvania)
Insup Lee (University of Pennsylvania)

Session 3: Optimisation
Session Chair: Y. N. Srikant (Indian Institute of Science Bangalore)

The Revenge of the Overlay: Automatic Compaction of OS Kernel Code via On-Demand Code Loading (Page 75)
Haifeng He (The University of Arizona)
Saumya Debray (The University of Arizona)
Gregory Andrews (The University of Arizona)

Accurate On-line Prediction of Processor and Memory Energy Usage Under Voltage Scaling (Page 84)
David C. Snowdon (University of New South Wales)
Stefan M. Petters (University of New South Wales)
Gernot Heiser (University of New South Wales)

Buffer Optimization and Dispatching Scheme for Embedded Systems with Behavioral Transparency (Page 94)
Jiwon Hahn (University of California, Irvine)
Pai H. Chou (University of California, Irvine)

Methods for Multi-Dimensional Robustness Optimization in Complex Embedded Systems (Page 104)
Arne Hamann (Technical University of Braunschweig)
Razvan Racu (Technical University of Braunschweig)
Rolf Ernst (Technical University of Braunschweig)

Session 4: Synchronous Languages
Session Chair: Albert Benveniste (IRISA/INRIA Rennes)

Leveraging Synchronous Language Principles for Heterogeneous Modeling and Design of Embedded Systems (Page 114)
Edward A. Lee (University of California, Berkeley)
Haiyang Zheng (University of California, Berkeley)

Necessary and Sufficient Conditions for Deterministic Desynchronization (Page 124)
Dumitru Potop-Butucaru (INRIA)
Robert de Simone (INRIA)
Yves Sorel (INRIA)

Virtual Execution of AADL Models via a Translation into Synchronous Programs (Page 134)
Erwan Jahier (CNRS)
Nicolas Halbwachs (CNRS)
Pascal Raymond (CNRS)
Xavier Nicollin (CNRS)
David Lesens (Astrium Space Transportation)

Session 5: Flash
Session Chair: Gernot Heiser (NICTA/University of New South Wales)

μ-Tree: An Ordered Index Structure for NAND Flash Memory (Page 144)
Dongwon Kang (Korea Advanced Institute of Science and Technology)
Dawoon Jung (Korea Advanced Institute of Science and Technology)
Jeong-Uk Kang (Korea Advanced Institute of Science and Technology)
Jin-Soo Kim (Korea Advanced Institute of Science and Technology)

Uniformity Improving Page Allocation for Flash Memory File Systems (Page 154)
Seungjae Baek (Dankook University)
Seongjun Ahn (Samsung Electronics)
Jongmoo Choi (Dankook University)
Donghee Lee (University of Seoul)
Sam H. Noh (Hongik University)

Exploiting Non-Volatile RAM to Enhance Flash File System Performance (Page 164)
In Hwan Doh (Hongik University)
Jongmoo Choi (Dankook University)
Donghee Lee (University of Seoul)
Sam H. Noh (Hongik University)

Block Recycling Schemes and Their Cost-Based Optimization in NAND Flash Memory Based Storage System (Page 174)
Jongmin Lee (University of Seoul)
Sunghoon Kim (Korea University)
Hunki Kwon (University of Seoul)
Choulseung Hyun (University of Seoul)
Seongjun Ahn (Samsung Electronics Co.)
Jongmoo Choi (Dankook University)
Donghee Lee (University of Seoul)
Sam H. Noh (Hongik University)

Session 6: Performance
Session Chair: Jaejin Lee (Seoul National University)

Performance Estimation of Distributed Real-time Embedded Systems by Discrete Event Simulations (Page 183)
Gabor Madl (University of California, Irvine)
Nikil Dutt (University of California, Irvine)
Sherif Abdelwahed (Mississippi State University)

Influence of Different System Abstractions on the Performance Analysis of Distributed Real-Time Systems (Page 193)
Simon Perathoner (ETH Zurich)
Ernesto Wandeler (ETH Zurich)
Lothar Thiele (ETH Zurich)
Arne Hamann (Technical University Braunschweig)
Simon Schliecker (Technical University Braunschweig)
Rafik Henia (Technical University Braunschweig)
Razvan Racu (Technical University Braunschweig)
Rolf Ernst (Technical University Braunschweig)
Michael González Harbour (Universidad de Cantabria)

WCET Estimation for Executables in the Presence of Data Caches (Page 203)
Rathijit Sen (Indian Institute of Science)
Y. N. Srikant (Indian Institute of Science)

Performance Characterization of Prelinking and Preloading for Embedded Systems (Page 213)
Changhee Jung (ETRI)
Duk-Kyun Woo (ETRI)
Kanghee Kim (Samsung Electronics Co., Ltd.)
Sung-Soo Lim (Kookmin University)

Session 7: Models of Computation
Session Chair: Christoph M. Kirsch (University of Salzburg)

E-FRP With Priorities (Page 221)
Roumen Kaiabachev (Rice University)
Walid Taha (Rice University)
Angela Zhu (Rice University)

Loosely Time-Triggered Architectures Based on Communication-by-Sampling (Page 231)
Albert Benveniste (IRISA/INRIA)
Paul Caspi (VERIMAG/CNRS)
Marco Di Natale (Scuola Superiore S. Anna)
Claudio Pinello (Cadence Berkeley Laboratories)
Alberto Sangiovanni Vincentelli (University of California, Berkeley)
Stavros Tripakis (Cadence Berkeley Laboratories)

Existential Abstractions for Distributed Reactive Systems via Syntactic Transformations (Page 240)
Vijay D'Silva (ETH Zurich)
Sampada Sonalkar (Columbia University)
S. Ramesh (General Motors R&D India)

Session 8: Implementations
Session Chair: Stewart Tansley (Microsoft, Redmond)

Design and Implementation of a Comprehensive Real-time Java Virtual Machine (Page 249)
Joshua Auerbach (IBM Research)
David F. Bacon (IBM Research)
Bob Blainey (IBM Software Group)
Perry Cheng (IBM Research)
Michael Dawson (IBM Software Group)
Mike Fulton (IBM Software Group)
David Grove (IBM Research)
Darren Hart (IBM Linux Technology Center)
Mark Stoodley (IBM Software Group)

Optimal Task Placement to Improve Cache Performance (Page 259)
Gernot Gebhard (Saarland University)
Sebastian Altmeyer (Saarland University)

Slice-Balancing H.264 Video Encoding for Improved Scalability of Multicore Decoding (Page 269)
Michael Roitzsch (Technische Universitäet Dresden)

SIRAP: A Synchronization Protocol for Hierarchical Resource Sharing in Real-Time Open Systems (Page 279)
Moris Behnam (Mälardalen Real-time Research Centre)
Insik Shin (Mälardalen Real-time Research Centre)
Thomas Nolte (Mälardalen Real-time Research Centre)
Mikael Nolin (Mälardalen Real-time Research Centre)