Skip to main content
SpringerLink
Log in

Lectures on Embedded Systems

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

  • Textbook
  • © 1998

Overview

Editors:
  1. Grzegorz Rozenberg
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Frits W. Vaandrager
    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 1494)

Included in the following conference series:

Conference proceedings info: EEF School 1996.

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

Access this book

Log in via an institution
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 (16 chapters)

  1. Front Matter

    Download chapter PDF

  2. Introduction

    • Frits Vaandrager
    Pages 1-3

  3. Verification of clocked and hybrid systems

    • Yonit Kestent, Zohar Manna, Amir Pnueli
    Pages 4-73

  4. Analyzing and synthesizing hybrid control systems

    • Michael S. Branicky
    Pages 74-113

  5. Model checking timed automata

    • Sergio Yovine
    Pages 114-152

  6. On modeling real-time task systems

    • Deji Chen, Aloysius Mok, Sanjoy Baruah
    Pages 153-169

  7. A modular approach for programming embedded systems

    • Shangping Ren, Gul A. Agha
    Pages 170-207

  8. Proof-based system engineering and embedded systems

    • Gerard Le Lann
    Pages 208-248

  9. A design notation and toolset for high-performance embedded systems development

    • Devesh Bhatt, John Shackleton
    Pages 249-267

  10. The maturity of object-oriented methodologies

    • André van den Hoogenhof
    Pages 268-303

  11. Object oriented development of embedded systems with the octopus method

    • Juha Kuusela
    Pages 304-315

  12. Engineering of real-time systems with an experiment in hybrid control

    • Anders P. Ravn, Thomas J. Eriksen, Michael Holdgaard, Hans Rischel
    Pages 316-352

  13. Formal methods in the design of a storm surge barrier control system

    • Pim Kars
    Pages 353-367

  14. Statecharts in use: structured analysis and object-orientation

    • Bruce Powel Douglass, David Harel, Mark Trakhtenbrot
    Pages 368-394

  15. Embedded systems in consumer products

    • R. H. Bourgonjon
    Pages 395-403

  16. The long road from research to telecommunication applications

    • Hans F. van Rietschote
    Pages 404-412

  17. Development of embedded software at ICT

    • Freddie T. G. Veltmaat
    Pages 413-421

  18. Back Matter

    Download chapter PDF
Back to top

Keywords

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

Publish with us

Policies and ethics

Back to top

Search

Navigation