| emsoft | participants

EMSOFT 2007: 7th ACM & IEEE International Conference on Embedded Software

chair:
Christoph M. Kirsch
cochair:
Reinhard Wilhelm
Committee:
see below
where:
Salzburg, Austria
published:
ACM

Formal Methods

The Algebra of Connectors: Structuring Interaction in BIP

Simon Bliudze and Joseph Sifakis

A Communication Synthesis Infrastructure for Heterogeneous Networked Control Systems and its Application to Building Automation and Control

Alessandro Pinto, Luca P. Carloni, and Alberto L. Sangiovanni-Vincentelli

Verification of Device Drivers and Intelligent Controllers: a Case Study

David Monniaux

Scheduling

A Unified Practical Approach to Stochastic DVS Scheduling

Ruibin Xu, Rami G. Melhem, and Daniel Mossé

Communication-Aware Stochastic Allocation and Scheduling Framework for Conditional Task Graphs in Multi-Processor Systems-on-Chip

Emiliano Dolif, Michele Lombardi, Martino Ruggiero, Michela Milano, and Luca Benini

Scheduling Multiple Independent Hard-Real-Time Jobs on a Heterogeneous Multiprocessor

Orlando Moreira, Frederico Valente, and Marco Jan Gerrit Bekooij

A Dynamic Scheduling Approach to Designing Flexible Safety-Critical Systems

Luís Almeida, Sebastian Fischmeister, Madhukar Anand, and Insup Lee

Optimization

The Revenge of the Overlay: Automatic Compaction of OS Kernel Code via On-Demand Code Loading

Haifeng He, Saumya K. Debray, and Gregory R. Andrews

Accurate On-Line Prediction of Processor and Memory Energy Usage Under Voltage Scaling

David C. Snowdon, Stefan M. Petters, and Gernot Heiser

Buffer Optimization and Dispatching Scheme for Embedded Systems with Behavioral Transparency

Jiwon Hahn and Pai H. Chou

Methods for Multi-Dimensional Robustness Optimization in Complex Embedded Systems

Arne Hamann, Razvan Racu, and Rolf Ernst

Synchronous Languages

Leveraging Synchronous Language Principles for Heterogeneous Modeling and Design of Embedded Systems

Edward A. Lee and Haiyang Zheng

Necessary and Sufficient Conditions for Deterministic Desynchronization

Dumitru Potop-Butucaru, Robert de Simone, and Yves Sorel

Virtual Execution of AADL Models via a Translation into Synchronous Programs

Erwan Jahier, Nicolas Halbwachs, Pascal Raymond, Xavier Nicollin, and David Lesens

Flash

μ-Tree: an Ordered Index Structure for NAND Flash Memory

Dongwon Kang, Dawoon Jung, Jeong-Uk Kang, and Jin-Soo Kim

Uniformity Improving Page Allocation for Flash Memory File Systems

Seungjae Baek, Seongjun Ahn, Jongmoo Choi, Donghee Lee, and Sam H. Noh

Exploiting Non-Volatile RAM to Enhance Flash File System Performance

In Hwan Doh, Jongmoo Choi, Donghee Lee, and Sam H. Noh

Block Recycling Schemes and Their Cost-Based Optimization in NAND Flash Memory Based Storage System

Jongmin Lee, Sunghoon Kim, Hunki Kwon, Choulseung Hyun, Seongjun Ahn, Jongmoo Choi, Donghee Lee, and Sam H. Noh

Performance

Performance Estimation of Distributed Real-Time Embedded Systems by Discrete Event Simulations

Gabor Madl, Nikil D. Dutt, and Sherif Abdelwahed

Influence of Different System Abstractions on the Performance Analysis of Distributed Real-Time Systems

Simon Perathoner, Ernesto Wandeler, Lothar Thiele, Arne Hamann, Simon Schliecker, Rafik Henia, Razvan Racu, Rolf Ernst, and Michael González Harbour

WCET Estimation for Executables in the Presence of Data Caches

Rathijit Sen and Y. N. Srikant

Performance Characterization of Prelinking and Preloading for Embedded Systems

Changhee Jung, Duk-Kyun Woo, Kanghee Kim, and Sung-Soo Lim

Models of Computation

E-FRP with Priorities

Roumen Kaiabachev, Walid Taha, and Angela Yun Zhu

Loosely Time-Triggered Architectures Based on Communication-by-Sampling

Albert Benveniste, Paul Caspi, Marco Di Natale, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli, and Stavros Tripakis

Existential Abstractions for Distributed Reactive Systems via Syntactic Transformations

Vijay D'Silva, Sampada Sonalkar, and S. Ramesh

Implementations

Design and Implementation of a Comprehensive Real-Time Java Virtual Machine

Joshua S. Auerbach, David F. Bacon, Bob Blainey, Perry Cheng, Michael Dawson, Mike Fulton, David Grove, Darren Hart, and Mark G. Stoodley

Optimal Task Placement to Improve Cache Performance

Gernot Gebhard and Sebastian Altmeyer

Slice-Balancing H.264 Video Encoding for Improved Scalability of Multicore Decoding

Michael Roitzsch

SIRAP: a Synchronization Protocol for Hierarchical Resource Sharingin Real-Time Open Systems

Moris Behnam, Insik Shin, Thomas Nolte, and Mikael Nolin

Program Committee