Model-Based Design of Adaptive Embedded Systems

✍ Scribed by Twan Basten, Roelof Hamberg, Frans Reckers, Jacques Verriet

Publisher: Springer
Year: 2013
Tongue: English
Leaves: 313
Category: Library

No coin nor oath required. For personal study only.

✦ Synopsis

This book describes model-based development of adaptive embedded systems, which enable improved functionality using the same resources. The techniques presented facilitate design from a higher level of abstraction, focusing on the problem domain rather than on the solution domain, thereby increasing development efficiency. Models are used to capture system specifications and to implement (manually or automatically) system functionality. The authors demonstrate the real impact of adaptivity on engineering of embedded systems by providing several industrial examples of the models used in the development of adaptive embedded systems.

📜 SIMILAR VOLUMES

Model-Based Design of Adaptive Embedded

📁 Model-Based Design of Adaptive Embedded Systems

✍ Jacques Verriet, Twan Basten, Roelof Hamberg (auth.), Twan Basten, Roelof Hamber 📂 Library 📅 2013 🏛 Springer-Verlag New York 🌐 English

<p>This book describes model-based development of adaptive embedded systems, which enable improved functionality using the same resources. The techniques presented facilitate design from a higher level of abstraction, focusing on the problem domain rather than on the solution domain, thereby increas

Model-Based Design of Adaptive Embedded

📁 Model-Based Design of Adaptive Embedded Systems

✍ Jacques Verriet, Twan Basten, Roelof Hamberg (auth.), Twan Basten, Roelof Hamber 📂 Library 📅 2013 🏛 Springer-Verlag New York 🌐 English

Model-based design for embedded systems

📁 Model-based design for embedded systems

✍ Gabriela Nicolescu, Pieter J. Mosterman 📂 Library 📅 2010 🏛 CRC Press 🌐 English

<P>The demands of increasingly complex embedded systems and associated performance computations have resulted in the development of heterogeneous computing architectures that often integrate several types of processors, analog and digital electronic components, and mechanical and optical components—

Embedded Systems Design Based on Formal

📁 Embedded Systems Design Based on Formal Models of Computation

✍ Ivan Radojevic, Zoran Salcic (auth.) 📂 Library 📅 2011 🏛 Springer Netherlands 🌐 English

<p><p>One of the key problems in modern embedded systems design is the productivity gap. While the performance of computing architectures has been rapidly increasing in the past few decades, design tools have not kept pace. As a result, it is becoming increasingly difficult for embedded systems desi

Embedded systems design based on formal

📁 Embedded systems design based on formal models of computation

✍ Radojevic, Ivan 📂 Library 📅 2012 🏛 Springer 🌐 English

Introduction -- Models of computation and languages -- Specification in DFCharts -- Semantics of DFCharts -- DFCharts in systemC and esterel -- Java environment for DFCharts -- Heterogeneous reactive architectures of embedded systems -- Implementation of DFCharts on HiDRA -- Conclusions.

Embedded Control System Design: A Model

📁 Embedded Control System Design: A Model Based Approach

✍ Alexandru Forrai 📂 Library 📅 2012 🏛 Springer 🌐 English

Control system design is a challenging task for practicing engineers. It requires knowledge of different engineering fields, a good understanding of technical specifications and good communication skills. The current book introduces the reader into practical control system design, bridging the gap