Advanced Topics in Embedded Systems
Instructor: Insup Lee
Download Lectures
| Date | Lectures |
| Sept 8 | • Course Outline [ ppt | pdf ] |
| Sept 13 | • Process Algebra: Calculus of Communicating Systems (CCS) |
| Sept 15 | • Process Algebra: Communicating Sequential Processes (CSP) |
| Sept 20 | • Process Algebra: Communicating Sequential Processes (CSP) |
| Sept 22 | • Formal Test Generation [ ppt | pdf ] • Reading List: [TB99], [Tre96], [HLSU02], [Hen97] |
| Sept 27 | • Model Checking • Reading List: [BCM+90], [CES86] |
| Sept 29 | • Runtime Verification [ ppt | pdf ] • Reading List: [HR01], [LBW03], [SVB+03], [NST04] |
| Oct 4 | No Class |
| Oct 6 | No Class |
| Oct 11 | • Using Statistical Analysis for Bug Finding [ ppt | pdf ] • Reading List: [ECH+01], [KE03] |
| Oct 13 | No Class |
| Oct 18 | • Hierarchical Finite State Machines with Multiple Concurrency Models • Reading List: [GLL99] |
| Oct 20 | • Runtime Verification of Atomicity in Multi-Threaded Programs [ ppt | pdf ] • Required: [FF04], Optional: [WS04], [SBN+97], [AHB03], [Lip75] |
| Oct 25 | No Class: Fall Break |
| Oct 27 | • Merging Partial Behavioural Models [ pdf ] • Required: [UC04], Optional: [UKM03], [SDV95] |
| Nov 1 | • Test Generation From Hybrid Models • Required: [HPPS03], Optional: [SPHP02], [LP00] |
| Nov 3 | No Class |
| Nov 8 | • Model Carrying Code [ ppt | pdf ] • Required: [SVB+03] |
| Nov 10 | • Attack Analysis and Detection for Ad Hoc Routing Protocols [ ppt | pdf ] • Required: [HL04] |
| Nov 15 | • A Program Supervision Framework [ pdf ] • Required: [NS04] |
| Nov 17 | No Class |
| Nov 22 | • Application of Control Theory to Software System • Required: [CEBA02], [LSTS02], Optional: [ASL+03], [Cer03], [Eke99] |
| Nov 24 | No Class: Thanksgiving Break |
| Nov 29 | • Mimicry Attacks on Host-Based Intrusion Detection Systems • Required: [WS02] |
| Dec 1 | • Monitoring Temporal Properties of Continuous Signals • Required: [MN04] |
| Dec 6 | No Class |
| Dec 8 | No Class |
