6. EMSOFT 2006: Seoul, Korea

• Werner Damm:
  Embedded system development for automotive applications: trends and challenges. 1
  

Design and Implementation of embedded software

• Truong Nghiem, George J. Pappas, Rajeev Alur, Antoine Girard:
  Time-triggered implementations of dynamic controllers. 2-11
  
• César Sánchez, Henny B. Sipma, Zohar Manna, Christopher D. Gill:
  Efficient distributed deadlock avoidance with liveness guarantees. 12-20
  
• Christos Sofronis, Stavros Tripakis, Paul Caspi:
  A memory-optimal buffering protocol for preservation of synchronous semantics under preemptive scheduling. 21-33
  

Component-based development and software engineering

• Lothar Thiele, Ernesto Wandeler, Nikolay Stoimenov:
  Real-time interfaces for composing real-time systems. 34-43
  
• Ye Zhou, Edward A. Lee:
  A causality interface for deadlock analysis in dataflow. 44-52
  
• Ethan K. Jackson, Janos Sztipanovits:
  Towards a formal foundation for domain specific modeling languages. 53-62
  
• Kentaro Yoshimura, Dharmalingam Ganesan, Dirk Muthig:
  Defining a strategy to introduce a software product line using existing embedded systems. 63-72
  

Modeling of synchronous systems

• Jean-Louis Colaço, Grégoire Hamon, Marc Pouzet:
  Mixing signals and modes in synchronous data-flow systems. 73-82
  
• Jean-Pierre Talpin, Christian Brunette, Thierry Gautier, Abdoulaye Gamatié:
  Polychronous mode automata. 83-92
  
• Timothy Bourke, Arcot Sowmya:
  A timing model for synchronous language implementations in simulink. 93-101
  

Networked embedded software

• Ye Wen, Richard Wolski, Selim Gurun:
  S²DB: a novel simulation-based debugger for sensor network applications. 102-111
  
• Rahul Balani, Chih-Chieh Han, Ram Kumar Rengaswamy, Ilias Tsigkogiannis, Mani B. Srivastava:
  Multi-level software reconfiguration for sensor networks. 112-121
  
• Madhukar Anand, Sebastian Fischmeister, Insup Lee:
  An analysis framework for network-code programs. 122-131
  

Concurrent real-time programming

• Arkadeb Ghosal, Alberto L. Sangiovanni-Vincentelli, Christoph M. Kirsch, Thomas A. Henzinger, Daniel T. Iercan:
  A hierarchical coordination language for interacting real-time tasks. 132-141
  
• Olivier Tardieu, Stephen A. Edwards:
  Scheduling-independent threads and exceptions in SHIM. 142-151
  
• Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis:
  Communication by sampling in time-sensitive distributed systems. 152-160
  

Software support for portable storage

• Jeong-Uk Kang, Heeseung Jo, Jinsoo Kim, Joonwon Lee:
  A superblock-based flash translation layer for NAND flash memory. 161-170
  
• Young-Jin Kim, Kwon-Taek Kwon, Jihong Kim:
  Energy-efficient file placement techniques for heterogeneous mobile storage systems. 171-177
  
• Kevin M. Greenan, Ethan L. Miller:
  Reliability mechanisms for file systems using non-volatile memory as a metadata store. 178-187
  

Compiling and program transformations

• Dong-Heon Jung, Jong Kuk Park, Sung-Hwan Bae, Jaemok Lee, Soo-Mook Moon:
  Efficient exception handling in Java bytecode-to-c ahead-of-time compiler for smbedded systems. 188-194
  
• Okehee Goh, Yann-Hang Lee, Ziad Kaakani:
  Schedulable persistence system for teal-time applications in virtual machine. 195-204
  
• Tolga Ayav, Pascal Fradet, Alain Girault:
  Implementing fault-tolerance in real-time systems by automatic program transformations. 205-214
  

Energy adaptation and optimization

• Stylianos Mamagkakis, David Atienza, Christophe Poucet, Francky Catthoor, Dimitrios Soudris:
  Energy-efficient dynamic memory allocators at the middleware level of embedded systems. 215-222
  
• Richard Urunuela, Gilles Muller, Julia L. Lawall:
  Energy adaptation for multimedia information kiosks. 223-232
  
• Rahul Nagpal, Y. N. Srikant:
  Compiler-assisted leakage energy optimization for clustered VLIW architectures. 233-241
  

Modeling and validation

• Biniam Gebremichael, Frits W. Vaandrager, Miaomiao Zhang:
  Analysis of the zeroconf protocol using UPPAAL. 242-251
  
• Venkita Subramonian, Christopher D. Gill, César Sánchez, Henny B. Sipma:
  Reusable models for timing and liveness analysis of middleware for distributed real-time and embedded systems. 252-261
  
• Arindam Chakrabarti, Patrice Godefroid:
  Software partitioning for effective automated unit testing. 262-271
  

Scheduling and execution time analysis

• Arvind Easwaran, Insik Shin, Oleg Sokolsky, Insup Lee:
  Incremental schedulability analysis of hierarchical real-time components. 272-281
  
• Thao Dang, Philippe Gerner:
  Scheduling for multi-threaded real-time programs via path planning. 282-291
  
• Stephan Thesing:
  Modeling a system controller for timing analysis. 292-300
  

Architectures and performance analysis

• Harsh Dhand, Basant Kumar Dwivedi, M. Balakrishnan:
  New approach to architectural synthesis: incorporating QoS constraint. 301-310
  
• Gabor Madl, Sudeep Pasricha, Luis Angel D. Bathen, Nikil Dutt, Qiang Zhu:
  Formal performance evaluation of AMBA-based system-on-chip designs. 311-320
  
• Bernhard Egger, Jaejin Lee, Heonshik Shin:
  Scratchpad memory management for portable systems with a memory management unit. 321-330