This course will identify and study various issues that are important for integration of embedded systems. The topics include component technology, integration testing, compositional scheduling, RTOS, formal methods and tools, programming languages for embedded and real-time systems. The goal is to understand the problem space, current practice and principles.

Students are expected to participate in the following ways:

• do in-class presentation of selected papers
• write a survey paper and/or
• select a tool to explore and demo in class