6. EMSOFT 2006: Seoul, Korea

Sang Lyul Min, Wang Yi (Eds.): Proceedings of the 6th ACM & IEEE International conference on Embedded software, EMSOFT 2006, October 22-25, 2006, Seoul, Korea. ACM 2006, ISBN 1-59593-542-8 BibTeX

Werner Damm:
Embedded system development for automotive applications: trends and challenges. 1
Electronic Edition (ACM DL) BibTeX

Design and Implementation of embedded software

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

Component-based development and software engineering

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

Modeling of synchronous systems

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

Networked embedded software

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

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
Electronic Edition (ACM DL) BibTeX
Olivier Tardieu, Stephen A. Edwards:
Scheduling-independent threads and exceptions in SHIM. 142-151
Electronic Edition (ACM DL) BibTeX
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
Electronic Edition (ACM DL) BibTeX

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
Electronic Edition (ACM DL) BibTeX
Young-Jin Kim, Kwon-Taek Kwon, Jihong Kim:
Energy-efficient file placement techniques for heterogeneous mobile storage systems. 171-177
Electronic Edition (ACM DL) BibTeX
Kevin M. Greenan, Ethan L. Miller:
Reliability mechanisms for file systems using non-volatile memory as a metadata store. 178-187
Electronic Edition (ACM DL) BibTeX

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
Electronic Edition (ACM DL) BibTeX
Okehee Goh, Yann-Hang Lee, Ziad Kaakani:
Schedulable persistence system for teal-time applications in virtual machine. 195-204
Electronic Edition (ACM DL) BibTeX
Tolga Ayav, Pascal Fradet, Alain Girault:
Implementing fault-tolerance in real-time systems by automatic program transformations. 205-214
Electronic Edition (ACM DL) BibTeX

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
Electronic Edition (ACM DL) BibTeX
Richard Urunuela, Gilles Muller, Julia L. Lawall:
Energy adaptation for multimedia information kiosks. 223-232
Electronic Edition (ACM DL) BibTeX
Rahul Nagpal, Y. N. Srikant:
Compiler-assisted leakage energy optimization for clustered VLIW architectures. 233-241
Electronic Edition (ACM DL) BibTeX

Modeling and validation

Biniam Gebremichael, Frits W. Vaandrager, Miaomiao Zhang:
Analysis of the zeroconf protocol using UPPAAL. 242-251
Electronic Edition (ACM DL) BibTeX
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
Electronic Edition (ACM DL) BibTeX
Arindam Chakrabarti, Patrice Godefroid:
Software partitioning for effective automated unit testing. 262-271
Electronic Edition (ACM DL) BibTeX

Scheduling and execution time analysis

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

Architectures and performance analysis

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