Programme

Monday (Oct. 01)

09:00–10:00
EMSOFT Keynote
Jane Liu:
User-Centered Approach for Semi-Automatic, Assistive Devices and Systems
10:30–12:00
Chair: Bengt Jonsson
Simon Bliudze and Joseph Sifakis:
The Algebra of Connectors --- Structuring Interaction in BIP
Alessandro Pinto, Luca Carloni and Alberto Sangiovanni-Vincentelli:
A Communication Synthesis Infrastructure for Heterogeneous Networked Control Systems and Its Application to Building
Automation and Control
David Monniaux:
Verification of device drivers and intelligent controllers: a case study
13:30–15:30
Chair: Lothar Thiele
Ruibin Xu, Rami Melhem and Daniel Mosse:
A Unified Practical Approach to Stochastic DVS Scheduling
Emiliano Dolif, Michele Lombardi, Martino Ruggiero, Michela Milano and Luca Benini:
Communication-Aware Stochastic Allocation and Scheduling Framework for Conditional Task Graphs in Multi-Processor Systems-
on-Chip
Orlando Moreira, Frederico Valente and Marco Bekooij:
Scheduling Multiple Independent Hard-Real-Time Jobs on a Heterogeneous Multiprocessor
Luis Almeida, Madhukar Anand, Sebastian Fischmeister and Insup Lee:
A Dynamic Scheduling Approach to Designing Flexible Safety-Critical Systems
16:00–18:00
Chair: Y. N. Srikant
Haifeng He, Saumya Debray and Gregory Andrews:
The Revenge of the Overlay: Automatic Compaction of OS Kernel Code via On-Demand Code Loading
David Snowdon, Stefan Petters and Gernot Heiser:
The effect of frequency scaling on system energy consumption
Jiwon Hahn and Pai Chou:
Buffer Optimization and Dispatching Scheme for Embedded Systems with Behavioral Transparency
Arne Hamann, Razvan Racu and Rolf Ernst:
Methods for Multi-Dimensional Robustness Optimization in Complex Embedded Systems
18:00
Panel: Grand Challenges in Embedded Software
Participants: Gilbert Edelin, Gernot Heiser, Edward A. Lee, Jaejin Lee, Joseph Sifakis, Lothar Thiele
Moderator: Reinhard Wilhelm
Tuesday (Oct. 02)
09:00–10:00
 CODES+ISSS Keynote
Hermann Eul:
Complexity Challenges towards 4th Generation Communication Solutions
10:30–12:00
Chair: Albert Benveniste
Edward A. Lee and Haiyang Zheng:
Leveraging Synchronous Language Principles for Heterogeneous Modeling and Design of Embedded Systems
Dumitru Potop-Butucaru, Robert de Simone and Yves Sorel:
Necessary and sufficient conditions for deterministic desynchronization
Nicolas Halbwachs, Erwan Jahier, Pascal Raymond and David Lesens:
Virtual execution of AADL models via a translation into synchronous programs
13:30–15:30
Chair: Gernot Heiser
Dongwon Kang, Dawoon Jung, Jeong-Uk Kang and Jin-Soo Kim:
mu-Tree : An Ordered Index Structure for NAND Flash Memory
Seungjae Baek, Seongjun Ahn, Jongmoo Choi, Donghee Lee and Sam H. Noh:
Uniformity Improving Page Allocation for Flash Memory File Systems
In Hwan Doh, Jongmoo Choi, Donghee Lee and Sam H. Noh:
Exploiting Non-Volatile RAM to Enhance Flash File System Performance
Jongmin Lee, Sunghoon Kim, Hunki Kwon, Choulseung Hyun, Seongjun Ahn, Jongmoo Choi, Donghee Lee and Sam H. Noh:
Block recycling schemes and their cost-based optimization in NAND Flash memory based storage system
16:00–18:00
Chair: Jaejin Lee
Gabor Madl, Nikil Dutt and Sherif Abdelwahed:
Performance Estimation of Distributed Real-time Embedded Systems by Discrete Event Simulations
Simon Perathoner, Ernesto Wandeler, Lothar Thiele, Arne Hamann, Simon Schliecker, Rafik Henia, Razvan Racu, Rolf Ernst and
Michael González Harbour:
Influence of different system abstractions on the performance analysis of distributed real-time systems
Rathijit Sen and Y. N. Srikant:
WCET Estimation for Executables in the presence of Data Caches
Changhee Jung, Duk-Kyun Woo, Kanghee Kim and Sung-Soo Lim:
Performance Characterization of Prelinking and Preloading for Embedded Systems
Wednesday (Oct. 03)
09:00–10:00
CASES Keynote
Trevor Mudge:
Multicore Architectures
10:30–12:00
Chair: Christoph Kirsch
Roumen Kaiabachev, Walid Taha and Angela Zhu:
E-FRP With Priorities
Albert Benveniste, Paul Caspi, Marco di Natale, Claudio Pinello, Alberto Sangiovanni-Vincentelli and Stavros Tripakis:
Loosely Time-Triggered Architectures and Middleware based on Communication-by-Sampling: MoCC and Properties
 Vijay D'silva, Sampada Sonalkar and Ramesh S:
Existential Abstractions for Distributed Reactive Systems via Syntactic Transformations
13:30–15:30
Chair: Stewart Tansley
Joshua Auerbach, David F. Bacon, Bob Blainey, Perry Cheng, Michael Dawson, Mike Fulton, David Grove, Darren Hart and Mark
Stoodley:
Design and Implementation of a Comprehensive Real-time Java Virtual Machine
Sebastian Altmeyer and Gernot Gebhard:
Optimal Task Placement to Improve Cache Performance
Michael Roitzsch:
Slice-Balancing H.264 Video Encoding for Improved Scalability of Multicore Decoding
Moris Behnam, Insik Shin, Thomas Nolte and Mikael Nolin:
A Synchronization Protocol for Hierarchical Resource Sharing in Real-Time Open Systems
16:00
Panel: Automotive Networks — Are New Busses and Gateways the Answer or Just Another Challenge?
Participants: Gernot Spiegelberg, Thomas Weber, Hermann Kopetz, Alberto Sangiovanni-Vincentelli, Marek Jersak
Moderator: Rolf Ernst
17:30
Closing