Table of contents

  1. Front Matter
  2. Frits Vaandrager
    Pages 1-3
  3. Yonit Kestent, Zohar Manna, Amir Pnueli
    Pages 4-73
  4. Michael S. Branicky
    Pages 74-113
  5. Sergio Yovine
    Pages 114-152
  6. Deji Chen, Aloysius Mok, Sanjoy Baruah
    Pages 153-169
  7. Shangping Ren, Gul A. Agha
    Pages 170-207
  8. André van den Hoogenhof
    Pages 268-303
  9. Anders P. Ravn, Thomas J. Eriksen, Michael Holdgaard, Hans Rischel
    Pages 316-352
  10. Bruce Powel Douglass, David Harel, Mark Trakhtenbrot
    Pages 368-394
  11. R. H. Bourgonjon
    Pages 395-403
  12. Freddie T. G. Veltmaat
    Pages 413-421
  13. 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.


Control Systems Dependable Computing Embedded Systems Formal Methods Hybrid Systems System algorithms communication distributed computing modeling

Bibliographic information

  • Book Title Lectures on Embedded Systems
  • Book Subtitle European Educational Forum School on Embedded Systems Veldhoven, The Netherlands November 25–29, 1996
  • Editors Grzegorz Rozenberg
    Frits W. Vaandrager
  • Series Title Lecture Notes in Computer Science
  • Series Abbreviated Title Lect Notes Comput Sci
  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1998
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Softcover ISBN 978-3-540-65193-2
  • eBook ISBN 978-3-540-49498-0
  • Series ISSN 0302-9743
  • Series E-ISSN 1611-3349
  • Edition Number 1
  • Number of Pages IX, 431
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Theory of Computation
    Special Purpose and Application-Based Systems
    Operating Systems
    Software Engineering
  • Buy this book on publisher's site
Industry Sectors
IT & Software
Consumer Packaged Goods
Finance, Business & Banking