Description: Selected advanced topics from current research in embedded systems such as: embedded systems based on formal models of computation; centralised and distributed architectures for embedded systems; static and dynamic embedded systems; languages and frameworks for distributed embedded systems; actor and agent systems; verification. Includes a significant individual research project.