Fall 2012

ECE 584/ CS 584: Embedded System Verification

Course Administrivia

Lectures: Tuesdays and Thursdays, 11:00pm - 12:20pm
Location: 305 Materials Science & Eng Bld
Units: 4
Mailing list: illinois-ece584@googlegroups.com (Use this only for topics of general interest)

Office hours: Thursdays 4 - 5:00pm
Location: 266 CSL

10% class participation
40% homework (3 or 4 sets)
50% project

The goal is to investigate innovative ideas in the area via semester-long research project and make a conference submission. Possible project types include
o    Building/verifying a system with Android phones & mobile robots (Facilities provided)
o    Building a verification technique/tool and trying it on benchmarks
o    Case studies on new CPS using existing tools

While some project ideas and start-up packages will be provided, you are welcome to design a suitable project around your own research.

Brief (2 page) plan for the project by 4th week
20-25 min end of the term presentation
Conference paper (6-8 pages)