Bøger i Embedded Systems serien

Modern multimedia systems are becoming increasingly multiprocessor and heterogeneous to match the high performance and low power demands placed on them by the large number of applications. The concurrent execution of these applications causes interference and unpredictability in the performance of these systems. In Multimedia Multiprocessor Systems, an analysis mechanism is presented to accurately predict the performance of multiple applications executing concurrently. With high consumer demand the time-to-market has become significantly lower. To cope with the complexity in designing such systems, an automated design-flow is needed that can generate systems from a high-level architectural description such that they are not error-prone and consume less time. Such a design methodology is presented for multiple use-cases -- combinations of active applications. A resource manager is also presented to manage the various resources in the system, and to achieve the goals of performance prediction, admission control and budget enforcement.

The focus of this book is on enabling real-time embedded software engineering while providing sufficient theoretical foundations and hardware background to understand the rationale for key decisions in RTOS and application design and implementation.

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 programmer-centric book delivers a practical introduction to embedded software development, with a focus on open-source components. It is written in a way that enables even novice practitioners to grasp the development process as a whole. Incorporating real code fragments and explicit open-source RTOS references throughout, the text defines

The focus of this book is on enabling real-time embedded software engineering while providing sufficient theoretical foundations and hardware background to understand the rationale for key decisions in RTOS and application design and implementation.

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.

This book covers the current communication architectures that are implemented in manufactured systems-on-chip, as well as those that are being proposed to overcome the existing limitations. The text addresses well-established communication buses and less-common networks on chip, along with modern technologies that propose the use of carbon nano tubes and optical links to speed up data transfer and increase both security levels and quality of service. Contributors address on-chip transaction security involving critical information and the mechanisms to protect from an external attack, examining different communication protocols and their impact on system performance.

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.