Open access peer-reviewed Edited Volume

Embedded Systems

Theory and Design Methodology

Nowadays, embedded systems - the computer systems that are embedded in various kinds of devices and play an important role of specific control functions, have permitted various aspects of industry. Therefore, we can hardly discuss our life and society from now onwards 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 contains 19 excellent chapters and addresses a wide spectrum of research topics on embedded systems, including basic researches, theoretical studies, and practical work. Embedded systems can be made only after fusing miscellaneous technologies together. Various technologies condensed in this book will be helpful to researchers and engineers around the world.

Read more >Order hardcopy
Embedded SystemsTheory and Design MethodologyEdited by Kiyofumi Tanaka

Published: March 2nd 2012

DOI: 10.5772/2339

ISBN: 978-953-51-0167-3

eBook (PDF) ISBN: 978-953-51-5628-4

Copyright year: 2012

Books open for chapter submissions

65498 Total Chapter Downloads

24 Crossref Citations

22 Web of Science Citations

33 Dimensions Citations


Open access peer-reviewed

1. Ways for Implementing Highly-Predictable Embedded Systems Using Time-Triggered Co-Operative (TTC) Architectures

By Mouaaz Nahas and Ahmed M. Nahhas


Open access peer-reviewed

2. Safely Embedded Software for State Machines in Automotive Applications

By Juergen Mottok, Frank Schiller and Thomas Zeitler


Open access peer-reviewed

3. Vulnerability Analysis and Risk Assessment for SoCs Used in Safety-Critical Embedded Systems

By Yung-Yuan Chen and Tong-Ying Juang


Open access peer-reviewed

4. Simulation and Synthesis Techniques for Soft Error-Resilient Microprocessors

By Makoto Sugihara


Open access peer-reviewed

5. Real-Time Operating Systems and Programming Languages for Embedded Systems

By Javier D. Orozco and Rodrigo M. Santos


Open access peer-reviewed

6. Architecting Embedded Software for Context-Aware Systems

By Susanna Pantsar-Syväniemi


Open access peer-reviewed

7. FSMD-Based Hardware Accelerators for FPGAs

By Nikolaos Kavvadias, Vasiliki Giannakopoulou and Kostas Masselos


Open access peer-reviewed

8. Context Aware Model-Checking for Embedded Software

By Philippe Dhaussy, Jean-Charles Roger and Frédéric Boniol


Open access peer-reviewed

9. A Visual Software Development Environment that Considers Tests of Physical Units

By Takaaki Goto, Yasunori Shiono, Tomoo Sumida, Tetsuro Nishino, Takeo Yaku and Kensei Tsuchida


Open access peer-reviewed

10. A Methodology for Scheduling Analysis Based on UML Development Models

By Matthias Hagner and Ursula Goltz


Open access peer-reviewed

11. Formal Foundations for the Generation of Heterogeneous Executable Specifications in SystemC from UML/MARTE Models

By Pablo Peñil, Fernando Herrera and Eugenio Villar


Open access peer-reviewed

12. Concurrent Specification of Embedded Systems: An Insight into the Flexibility vs Correctness Trade-Off

By F. Herrera and I. Ugarte


Open access peer-reviewed

13. SW Annotation Techniques and RTOS Modelling for Native Simulation of Heterogeneous Embedded Systems

By Héctor Posadas, Álvaro Díaz and Eugenio Villar


Open access peer-reviewed

14. The Innovative Design of Low Cost Embedded Controller for Complex Control Systems

By Meng Shao, Zhe Peng and Longhua Ma


Open access peer-reviewed

15. Choosing Appropriate Programming Language to Implement Software for Real-Time Resource- Constrained Embedded Systems

By Mouaaz Nahas and Adi Maaita


Open access peer-reviewed

16. High-Level Synthesis for Embedded Systems

By Michael Dossis


Open access peer-reviewed

17. A Hierarchical C2RTL Framework for Hardware Configurable Embedded Systems

By Yongpan Liu, Shuangchen Li, Huazhong Yang and Pei Zhang


Open access peer-reviewed

18. SRAM Cells for Embedded Systems

By Jawar Singh and Balwinder Raj


Open access peer-reviewed

19. Development of Energy Efficiency Aware Applications Using Commercial Low Power Embedded Systems

By Konstantin Mikhaylov, Jouni Tervonen and Dmitry Fadeev


Edited Volume and chapters are indexed in

  • Worldcat
  • OpenAIRE
  • Google Scholar
  • AZ ebsco
  • Base
  • CNKI

Order a hardcopy of the Edited Volume

Free shipping with DHL Express

Hardcover (ex. VAT)£139

Order now

Residents of European Union countries need to add a Book Value-Added Tax Rate based on their country of residence. Institutions and companies, registered as VAT taxable entities in their own EU member state, will not pay VAT by providing IntechOpen with their VAT registration number. This is made possible by the EU reverse charge method.

Special discount for IntechOpen contributors

All IntechOpen contributors are offered special discounts starting at 40% OFF available through your personal dashboard

Login and purchase