Lectures on Embedded Systems
Springer Berlin (Verlag)
978-3-540-65193-2 (ISBN)
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.
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.
Erscheint lt. Verlag | 14.10.1998 |
---|---|
Reihe/Serie | Lecture Notes in Computer Science |
Zusatzinfo | IX, 431 p. |
Verlagsort | Berlin |
Sprache | englisch |
Maße | 155 x 235 mm |
Gewicht | 590 g |
Themenwelt | Mathematik / Informatik ► Informatik ► Betriebssysteme / Server |
Mathematik / Informatik ► Informatik ► Software Entwicklung | |
Mathematik / Informatik ► Informatik ► Theorie / Studium | |
Schlagworte | algorithms • Communication • control systems • Dependable Computing • Distributed Computing • Embedded Systems • formal methods • Hardcover, Softcover / Informatik, EDV/Informatik • HC/Informatik, EDV/Informatik • Hybrid Systems • Modeling • System |
ISBN-10 | 3-540-65193-4 / 3540651934 |
ISBN-13 | 978-3-540-65193-2 / 9783540651932 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich