Fall 2014

ECE/CS 584: Embedded & Cyberphysical System Verification

Course Administrivia

Lectures: Tuesdays and Thursdays, 11:00am - 12:20pm
Location: ~~3014~~ 2017 New ECE Building
Units: 4
Mailing list: ece-cs-584@lists.illinois.edu (Current students and instructors)

Office hours: Thursdays 12:30 - 2:00pm
Location: 266 CSL

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

Goal:investigate innovative ideas in the area via semester-long research project and make write a research paper for a revelant conference. Possible project types include

Build and verify a distributed system with Android phones and mobile robots (Facilities provided)

Mash-up a verification tool using existing libraries

Perform a verification case study using an existing tool

While some project ideas and start-up packages will be provided, I encourage you to design a suitable project around your own research. See this page for papers that originated from these class projects.

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