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
www.cis.upenn.edu/~usa/mac-ref/.
Students are expected to participate in the following ways:
- do in-class presentation of selected papers
- write a survey paper
- select a tool to explore and demo in class