Description |
viii, 421 pages : illustrations ; 24 cm |
Series |
Lecture notes in computer science, 0302-9743 ; 1494 |
|
Lecture notes in computer science ; 1494
|
Contents |
Introduction / F. W. Vaandrager -- Verification of Clocked and Hybrid Systems / Y. Kesten, Z. Manna and A. Pnueli -- Analyzing and Synthesizing Hybrid Control Systems / M. S. Branicky -- Model Checking Timed Automata / S. Yovine -- On Modeling Real-Time Task Systems / D. Chen, A. Mok and S. Baruah -- A Modular Approach for Programming Embedded Systems / S. Ren and G. A. Agha -- Proof-Based System Engineering and Embedded Systems / G. Le Lann -- A Design Notation and Toolset for High-Performance Embedded Systems Development / D. Bhatt and J. Shackleton -- The Maturity of Object-Oriented Methodologies / A. van den Hoogenhof -- Object Oriented Development of Embedded Systems with the Octopus Method / J. Kuusela -- Engineering of Real-Time Systems with an Experiment in Hybrid Control / A. P. Ravn, T. J. Eriksen and M. Holdgaard [et al.] -- Formal Methods in the Design of a Storm Surge Barrier Control System / P. Kars |
|
Statecharts in Use: Structured Analysis and Object-Orientation / B. P. Douglass, D. Harel and M. Trakhtenbrot -- Embedded Systems in Consumer Products / R. H. Bourgonjon -- The Long Road from Research to Telecommunication Applications / H. F. van Rietschote -- Development of Embedded Software at ICT / F. T. G. Veltmaat |
Summary |
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 |
Notes |
Includes index |
Bibliography |
Includes bibliographical references and index |
Notes |
Also available in print |
|
Mode of access: World Wide Web |
|
Print version record |
|
Lecture notes in computer science no:1494 0302-9743 |
Subject |
Embedded computer systems.
|
Author |
Rozenberg, Grzegorz.
|
|
Vaandrager, Frits.
|
LC no. |
98046725 |
ISBN |
3540651934 (paperback: acid-free paper) |
|