Text

Embedded system design: embedded systems, foundations of cyber-physical systems, and the internet of things

---

Contents:

1 Introduction
1.1 History of terms
1.2 Opportunities
1.3 Challenges
1.4 Common characteristic
1.5 Curriculum integration of embedded systems
1.6 Design flow
1.7 Structure of this book
1.8 Problems

2 Specifications and modeling
2.1 Requirements
2.2 Models of computation
2.3 Early design phases
2.4 Communiacating finite state machines (CFSMs)
2.5 Data flow
2.6 Petri nets
2.7 Discrete event-based languages
2.8 Von- Neumann languages
2.9 Levels of hardware modeling
2.10 Comparison of models of computation
2.11 Problems

3 Embedded system hardware
3.1 Introduction
3.2 Input
3.3 Processing units
3.4 Memories
3.5 Communication
3.6 Output
3.7 Electrical energy: energy efficiency, generation, and storage
3.8 Secure hardware
3.9 Problems

4 System software
4.1 Embedded operating systems
4.2 Resource access protocols
4.3 Erika
4.4 Embedded linux
4.5 Hardware abstraction layers
4.6 Middleware
4.7 Real-time databases
4.8 Problems

5 Evaluation and validation
5.1 Introduction
5.2 Performance evaluation
5.3 Quality metrics
5.4 Energy and power models
5.5 Thermal models
5.6 Dependability and risk analysis
5.7 Simulation
5.8 Rapid prototyping and emulation
5.9 Formal verification
5.10 Problems

6 Application mapping
6.1 Definition of scheduling problem
6.2 Scheduling for uniprocessors
6.3 Scheduling for independent jobs on identical
6.4 Dependent jobs on homogeneous multiprocessors
6.5 Dependent jobs on heterogeneous multiprocessors
6.6 Problems

7 Optimization
7.1 Hign-level optimizations
7.2 Task level concurrency management
7.3 Compilers for embedded systems
7.4 Power and thermal management
7.5 Problems

8 Test
8.1 Scope
8.2 Test procedures
8.3 Evaluation of test pattern sets and system robustness
8.4 Design for testability
8.5 Problems

Appendix A: Integer linear programming
Appendix B: Kirchhoff’s laws operational amplifiers
Appendix C: Paging and memory management units
References
Index

---

Availability

Detail Information

Series Title

--

Call Number

004.21 MAR e

Publisher

Switzerland : Springer., 2018

Collation

xxiv, 423 hal.; ilus.; 24 cm

Language

English

ISBN/ISSN

9783319560434

Classification

004.21

Content Type

-

Media Type

-

Carrier Type

-

Edition

Third edition

Subject(s)

Embedded computer systems

Specific Detail Info

--

Statement of Responsibility

Peter Marwedel

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment