Embedded System Design

ISBN-13: 9780443184703 / Miękka / 2023 / 528 str.

Ph.D. (Department of Electrical and Computer Engin Julia C.

Spis treści

1. 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