Description
Book SynopsisTable of Contents1. Introduction to Internet of Things (IoT) and Embedded Systems Part 1: Modelling 2. First Stage Modelling – Modelling Interaction between the System and the Environment 3. Finite State Machines 4. Modelling Physically Distributed Embedded Systems 5. Petri Nets for Modelling Concurrency and Shared Resources Part 2: Building Robust, Safe, and Correct Systems 6. Designing Systems that are Safe and Robust 7. Verification, Validation, and Evaluation 8. Testing Part 3: Hardware 9. Introduction and Overview 10. Processing Elements 11. Memories 12. Field Programmable Gate Arrays 13. Devices, Sensors, and Actuators 14. Energy 15. Hardware-Software Mapping Part 4: Software 16. Operating Systems 17. Scheduling 18. Semaphores 19. Optimization and Other Special Considerations Part 5: Communications 20. Introduction to Communications and Messages 21. Networks 22. The Internet 23. Low-level Communication Protocols 24. Cloud vs. Edge vs. Local Computing Part 6: The Internet of Things 25. Reference Models for the Internet of Things 26. IoT Issues
