Skip to main content
  • Conference proceedings
  • © 2002

Embedded Software

Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2491)

Conference series link(s): EMSOFT: International Workshop on Embedded Software

Conference proceedings info: EMSOFT 2002.

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (30 papers)

  1. Front Matter

    Pages I-IX
  2. Platform-Based Embedded Software Design for Multi-vehicle Multi-modal Systems

    • T. John Koo, Judith Liebman, Cedric Ma, Benjamin Horowitz, Alberto Sangiovanni-Vincentelli, Shankar Sastry
    Pages 32-45
  3. A Giotto-Based Helicopter Control System

    • Christoph M. Kirsch, Marco A. A. Sanvido, Thomas A. Henzinger, Wolfgang Pree
    Pages 46-60
  4. Principles of Real-Time Programming

    • Christoph M. Kirsch
    Pages 61-75
  5. Time-Safety Checking for Embedded Programs

    • Thomas A. Henzinger, Christoph M. Kirsch, Rupak Majumdar, Slobodan Matic
    Pages 76-92
  6. Compositional Modeling in Metropolis

    • Gregor Gössler, Alberto Sangiovanni-Vincentelli
    Pages 93-107
  7. Timed Interfaces

    • Luca de Alfaro, Thomas A. Henzinger, Mariëlle Stoelinga
    Pages 108-122
  8. Scalable Applications for Energy-Aware Processors

    • Giorgio C. Buttazzo
    Pages 153-165
  9. Real-Time Virtual Resource: A Timely Abstraction for Embedded Systems

    • Aloysius K. Mok, Alex Xiang Feng
    Pages 182-196
  10. JCOD: A Lightweight Modular Compilation Technology for Embedded Java

    • Bertrand Delsart, Vania Joloboff, Eric Paire
    Pages 197-212
  11. Decreasing Memory Overhead in Hard Real-Time Garbage Collection

    • Tobias Ritzau, Peter Fritzson
    Pages 213-226
  12. Speedup Prediction for Selective Compilation of Embedded Java Programs

    • Vincent Colin de Verdière, Sébastien Cros, Christian Fabre, Romain Guider, Sergio Yovine
    Pages 227-239
  13. Synchronous Modelling of Asynchronous Systems

    • Nicolas Halbwachs, Siwar Baghdadi
    Pages 240-251
  14. A Protocol for Loosely Time-Triggered Architectures

    • Albert Benveniste, Paul Caspi, Paul Le Guernic, Hervé Marchand, Jean -Pierre Talpin, Stavros Tripakis
    Pages 252-265

Other Volumes

  1. Embedded Software

Editors and Affiliations

  • Department of EECS, University of California at Berkeley, Berkeley, USA

    Alberto Sangiovanni-Vincentelli

  • Verimag, Centre Equation, Gieres, France

    Joseph Sifakis

Bibliographic Information

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access