5. EMSOFT 2005: Jersey City, New Jersey, USA
- Wayne H. Wolf:
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
Communication and devices
- Jun Sun, Wanghong Yuan, Mahesh Kallahalla, Nayeem Islam:
HAIL: a language for easy and correct device access. 1-9 - Cong Liu, Alex Kondratyev, Yosinori Watanabe, Alberto L. Sangiovanni-Vincentelli:
A structural approach to quasi-static schedulability analysis of communicating concurrent programs. 10-16 - 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 - Neal K. Bambha, Shuvra S. Bhattacharyya:
Communication strategies for shared-bus embedded multiprocessors. 21-24
Modeling
- Ethan K. Jackson, Janos Sztipanovits:
Using separation of concerns for embedded systems design. 25-34 - Kai Chen, Janos Sztipanovits, Sandeep Neema:
Toward a semantic anchoring infrastructure for domain-specific modeling languages. 35-43 - Vugranam C. Sreedhar, Maria-Cristina V. Marinescu:
From statecharts to ESP: programming with events, states and predicates for embedded systems. 48-51
Languages
- Ana Azevedo, Arun Kejariwal, Alexander V. Veidenbaum, Alexandru Nicolau:
High performance annotation-aware JVM for Java cards. 52-61 - Johannes Helander:
Deeply embedded XML communication: towards an interoperable and seamless world. 62-67 - 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
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
Scheduling
- Ernesto Wandeler, Lothar Thiele:
Real-time interfaces for interface-based design of real-time systems with fixed priority scheduling. 80-89 - Jacques Combaz, Jean-Claude Fernandez, Thierry Lepley, Joseph Sifakis:
QoS control for optimality and safety. 90-99 - Jaswinder Ahluwalia, Ingolf H. Krüger, Walter Phillips, Michael Meisinger:
Model-based run-time monitoring of end-to-end deadlines. 100-109 - Shan Ding, Naohiko Murakami, Hiroyuki Tomiyama, Hiroaki Takada:
A GA-based scheduling method for FlexRay systems. 110-113
Optimization
- Stephen Hines, Prasad A. Kulkarni, David B. Whalley, Jack W. Davidson:
Using de-optimization to re-optimize code. 114-123 - Yi-Ping You, Chung-Wen Huang, Jenq Kuen Lee:
A sink-n-hoist framework for leakage power reduction. 124-133 - Feihui Li, Guilin Chen, Mahmut T. Kandemir, Mustafa Karaköy:
Exploiting last idle periods of links for network power management. 134-137 - Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio:
A UML 2.0 profile for SystemC: toward high-level SoC design. 138-141
Design methodologies
- Graham R. Hellestrand:
Systems architecture: the empirical way: abstract architectures to 'optimal' systems. 147-158 - 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
Specification and semantics
- Jean-Louis Colaço, Bruno Pagano, Marc Pouzet:
A conservative extension of synchronous data-flow with state machines. 173-182 - 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 - Massimo Baleani, Alberto Ferrari, Leonardo Mangeruca, Alberto L. Sangiovanni-Vincentelli:
Efficient embedded software design with synchronous models. 187-190
Compilation and power
- Luca de Alfaro, Vishwanath Raman, Marco Faella, Rupak Majumdar:
Code aware resource management. 191-202 - Madhukar Anand, Sebastian Fischmeister, Jesung Kim, Insup Lee:
Distributed-code generation from hybrid systems models for time-delayed multirate systems. 210-213 - 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
Clocks and energy
- Selim Gurun, Chandra Krintz:
AutoDVS: an automatic, general-purpose, dynamic clock scheduling system for hand-held devices. 218-226 - Guilin Chen, Mahmut T. Kandemir:
Optimizing inter-processor data locality on embedded chip multiprocessors. 227-236 - 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 - 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 - Ruibin Xu, Daniel Mossé, Rami G. Melhem:
Minimizing expected energy in real-time embedded systems. 251-254
Formal methods
- Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli:
Tag machines. 255-263 - Stephen A. Edwards, Olivier Tardieu:
SHIM: a deterministic model for heterogeneous embedded systems. 264-272 - Jie Liu, Elaine Cheong, Feng Zhao:
Semantics-based optimization across uncoordinated tasks in networked embedded systems. 273-281 - Jean-Pierre Talpin, Dumitru Potop-Butucaru, Julien Ouy, Benoît Caillaud:
From multi-clocked synchronous processes to latency-insensitive modules. 282-285
Software testing
- Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen, Arne Skou:
Testing real-time embedded software using UPPAAL-TRON: an industrial case study. 299-306 - Xiushan Feng, Alan J. Hu:
Cutpoints for formal equivalence verification of embedded software. 307-316
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 - Simon Oberthür, Carsten Böke, Björn Griese:
Dynamic online reconfiguration for customizable and self-optimizing operating systems. 335-338 - Albert Cohen, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau, Marc Pouzet:
Synchronization of periodic clocks. 339-342
Real time properties
- Lalita Jategaonkar Jagadeesan, Ramesh Viswanathan:
Passive mid-stream monitoring of real-time properties. 343-352 - 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 - Qiuhua Cao, John A. Stankovic:
Dual face phased array radar scheduling with multiple constraints. 361-370 - Gabor Madl, Sherif Abdelwahed:
Model-based analysis of distributed real-time embedded system composition. 371-374
Panel
- Janos Sztipanovits, C. John Glossner, Trevor N. Mudge, Chris Rowen, Alberto L. Sangiovanni-Vincentelli, Wayne H. Wolf, Feng Zhao:
Grand challenges in embedded systems. 333