Topics in this unit include (1) requirements analysis for high-performance embedded systems, system design for high-performance embedded systems, hardware design of high-performance embedded systems (single-board solutions, system-on-chip solutions), software design for high-performance embedded systems, testing and debugging of high-performance embedded systems (life cycle issues, risk-based test strategies, quality assessment), simulation and prototyping; (2) real-time embedded systems—specification of real-time embedded systems (RT-UML, timed Petri nets, real-time logic), design of real-time embedded systems (RT-patterns, generalised RT-scheduling theory), performance modelling... -- Course Website
Instructor: Professor Thomas Braunl
