Embedded System Design: Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Things
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. It starts with an introduction to the field and a survey of specification models and languages for embedded and cyber-physical systems. It provides a brief overview of hardware devices used for such systems and presents the essentials of system software for embedded systems, including real-time operating systems. The author also discusses evaluation and validation techniques for embedded systems and provides an overview of techniques for mapping applications to execution platforms, including multi-core platforms. Embedded systems have to operate under tight constraints and, hence, the book also contains a selected set of optimization techniques, including software optimization techniques. The book closes with a brief survey on testing. This third edition has been updated and revised to reflect new trends and technologies, such as the importance of cyber-physical systems and the Internet of things, the evolution of single-core processors to multi-core processors, and the increased importance of energy efficiency and thermal issues.
What people are saying - Write a review
We haven't found any reviews in the usual places.
2 Specifications and Modeling
3 Embedded System Hardware
4 System Software
5 Evaluation and Validation
6 Application Mapping
Other editions - View all
algorithm allocation applications architecture assume behavior blocks cache called circuit clock communication compiler components computed consider constraints corresponding cyber-physical systems cycles deadline defined Definition denote described devices diagrams dynamic Embedded System Design embedded systems energy consumption equations example execution fault FIFO finite state machines FPGAs frequently function hardware Hence IEEE implemented input instruction integrated interface Internet of Things languages large number Linux loop mapping Marwedel memory microcontrollers multi-core node objects operating system optimization output performance Petri nets priority Priority inheritance priority inversion problem processors programming protocol queue real-time systems resource result run-time scheduling sensors shown in Fig signal simulation Simulink specification standard StateCharts synchronous SystemC techniques test pattern thermal Transaction-level modeling transition typically values variables Verilog VHDL VLIW voltage WCET