Principles and methods for operating system design with application to real-time, embedded systems. Concurrent programming: mechanisms and languages; design approaches and issues; run-time support (kernel). Methods for hard real-time applications. Methods for distributed systems. Programming assignments in a suitable programming language.