Model-Based Design of Adaptive Embedded Systems

ISBN-13: 9781489996190 / Angielski / Miękka / 2015 / 306 str.

Twan Basten; Roelof Hamberg; Frans Reckers

Opis

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.

Spis treści

Adaptivity in Professional Printing Systems.- Aspects of Adaptive Systems Engineering: A Professional Printing Case.- Piezo Printhead Control: Jetting Any Drop at Any Time.- Adaptive Strategies for Productive Toner Printers.- Reasoning with Uncertainty about System Behaviour: Making Printing Systems Adaptive.- Supporting the Architecting Process of Adaptable Systems.- Model-Driven Design-Space Exploration for Software-Intensive Embedded Systems.- Engineering Embedded Software: Managing Complexity and Evolution.- Reflections on the Octopus Project.

Blurb

Today’s embedded systems have to operate in a wide variety of dynamically changing environmental circumstances. Adaptivity, the ability of a system to autonomously adapt itself, is a means to optimise a system’s behaviour to accommodate changes in its environment. It involves making in-product trade-offs between system qualities at system level. The main challenge in the development of adaptive systems is keeping control of the intrinsic complexity of such systems while working with multi-disciplinary teams to create different parts of the system.

Model-Based Development of Adaptive Embedded Systems focuses on the development of adaptive embedded systems both from an architectural and methodological point of view. It describes architectural solution patterns for adaptive systems and state-of-the-art model-based methods and techniques to support adaptive system development. In particular, the book describes the outcome of the Octopus project, a cooperation of a multi-disciplinary team of academic and industrial researchers. This industry-as-laboratory project has used the professional printing domain to validate the project results in an industrial context.

Model-Based Development of Adaptive Embedded Systems is targeted at both academic researchers and industrial practitioners. It provides state-of-the art surveys of important aspects of adaptive embedded systems, including system architecture, software architecture, system design, and control strategies. These topics are addressed from a systems engineering perspective by researchers from different disciplines including systems engineering, software engineering, control theory, computer science, and electrical engineering with a clear focus on the industrial validation of the research outcome.