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