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