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

Front Cover
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.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Selected pages

Contents

Introduction
1
Verification of Clocked and Hybrid Systems
4
Analyzing and Synthesizing Hybrid Control Systems
72
Model Checking Timed Automata
112
On Modeling RealTime Task Systems
151
A Modular Approach for Programming Embedded Systems
168
ProofBased System Engineering and Embedded Systems
206
A Design Notation and Toolset for HighPerformance Embedded Systems Development
247
Object Oriented Development of Embedded Systems with the Octopus Method
302
Engineering of RealTime Systems with an Experiment in Hybrid Control
314
Formal Methods in the Design of a Storm Surge Barrier Control System
351
Structured Analysis and ObjectOrientation
366
Embedded Systems in Consumer Products
393
The Long Road from Research to Telecommunication Applications
402
Development of Embedded Software at ICT
411
Author Index
421

The Maturity of ObjectOriented Methodologies
266

Other editions - View all

Common terms and phrases