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

Introduction

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.

Keywords

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

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-65193-4
  • Copyright Information Springer-Verlag 1998
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-65193-2
  • Online ISBN 978-3-540-49498-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Electronics
Telecommunications
Biotechnology