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.
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.
Les mer
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.
Les mer
Verification of clocked and hybrid systems.- Analyzing and synthesizing hybrid control systems.- Model checking timed automata.- On modeling real-time task systems.- A modular approach for programming embedded systems.- Proof-based system engineering and embedded systems.- A design notation and toolset for high-performance embedded systems development.- The maturity of object-oriented methodologies.- Object oriented development of embedded systems with the octopus method.- Engineering of real-time systems with an experiment in hybrid control.- Formal methods in the design of a storm surge barrier control system.- Statecharts in use: structured analysis and object-orientation.- Embedded systems in consumer products.- The long road from research to telecommunication applications.- Development of embedded software at ICT.
Les mer
Springer Book Archives
Springer Book Archives
GPSR Compliance
The European Union's (EU) General Product Safety Regulation (GPSR) is a set of rules that requires consumer products to be safe and our obligations to ensure this.
If you have any concerns about our products you can contact us on ProductSafety@springernature.com.
In case Publisher is established outside the EU, the EU authorized representative is:
Springer Nature Customer Service Center GmbH
Europaplatz 3
69115 Heidelberg, Germany
ProductSafety@springernature.com
Les mer
Produktdetaljer
ISBN
9783540651932
Publisert
1998-10-14
Utgiver
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG; Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Høyde
235 mm
Bredde
155 mm
Aldersnivå
Research, UP, P, 05, 06
Språk
Product language
Engelsk
Format
Product format
Heftet
Antall sider
431