+612 9045 4394
 
CHECKOUT
Lectures on Embedded Systems :  European Educational Forum School on Embedded Systems, Veldhoven, the Netherlands, November 25-29, 1996 - Grzegorz Rozenberg

Lectures on Embedded Systems

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

By: Grzegorz Rozenberg (Editor), Frits W. Vaandrager (Editor)

Paperback

Published: November 1998
Ships: 15 business days
15 business days
$103.28
or 4 easy payments of $25.82 with Learn more

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.

Introductionp. 1
Verification of Clocked and Hybrid Systemsp. 4
Analyzing and Synthesizing Hybrid Control Systemsp. 74
Model Checking Timed Automatap. 114
On Modeling Real-Time Task Systemsp. 153
A Modular Approach for Programming Embedded Systemsp. 170
Proof-Based System Engineering and Embedded Systemsp. 208
A Design Notation and Toolset for High-Performance Embedded Systems Developmentp. 249
The Maturity of Object-Oriented Methodologiesp. 268
Object Oriented Development of Embedded Systems with the Octopus Methodp. 304
Engineering of Real-Time Systems with an Experiment in Hybrid Controlp. 316
Formal Methods in the Design of a Storm Surge Barrier Control Systemp. 353
Statecharts in Use: Structured Analysis and Object-Orientationp. 368
Embedded Systems in Consumer Productsp. 395
The Long Road from Research to Telecommunication Applicationsp. 404
Development of Embedded Software at ICTp. 413
Author Indexp. 423
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540651932
ISBN-10: 3540651934
Series: Lecture Notes in Computer Science,
Audience: General
Format: Paperback
Language: English
Number Of Pages: 421
Published: November 1998
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.72 x 15.72  x 2.34
Weight (kg): 0.54