5. EMSOFT 2005: Jersey City, New Jersey, USA

Wayne Wolf (Ed.): EMSOFT 2005, September 18-22, 2005, Jersey City, NJ, USA, 5th ACM International Conference On Embedded Software, Proceedings. ACM 2005, ISBN 1-59593-091-4 BibTeX

Communication and devices

Jun Sun, Wanghong Yuan, Mahesh Kallahalla, Nayeem Islam:
HAIL: a language for easy and correct device access. 1-9
Electronic Edition (ACM DL) BibTeX
Cong Liu, Alex Kondratyev, Yosinori Watanabe, Alberto L. Sangiovanni-Vincentelli:
A structural approach to quasi-static schedulability analysis of communicating concurrent programs. 10-16
Electronic Edition (ACM DL) BibTeX
Prabhat Avasare, Vincent Nollet, Jean-Yves Mignolet, Diederik Verkest, Henk Corporaal:
Centralized end-to-end flow control in a best-effort network-on-chip. 17-20
Electronic Edition (ACM DL) BibTeX
Neal K. Bambha, Shuvra S. Bhattacharyya:
Communication strategies for shared-bus embedded multiprocessors. 21-24
Electronic Edition (ACM DL) BibTeX

Modeling

Ethan K. Jackson, Janos Sztipanovits:
Using separation of concerns for embedded systems design. 25-34
Electronic Edition (ACM DL) BibTeX
Kai Chen, Janos Sztipanovits, Sandeep Neema:
Toward a semantic anchoring infrastructure for domain-specific modeling languages. 35-43
Electronic Edition (ACM DL) BibTeX
Bui Minh Duc:
Uniform object modeling methodology and reuse of real-time system using UML. 44-47
Electronic Edition (ACM DL) BibTeX
Vugranam C. Sreedhar, Maria-Cristina V. Marinescu:
From statecharts to ESP: programming with events, states and predicates for embedded systems. 48-51
Electronic Edition (ACM DL) BibTeX

Languages

Ana Azevedo, Arun Kejariwal, Alexander V. Veidenbaum, Alexandru Nicolau:
High performance annotation-aware JVM for Java cards. 52-61
Electronic Edition (ACM DL) BibTeX
Johannes Helander:
Deeply embedded XML communication: towards an interoperable and seamless world. 62-67
Electronic Edition (ACM DL) BibTeX
David F. Bacon, Perry Cheng, David Grove, Michael Hind, V. T. Rajan, Eran Yahav, Matthias Hauswirth, Christoph M. Kirsch, Daniel Spoonhower, Martin T. Vechev:
High-level real-time programming in Java. 68-78
Electronic Edition (ACM DL) BibTeX

Panel

Grant Martin, Daniel Gajski, David Goodwin, Patrick Lysaght, Peter Marwedel, Mike Muller, Jeff Welser:
What will system level design be when it grows up? 123
Electronic Edition (ACM DL) BibTeX

Scheduling

Ernesto Wandeler, Lothar Thiele:
Real-time interfaces for interface-based design of real-time systems with fixed priority scheduling. 80-89
Electronic Edition (ACM DL) BibTeX
Jacques Combaz, Jean-Claude Fernandez, Thierry Lepley, Joseph Sifakis:
QoS control for optimality and safety. 90-99
Electronic Edition (ACM DL) BibTeX
Jaswinder Ahluwalia, Ingolf H. Krüger, Walter Phillips, Michael Meisinger:
Model-based run-time monitoring of end-to-end deadlines. 100-109
Electronic Edition (ACM DL) BibTeX
Shan Ding, Naohiko Murakami, Hiroyuki Tomiyama, Hiroaki Takada:
A GA-based scheduling method for FlexRay systems. 110-113
Electronic Edition (ACM DL) BibTeX

Optimization

Stephen Hines, Prasad Kulkarni, David B. Whalley, Jack W. Davidson:
Using de-optimization to re-optimize code. 114-123
Electronic Edition (ACM DL) BibTeX
Yi-Ping You, Chung-Wen Huang, Jenq Kuen Lee:
A sink-n-hoist framework for leakage power reduction. 124-133
Electronic Edition (ACM DL) BibTeX
Feihui Li, Guilin Chen, Mahmut T. Kandemir, Mustafa Karaköy:
Exploiting last idle periods of links for network power management. 134-137
Electronic Edition (ACM DL) BibTeX
Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio:
A UML 2.0 profile for SystemC: toward high-level SoC design. 138-141
Electronic Edition (ACM DL) BibTeX

Design methodologies

Alex Xiang Feng:
Towards real-time enabled Microsoft Windows. 142-146
Electronic Edition (ACM DL) BibTeX
Graham R. Hellestrand:
Systems architecture: the empirical way: abstract architectures to 'optimal' systems. 147-158
Electronic Edition (ACM DL) BibTeX
Aimen Bouchhima, Xi Chen, Frédéric Pétrot, Wander O. Cesário, Ahmed Amine Jerraya:
A unified HW/SW interface model to remove discontinuities between HW and SW design. 159-163
Electronic Edition (ACM DL) BibTeX

Specification and semantics

