Embedded systems and the Internet of Things are current major efforts in industry and will continue to be mainstream commercial activities for the foreseeable future. Embedded Systems Design presents methodologies for designing such systems and discusses major issues, both present and future, that designers must consider in bringing products with embedded processing to the market. It starts from the first step after product proposal (behavioral modelling) and carries through steps for modelling internal operations. The book discusses methods for and issues in designing safe, reliable, and robust embedded systems. It covers the selection of processors and related hardware as well as issues involved in designing the related software. Finally, the book present issues that will occur in systems designed for the Internet of Things.This book is for junior/senior/MS students in computer science, computer engineering, and electrical engineering who intend to take jobs in industry designing and implementing embedded systems and Internet of Things applications.
1. Chapter 1 : Introduction to Internet of Things and embedded systems - p. Page viii 2. Introduction - p. Page 21 3. Chapter 2 : First stage modeling – modeling interaction between the system and the environment - p. Page 21 4. Chapter 3 : Finite-state machines - p. Page 45 5. Chapter 4 : Modeling physically distributed embedded systems - p. Page 78 6. Chapter 5 : Petri Nets for modeling concurrency and shared resources - p. Page 89 7. Introduction - p. Page 133 8. Chapter 6 : Designing systems that are safe and robust - p. Page 133 9. Chapter 7 : Verification, validation, and evaluation - p. Page 153 10. Chapter 8 : Testing - p. Page 169 11. Introduction - p. Page 190 12. Chapter 9 : Introduction and overview - p. Page 190 13. Chapter 10 : Processing elements - p. Page 196 14. Chapter 11 : Memories - p. Page 223 15. Chapter 12 : Field-programmable gate arrays - p. Page 235 16. Chapter 13 : Devices, sensors, and actuators - p. Page 248 17. Chapter 14 : Energy - p. Page 282 18. Chapter 15 : Hardware-software mapping - p. Page 290 19. Introduction - p. Page 309 20. Chapter 16 : Operating systems - p. Page 309 21. Chapter 17 : Scheduling - p. Page 325 22. Chapter 18 : Semaphores - p. Page 353 23. Chapter 19 : Optimization and other special considerations - p. Page 369 24. Introduction - p. Page 384 25. Chapter 20 : Introduction to communications and messages - p. Page 384 26. Chapter 21 : Networks - p. Page 393 27. Chapter 22 : The Internet - p. Page 419 28. Chapter 23 : Low-level communication protocols - p. Page 435 29. Chapter 24 : Cloud vs. edge vs. local computing - p. Page 467 30. Introduction - p. Page 477 31. Chapter 25 : Reference models for the Internet of Things - p. Page 477 32. Chapter 26 : IoT issues - p. Page 489 33. Index - p. Page 502
Embedded systems and the Internet of Things are current major efforts in industry and will continue to be mainstream commercial activities for the foreseeable future. Embedded Systems Design presents methodologies for designing such systems and discusses major issues, both present and future, that designers must consider in bringing products with embedded processing to the market. It starts from the first step after product proposal (behavioral modelling) and carries through steps for modelling internal operations. The book discusses methods for and issues in designing safe, reliable, and robust embedded systems. It covers the selection of processors and related hardware as well as issues involved in designing the related software. Finally, the book present issues that will occur in systems designed for the Internet of Things.This book is for junior/senior/MS students in computer science, computer engineering, and electrical engineering who intend to take jobs in industry designing and implementing embedded systems and Internet of Things applications.
1. Chapter 1 : Introduction to Internet of Things and embedded systems - p. Page viii 2. Introduction - p. Page 21 3. Chapter 2 : First stage modeling – modeling interaction between the system and the environment - p. Page 21 4. Chapter 3 : Finite-state machines - p. Page 45 5. Chapter 4 : Modeling physically distributed embedded systems - p. Page 78 6. Chapter 5 : Petri Nets for modeling concurrency and shared resources - p. Page 89 7. Introduction - p. Page 133 8. Chapter 6 : Designing systems that are safe and robust - p. Page 133 9. Chapter 7 : Verification, validation, and evaluation - p. Page 153 10. Chapter 8 : Testing - p. Page 169 11. Introduction - p. Page 190 12. Chapter 9 : Introduction and overview - p. Page 190 13. Chapter 10 : Processing elements - p. Page 196 14. Chapter 11 : Memories - p. Page 223 15. Chapter 12 : Field-programmable gate arrays - p. Page 235 16. Chapter 13 : Devices, sensors, and actuators - p. Page 248 17. Chapter 14 : Energy - p. Page 282 18. Chapter 15 : Hardware-software mapping - p. Page 290 19. Introduction - p. Page 309 20. Chapter 16 : Operating systems - p. Page 309 21. Chapter 17 : Scheduling - p. Page 325 22. Chapter 18 : Semaphores - p. Page 353 23. Chapter 19 : Optimization and other special considerations - p. Page 369 24. Introduction - p. Page 384 25. Chapter 20 : Introduction to communications and messages - p. Page 384 26. Chapter 21 : Networks - p. Page 393 27. Chapter 22 : The Internet - p. Page 419 28. Chapter 23 : Low-level communication protocols - p. Page 435 29. Chapter 24 : Cloud vs. edge vs. local computing - p. Page 467 30. Introduction - p. Page 477 31. Chapter 25 : Reference models for the Internet of Things - p. Page 477 32. Chapter 26 : IoT issues - p. Page 489 33. Index - p. Page 502
