9. EMSOFT 2009: Grenoble, France

Samarjit Chakraborty, Nicolas Halbwachs (Eds.): Proceedings of the 9th ACM & IEEE International conference on Embedded software, EMSOFT 2009, Grenoble, France, October 12-16, 2009. ACM 2009, ISBN 978-1-60558-627-4

Energy aware design

Ahron Yang, Minseok Song:
Aggressive dynamic voltage scaling for energy-aware video playback based on decoding time estimation. 1-10
Tang Lung Cheung, Kari Okamoto, Frank Maker III, Xin Liu, Venkatesh Akella:
Markov decision process (MDP) framework for optimizing software on mobile phones. 11-20
Andrea Bartolini, Martino Ruggiero, Luca Benini:
HVS-DBS: human visual system-aware dynamic luminance backlight scaling for video streaming applications. 21-28

Analysis and verification

Borzoo Bonakdarpour, Sandeep S. Kulkarni:
Compositional verification of fault-tolerant real-time programs. 29-38
Ramzi Ben Salah, Marius Bozga, Oded Maler:
Compositional timing analysis. 39-48
Gogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta:
Refining the control structure of loops using static analysis. 49-58
Baolin Shao, Nalini Vasudevan, Stephen A. Edwards:
Compositional deadlock detection for rendezvous communication. 59-66

Models and components

Stavros Tripakis, Ben Lickly, Thomas A. Henzinger, Edward A. Lee:
On relational interfaces. 67-76
Marius Bozga, Vassiliki Sfyrla, Joseph Sifakis:
Modeling synchronous systems in BIP. 77-86
Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone:
Modal interfaces: unifying interface automata and modal specifications. 87-96
Tayeb Bouhadiba, Florence Maraninchi, Giovanni Funchal:
Formal and executable contracts for transaction-level modeling in SystemC. 97-106

Timing and performance analysis

Kai Lampka, Simon Perathoner, Lothar Thiele:
Analytic real-time analysis and timed automata: a hybrid method for analyzing embedded real-time systems. 107-116
Simon Duquennoy, Gilles Grimaud, Jean-Jacques Vandewalle:
Serving embedded content via web applications: model, design and experimentation. 117-126
Lothar Thiele, Nikolay Stoimenov:
Modular performance analysis of cyclic dataflow graphs. 127-136
Stephan Wilhelm, Björn Wachter:
Symbolic state traversal for WCET analysis. 137-146

Scheduling

Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel, Jean-Pierre Talpin:
Clock-driven distributed real-time implementation of endochronous synchronous programs. 147-156
Moris Behnam, Thomas Nolte, Reinder J. Bril:
Refining SIRAP with a dedicated resource ceiling for self-blocking. 157-166
Joseph Porter, Gabor Karsai, Janos Sztipanovits:
Towards a time-triggered schedule calculation tool to support model-based embedded software design. 167-176
Maarten Wiggers, Marco Bekooij, Gerard J. M. Smit:
Monotonicity and run-time scheduling. 177-186

Multicore, parallel implementations

Yuanrui Zhang, Mahmut T. Kandemir, Nikos Pitsianis, Xiaobai Sun:
Exploring parallelization strategies for NUFFT data translation. 187-196
Meng-Huan Wu, Cheng-Yang Fu, Peng-Chih Wang, Ren-Song Tsay:
An effective synchronization approach for fast and accurate multi-core instruction-set simulation. 197-204
Rebecca L. Collins, Luca P. Carloni:
Flexible filters: load balancing through backpressure for stream programs. 205-214

Implementation issues

Marc Pouzet, Pascal Raymond:
Modular static scheduling of synchronous data-flow networks: an efficient symbolic representation. 215-224
Reinhard von Hanxleden:
SyncCharts in C: a proposal for light-weight, deterministic concurrency. 225-234
Rodolfo Pellizzoni, Patrick Meredith, Min-Young Nam, Mu Sun, Marco Caccamo, Lui Sha:
Handling mixed-criticality in SoC-based real-time embedded systems. 235-244

Time predictability and memory management

Nan Guan, Martin Stigge, Wang Yi, Ge Yu:
Cache-aware scheduling and analysis for multicores. 245-254
Vinayak Puranik, Tulika Mitra, Y. N. Srikant:
Probabilistic modeling of data cache behavior. 255-264
Jack Whitham, Neil C. Audsley:
Implementing time-predictable load and store operations. 265-274
Jan Staschulat, Marco Bekooij:
Dataflow models for shared memory access latency analysis. 275-284

Flash memory

Aviad Zuck, Ohad Barzilay, Sivan Toledo:
NANDFS: a flexible flash file system for RAM-constrained systems. 285-294
Jaeho Kim, Yongseok Oh, Eunsam Kim, Jongmoo Choi, Donghee Lee, Sam H. Noh:
Disk schedulers for solid state drivers. 295-304
Yangwook Kang, Ethan L. Miller:
Adding aggressive error correction to a high-performance compressing flash file system. 305-314
Junseok Park, Hyejeong Lee, Seunghwan Hyun, Kern Koh, Hyokyung Bahn:
A cost-aware page replacement algorithm for NAND flash based mobile embedded systems. 315-324