Model-Based Design of Adaptive Embedded Systems

Model-Based Design of Adaptive Embedded Systems
Author :
Publisher : Springer Science & Business Media
Total Pages : 314
Release :
ISBN-10 : 9781461448211
ISBN-13 : 1461448212
Rating : 4/5 (212 Downloads)

Book Synopsis Model-Based Design of Adaptive Embedded Systems by : Twan Basten

Download or read book Model-Based Design of Adaptive Embedded Systems written by Twan Basten and published by Springer Science & Business Media. This book was released on 2013-03-15 with total page 314 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Model-Based Design of Adaptive Embedded Systems Related Books

Model-Based Design of Adaptive Embedded Systems
Language: en
Pages: 314
Authors: Twan Basten
Categories: Technology & Engineering
Type: BOOK - Published: 2013-03-15 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book describes model-based development of adaptive embedded systems, which enable improved functionality using the same resources. The techniques presented
Model-Based Engineering of Collaborative Embedded Systems
Language: en
Pages: 411
Authors: Wolfgang Böhm
Categories: Computers
Type: BOOK - Published: 2020-12-14 - Publisher: Springer Nature

DOWNLOAD EBOOK

This Open Access book presents the results of the "Collaborative Embedded Systems" (CrESt) project, aimed at adapting and complementing the methodology underlyi
Model-Based Design for Embedded Systems
Language: en
Pages: 670
Authors: Gabriela Nicolescu
Categories: Computers
Type: BOOK - Published: 2018-09-03 - Publisher: CRC Press

DOWNLOAD EBOOK

The demands of increasingly complex embedded systems and associated performance computations have resulted in the development of heterogeneous computing archite
Formal Methods and Software Engineering
Language: en
Pages: 682
Authors: Shengchao Qin
Categories: Computers
Type: BOOK - Published: 2011-10-12 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 13th International Conference on Formal Engineering Methods, ICFEM 2011, held in Durham, UK, October 2011.
Formal Aspects of Component Software
Language: en
Pages: 286
Authors: Corina S Pasareanu
Categories: Computers
Type: BOOK - Published: 2013-01-12 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the revised selected papers of the 9th International Symposium on Formal Aspects of Component Software, FACS 2012, held in Mountain View,