Embedded System Design Objective
Embedded systems:
control systems: reactive, real-time
?function & size: micro controller to high throughput data-processor
- requires leveraging the components and cores of microprocessors
reliability, availability and safety are vital
- use of formal verification to check the correctness
- may use redundancy