Design and specification of embedded systems, hardware and embedded software, timing and scheduling issues, hardware-software codesign, validation of embedded systems