Skip to main content
  • Textbook
  • © 1998

Lectures on Embedded Systems

European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996

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

Conference series link(s): EEF School: School organized by the European Educational Forum

Conference proceedings info: EEF School 1996.

Buy it now

Buying options

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

Table of contents (16 chapters)

  1. Front Matter

  2. Introduction

    • Frits Vaandrager
    Pages 1-3
  3. Verification of clocked and hybrid systems

    • Yonit Kestent, Zohar Manna, Amir Pnueli
    Pages 4-73
  4. Model checking timed automata

    • Sergio Yovine
    Pages 114-152
  5. On modeling real-time task systems

    • Deji Chen, Aloysius Mok, Sanjoy Baruah
    Pages 153-169
  6. A modular approach for programming embedded systems

    • Shangping Ren, Gul A. Agha
    Pages 170-207
  7. The maturity of object-oriented methodologies

    • André van den Hoogenhof
    Pages 268-303
  8. Engineering of real-time systems with an experiment in hybrid control

    • Anders P. Ravn, Thomas J. Eriksen, Michael Holdgaard, Hans Rischel
    Pages 316-352
  9. Statecharts in use: structured analysis and object-orientation

    • Bruce Powel Douglass, David Harel, Mark Trakhtenbrot
    Pages 368-394
  10. Embedded systems in consumer products

    • R. H. Bourgonjon
    Pages 395-403
  11. Development of embedded software at ICT

    • Freddie T. G. Veltmaat
    Pages 413-421
  12. Back Matter

About this book

This volume originates from the School on Embedded Systems held in Veldhoven, The Netherlands, in November 1996 as the first event organized by the European Educational Forum. Besides thoroughly reviewed and revised chapters based on lectures given during the school, additional papers have been solicited for inclusion in the present book in order to complete coverage of the relevant topics.
The authors adress professionals involved in the design and management of embedded systems in industry as well as researchers and students interested in a competent survey. The book will convince the reader that many architectural and algorithmic problems in the area of embedded systems have well documented optimal or correct solutions, notably in the fields of real-time computing, distributed computing, and fault-tolerant computing.

Bibliographic Information

Buy it now

Buying options

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