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 (11 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: 404
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 Safety and Assessment
Language: en
Pages: 217
Authors: Frank Ortmeier
Categories: Computers
Type: BOOK - Published: 2014-09-24 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 4th International Symposium on Model-Based Safety and Assessment, IMBSA 2014, held in Munich, Germany, in
Cyber Physical Systems. Design, Modeling, and Evaluation
Language: en
Pages: 138
Authors: Christian Berger
Categories: Computers
Type: BOOK - Published: 2017-01-11 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the proceedings of the 6th International Workshopon Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy2016, held in conjunc
Formal Modeling and Analysis of Timed Systems
Language: en
Pages: 277
Authors: Marcin Jurdzinski
Categories: Computers
Type: BOOK - Published: 2012-08-31 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 10th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2012, held in Lond