Bücher der Reihe Embedded Systems

This book presents a new set of embedded system design techniques called multidimensional data flow, which combine the various benefits offered by existing methodologies such as block-based system design, high-level simulation, system analysis and polyhedral optimization. It describes a novel architecture for efficient and flexible high-speed communication in hardware that can be used both in manual and automatic system design and that offers various design alternatives, balancing achievable throughput with required hardware size. This book demonstrates multidimensional data flow by showing its potential for modeling, analysis, and synthesis of complex image processing applications. These applications are presented in terms of their fundamental properties and resulting design constraints. Coverage includes a discussion of how far the latter can be met better by multidimensional data flow than alternative approaches. Based on these results, the book explains the principles of fine-grained system level analysis and high-speed communication synthesis. Additionally, an extensive review of related techniques is given in order to show their relation to multidimensional data flow.

Unlike other books that focus on a single abstraction level such circuit level or system level alone, the focus of this book is to deal with the different reliability challenges across different levels starting from the physical level all the way to the system level (cross-layer approaches).

This book discusses analysis, design and optimization techniques for streaming multiprocessor systems, while satisfying a given area, performance, and energy budget. The design flow described in this book extends to thermal and energy optimization with multiple applications running sequentially and concurrently.

A unique feature of this textbook is to provide a comprehensive introduction to the fundamental knowledge in embedded systems, with applications in cyber-physical systems and the Internet of things.

Readers learn step-by-step the key requirements for debugging a modern, silicon SOC implementation, nine factors that complicate this debugging task, and a new debug approach that addresses these requirements and complicating factors.

This book discusses the design and performance analysis of SDRAM controllers that cater to both real-time and best-effort applications, i.e.

This book provides a comprehensive overview of the state-of-the-art, data flow-based techniques for the analysis, modeling and mapping technologies of concurrent applications on multi-processors.

Verification of real-time requirements in systems-on-chip becomes more complex as applications are integrated. This book explains the concepts of predictability and composability, and shows how to apply them to the design and analysis of a memory controller.

This book presents the first comprehensive approach integrating WCET considerations into the code generation process. Based on the proposed reconciliation between a compiler and a timing analyzer, a wide range of novel optimization techniques is provided.

This book presents a systematic methodology for exploiting word-width information in embedded compilers. It details a technique for a context-driven strength reduction for constant multiplications, including a trade-off with application accuracy requirements.

This book provides a comprehensive description and implementation methodology for the Philips/NXP Aethereal/aelite Network-on-Chip. It uses real-world illustrations in the form of case studies and examples that communicate the power of the methods presented.

Through the device of a set of real examples taken from recent industry experience, this invaluable volume distils the state of the art in system-level design models and provides a wealth of practical guidance to readers that can be put into immediate use.

The foundation of embedded security design is presented in this overview, enhancing understanding for security engineers and designers alike. Case studies illustrate the concepts behind topics like contactless smartcards, and PDA and satellite security.

This book describes the challenges in performing dynamic reconfigurations in real-time systems. It shows how to design efficient support architectures-including dynamic cache reconfiguration, hardware/software partitioning and task mapping and scheduling.

This book provides comprehensive coverage of verification and debugging techniques for embedded software, which is frequently used in safety critical applications (e.g., automotive), where failures are unacceptable.

This book highlights current research in optical interconnect technologies and architectures. Particular emphasis is given to the ways photonic components are assembled into architectures to address the needs of data-intensive on-chip communication.

Readers will benefit from a new design and analysis framework for multiprocessor real-time systems, which will translate into a significantly enhanced ability to provide formally verified, safety-critical real-time systems at a significantly lower cost.

Bridging the gaps between the disciplines of model-based design, real-time analysis and model-driven development, this book demonstrates techniques for modeling, verifying and validating the behavior and performance of complex distributed embedded systems.

This book describes model-based development of adaptive embedded systems, which enable improved functionality using the same resources. 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.

This book describes model-based development of adaptive embedded systems, which enable improved functionality using the same resources. 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.

Bridging the gaps between the disciplines of model-based design, real-time analysis and model-driven development, this book demonstrates techniques for modeling, verifying and validating the behavior and performance of complex distributed embedded systems.

This book provides a comprehensive introduction to embedded systems for smart appliances and energy management, bringing together for the first time a multidisciplinary blend of topics from embedded systems, information technology and power engineering.

This book provides a comprehensive introduction to embedded systems for smart appliances and energy management, bringing together for the first time a multidisciplinary blend of topics from embedded systems, information technology and power engineering.

Despite the importance of evolvability for these types of systems, the field has received scant attention from the scientific and engineering communities.Views on Evolvability of Embedded Systems focuses on the topic of evolvability of embedded systems from an applied scientific perspective.

This book presents a new set of embedded system design techniques called multidimensional data flow, which combine the various benefits offered by existing methodologies such as block-based system design, high-level simulation, system analysis and polyhedral optimization.