CIS 700-3: Advanced Topics in Embedded Systems

Home | Reading List | Lectures | Projects

Instructor: Insup Lee

Office Hours: Levine 602; 2-3 TTh or by email appointment

Time & Place: Monday and Wednesday 4:30-6:00 pm, Levine 512

Course Description:

This course will cover various topics related to embedded systems, ranging from assurance techniques to novel application domains. The assurance techniques include run-time verification & dynamic analysis, programming languages & middleware, security & anomaly detection, safeware, and software engineeing and certification. We plan to study theoretical foundations, techniques, and tools. The application domains include medical devices, sensor networks, stateless PC, etc.

The preliminary list of papers to be covered is at

Students are expected to participate in the following ways:

Prerequisites: Consult the instructor.