Bøger i Embedded Systems serien

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 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

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

Embedded Software Development: The Open-Source Approach delivers a practical introduction to embedded software development, with a focus on open-source components. This programmer-centric book is written in a way that enables even novice practitioners to grasp the development process as a whole. Incorporating real code fragments and explicit, real-world open-source operating system references (in particular, FreeRTOS) throughout, the text: Defines the role and purpose of embedded systems, describing their internal structure and interfacing with software development tools Examines the inner workings of the GNU compiler collection (GCC)-based software development system or, in other words, toolchain Presents software execution models that can be adopted profitably to model and express concurrency Addresses the basic nomenclature, models, and concepts related to task-based scheduling algorithms Shows how an open-source protocol stack can be integrated in an embedded system and interfaced with other software components Analyzes the main components of the FreeRTOS Application Programming Interface (API), detailing the implementation of key operating system concepts Discusses advanced topics such as formal verification, model checking, runtime checks, memory corruption, security, and dependability Embedded Software Development: The Open-Source Approach capitalizes on the authors'' extensive research on real-time operating systems and communications used in embedded applications, often carried out in strict cooperation with industry. Thus, the book serves as a springboard for further research.

Event-based systems are a class of reactive systems, characterized by efficient utilization of communication, computation and energy resources, deployed in a wide spectrum of engineering disciplines including control, communication, signal processing, and electronic instrumentation. This book contains 23 chapters contributed by more than 60 leading researchers from around the world. It provides an up-to-date picture of the developments in event-based control and signal processing, with a focus on networked sensor and control 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 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 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.

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 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 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 gives readers a hands-on, working knowledge of real-time operating systems and how they can be applied in the embedded system domain. The authors assess various case studies, using them as running examples to reinforce introduction of theoretical material. They also discuss increasingly popular open-source operating systems. Helpful for average system designers that have no significant previous experience with real-time operating systems, this book¿s content will help readers understand the benefits and weaknesses of each. With this knowledge, they can decide whether or not to adopt it for a project, or rely on more traditional, but less powerful, techniques.

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.

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.

"Embedded computers are by far the most common type of computer in use today. Ninety-eight percent of all computing devices are embedded in different kinds of electronic equipment such as automotive, industrial automation, telecommunications, consumer electronics and health/medical systems. Due to the many different and, partially, contradicting requirements, there exists no single model for building embedded systems. Well-known tradeoffs are predictability versus flexibility or resource adequacy versus best-effort strategies. Therefore, the chosen system model depends strongly on the requirements of the application"--

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.

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.

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.

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 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.

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.

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.

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.

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 task is known to be tedious and error prone, because it requires a combination of high level programming environments with low level software design.This book gives an overview of concepts related to embedded software design for MPSoC.

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.

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.