Skip to main content
SpringerLink
Log in
Book cover

Embedded Software

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

  • Conference proceedings
  • © 2002

Overview

Editors:
  1. Alberto Sangiovanni-Vincentelli

    1. Department of EECS, University of California at Berkeley, Berkeley, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Joseph Sifakis

    1. Verimag, Centre Equation, Gieres, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Included in the following conference series:

Conference proceedings info: EMSOFT 2002.

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (30 papers)

  1. Front Matter

    Pages I-IX
    Download chapter PDF

  2. Embedded Systems: Challenges in Specification and Verification

    • Amir Pnueli
    Pages 1-14

  3. An Approach to Designing Safe Embedded Software

    • Nancy G. Leveson
    Pages 15-29

  4. Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?)

    • David Harel
    Pages 30-31

  5. 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

  6. A Giotto-Based Helicopter Control System

    • Christoph M. Kirsch, Marco A. A. Sanvido, Thomas A. Henzinger, Wolfgang Pree
    Pages 46-60

  7. Principles of Real-Time Programming

    • Christoph M. Kirsch
    Pages 61-75

  8. Time-Safety Checking for Embedded Programs

    • Thomas A. Henzinger, Christoph M. Kirsch, Rupak Majumdar, Slobodan Matic
    Pages 76-92

  9. Compositional Modeling in Metropolis

    • Gregor Gössler, Alberto Sangiovanni-Vincentelli
    Pages 93-107

  10. Timed Interfaces

    • Luca de Alfaro, Thomas A. Henzinger, Mariëlle Stoelinga
    Pages 108-122

  11. Description and Schedulability Analysis of the Software Architecture of an Automated Vehicle Control System

    • Stavros Tripakis
    Pages 123-137

  12. Formal Modeling and Analysis of Advanced Scheduling Features in an Avionics RTOS

    • Darren Cofer, Murali Rangarajan
    Pages 138-152

  13. Scalable Applications for Energy-Aware Processors

    • Giorgio C. Buttazzo
    Pages 153-165

  14. Upgrading Embedded Software in the Field: Dependability and Survivability

    • Lui Sha
    Pages 166-181

  15. Real-Time Virtual Resource: A Timely Abstraction for Embedded Systems

    • Aloysius K. Mok, Alex Xiang Feng
    Pages 182-196

  16. JCOD: A Lightweight Modular Compilation Technology for Embedded Java

    • Bertrand Delsart, Vania Joloboff, Eric Paire
    Pages 197-212

  17. Decreasing Memory Overhead in Hard Real-Time Garbage Collection

    • Tobias Ritzau, Peter Fritzson
    Pages 213-226

  18. 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

  19. Synchronous Modelling of Asynchronous Systems

    • Nicolas Halbwachs, Siwar Baghdadi
    Pages 240-251

  20. A Protocol for Loosely Time-Triggered Architectures

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

Other volumes

  1. Embedded Software

Keywords

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

Publish with us

Policies and ethics

Back to top

Search

Navigation