Tanaka K. (Ed.). Embedded Systems: Theory and Design Methodology

InTech, 2012. — 440 p. —Nowadays, embedded systems have permeated various aspects of industry. Therefore, we can hardly discuss our life or society from now on without referring to embedded systems. For wide-ranging embedded systems to continue their growth, a number of high-quality fundamental and applied researches are indispensable.
This book addresses a wide spectrum of research topics on embedded systems, including basic researches, theoretical studies, and practical work. The book consists of nineteen chapters. In Part 1, real-time property, task scheduling, predictability, reliability and safety, which are key factors in real-time embedded systems and will be further treated as important, are introduced by five chapters.
Then, design/evaluation methodology, verification, and development environment, which are indispensable to embedded systems development, are dealt with in Part 2, through ten chapters.
In Part 3, two chapters present high-level synthesis technologies, which can raise design abstraction and make system development periods shorter. The third chapter reveals embedded low-power SRAM cells for future embedded system, and the last one addresses the important issue, energy efficient applications.
Embedded systems are part of products that can be made only after fusing miscellaneous technologies together. I expect that various technologies condensed in this book would be helpful to researchers and engineers around the world.Real-Time Property, Task Scheduling, Predictability, Reliability, and Safety.
Ways for Implementing Highly-Predictable Embedded Systems Using Time-Triggered Co-Operative (TTC) Architectures.
Safely Embedded Software for State Machines in Automotive Applications.
Vulnerability Analysis and Risk Assessment for SoCs Used in Safety-Critical Embedded Systems.
Simulation and Synthesis Techniques for Soft Error-Resilient Microprocessors.
Real-Time Operating Systems and Programming Languages for Embedded Systems.
Design/Evaluation Methodology, Verification, and Development Environment.
Architecting Embedded Software for Context-Aware Systems.
FSMD-Based Hardware Accelerators for FPGAs.
Context Aware Model-Checking for Embedded Software.
A Visual Software Development Environment that Considers Tests of Physical Units.
A Methodology for Scheduling Analysis Based on UML Development Models.
Formal Foundations for the Generation of Heterogeneous Executable Specifications in SystemC from UML/MARTE Models.
Concurrent Specification of Embedded Systems: An Insight into the Flexibility vs Correctness Trade-Off.
SW Annotation Techniques and RTOS Modelling for Native Simulation of Heterogeneous Embedded Systems.
The Innovative Design of Low Cost Embedded Controller for Complex Control Systems.
Choosing Appropriate Programming Language to Implement Software for Real-Time Resource-Constrained Embedded Systems.
High-Level Synthesis, SRAM Cells, and Energy Efficiency.
High-Level Synthesis for Embedded Systems.
A Hierarchical C2RTL Framework for Hardware Configurable Embedded Systems.
SRAM Cells for Embedded Systems.
Development of Energy Efficiency Aware Applications Using Commercial Low Power Embedded Systems.