Grégoire Hamon:
A denotational semantics for stateflow. 164-172
Electronic Edition (ACM DL) BibTeX
Jean-Louis Colaço, Bruno Pagano, Marc Pouzet:
A conservative extension of synchronous data-flow with state machines. 173-182
Electronic Edition (ACM DL) BibTeX
Alvise Bonivento, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli:
Rialto: a bridge between description and implementation of control algorithms for wireless sensor networks. 183-186
Electronic Edition (ACM DL) BibTeX
Massimo Baleani, Alberto Ferrari, Leonardo Mangeruca, Alberto L. Sangiovanni-Vincentelli:
Efficient embedded software design with synchronous models. 187-190
Electronic Edition (ACM DL) BibTeX

Compilation and power

Luca de Alfaro, Vishwanath Raman, Marco Faella, Rupak Majumdar:
Code aware resource management. 191-202
Electronic Edition (ACM DL) BibTeX
Jun Yan, Wei Zhang:
Compiler-guided register reliability improvement against soft errors. 203-209
Electronic Edition (ACM DL) BibTeX
Madhukar Anand, Sebastian Fischmeister, Jesung Kim, Insup Lee:
Distributed-code generation from hybrid systems models for time-delayed multirate systems. 210-213
Electronic Edition (ACM DL) BibTeX
Klaus Rothbart, Ulrich Neffe, Christian Steger, Reinhold Weiss, Edgar Rieger, Andreas Mühlberger:
Power consumption profile analysis for security attack simulation in smart cards at high abstraction level. 214-217
Electronic Edition (ACM DL) BibTeX

Clocks and energy

Selim Gurun, Chandra Krintz:
AutoDVS: an automatic, general-purpose, dynamic clock scheduling system for hand-held devices. 218-226
Electronic Edition (ACM DL) BibTeX
Guilin Chen, Mahmut T. Kandemir:
Optimizing inter-processor data locality on embedded chip multiprocessors. 227-236
Electronic Edition (ACM DL) BibTeX
Mark L. McKelvin Jr., Gabriel Eirea, Claudio Pinello, Sri Kanajan, Alberto L. Sangiovanni-Vincentelli:
A formal approach to fault tree synthesis for the analysis of distributed fault tolerant systems. 237-246
Electronic Edition (ACM DL) BibTeX
Jian-Jia Chen, Tei-Wei Kuo, Chi-Sheng Shih:
(1+epsion) approximation clock rate assignment for periodic real-time tasks on a voltage-scaling processor. 247-250
Electronic Edition (ACM DL) BibTeX
Ruibin Xu, Daniel Mossé, Rami G. Melhem:
Minimizing expected energy in real-time embedded systems. 251-254
Electronic Edition (ACM DL) BibTeX

Formal methods

Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli:
Tag machines. 255-263
Electronic Edition (ACM DL) BibTeX
Stephen A. Edwards, Olivier Tardieu:
SHIM: a deterministic model for heterogeneous embedded systems. 264-272
Electronic Edition (ACM DL) BibTeX
Jie Liu, Elaine Cheong, Feng Zhao:
Semantics-based optimization across uncoordinated tasks in networked embedded systems. 273-281
Electronic Edition (ACM DL) BibTeX
Jean-Pierre Talpin, Dumitru Potop-Butucaru, Julien Ouy, Benoît Caillaud:
From multi-clocked synchronous processes to latency-insensitive modules. 282-285
Electronic Edition (ACM DL) BibTeX
Lee Pike, Steven D. Johnson:
The formal verification of a reintegration protocol. 286-289
Electronic Edition (ACM DL) BibTeX

Software testing

John Regehr:
Random testing of interrupt-driven software. 290-298
Electronic Edition (ACM DL) BibTeX
Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen, Arne Skou:
Testing real-time embedded software using UPPAAL-TRON: an industrial case study. 299-306
Electronic Edition (ACM DL) BibTeX
Xiushan Feng, Alan J. Hu:
Cutpoints for formal equivalence verification of embedded software. 307-316
Electronic Edition (ACM DL) BibTeX

Specification and dynamic properties

Matthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz:
Pinapa: an extraction tool for SystemC descriptions of systems-on-a-chip. 317-324
Electronic Edition (ACM DL) BibTeX
Marco Zennaro, Raja Sengupta:
Distributing synchronous programs using bounded queues. 325-334
Electronic Edition (ACM DL) BibTeX
Simon Oberthür, Carsten Böke, Björn Griese:
Dynamic online reconfiguration for customizable and self-optimizing operating systems. 335-338
Electronic Edition (ACM DL) BibTeX
Albert Cohen, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau, Marc Pouzet:
Synchronization of periodic clocks. 339-342
Electronic Edition (ACM DL) BibTeX

Real time properties

Lalita Jategaonkar Jagadeesan, Ramesh Viswanathan:
Passive mid-stream monitoring of real-time properties. 343-352
Electronic Edition (ACM DL) BibTeX
Stavros Tripakis, Christos Sofronis, Norman Scaife, Paul Caspi:
Semantics-preserving and memory-efficient implementation of inter-task communication on static-priority or EDF schedulers. 353-360
Electronic Edition (ACM DL) BibTeX
Qiuhua Cao, John A. Stankovic:
Dual face phased array radar scheduling with multiple constraints. 361-370
Electronic Edition (ACM DL) BibTeX
Gabor Madl, Sherif Abdelwahed:
Model-based analysis of distributed real-time embedded system composition. 371-374
Electronic Edition (ACM DL) BibTeX

Panel

Janos Sztipanovits, C. John Glossner, Trevor N. Mudge, Chris Rowen, Alberto L. Sangiovanni-Vincentelli, Wayne Wolf, Feng Zhao:
Grand challenges in embedded systems. 333
Electronic Edition (ACM DL) BibTeX