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