| Date | Lectures | Presenters |
| Sept 7 |
• Course Outline/Embdded Systems [ pdf ] | Insup Lee |
| Sept 12 | • Testing using Uppaal [ pdf (full page) | pdf (8 slides in 1)] | Marious Mikucior |
| Sept 14 | • Introduction to Testing • Reading List: [Ber03] | Insup Lee |
| Sept 19 |
• AADL [ pdf | ppt ] • Reading List: [Gar01] |
Oleg Sokolsky |
| Sept 21 | No Class: EMSOFT 2005 | |
| Sept 26 |
• Verification Techniques for Legal Privacy Requirements [ pdf | ppt ]
• Reading List: [BS04], [HRU76] |
Michael May |
| Sept 28 |
• • Introduction to Testing (Continuation from Sept 14) |
Alec Bateman Insup Lee |
| Oct 3 | Introduction to Real-Time Scheduling [ pdf | ppt ] | Insup Lee |
| Oct 5 | Compositional Real-Time Scheduling [ pdf | ppt ] | Insik Shin |
| Oct 10 |
• MaC: Monitoring and Checking at Run-time [ pdf | ppt ] • Reading List: [KVK+04] |
Usa Sammapun |
| Oct 12 |
• MaC (Continuation from Oct 10) [ pdf | ppt ] • Reading List: [SLS05] |
Usa Sammapun |
| Oct 17 | No Class: Fall Break | |
| Oct 19 |
• Compositional Testing • Reading List: [BRT03] |
Dave Arney |
| Oct 24 | System and Language Support for Timing Constraints [ pdf ] | Sebastian Fischmeister |
| Oct 26 | • A Survey on Runtime Monitoring based on Formal Specification [ ppt ] • Reading List: [BGHS04], [SB05], [LBW03] |
Usa Sammapun |
| Oct 31 | System and Language Support for Timing Constraints (continue at slide 57) [ pdf ] | Sebastian Fischmeister |
| Nov 2 | • Adaptive Middleware for Real-Time Software [ pdf | ppt ] • Reading List: [YK04], [VMD+05] (More emphasis on YK04) |
Louise Avila |
| Nov 7 | • SysML [ pdf | ppt ] • Reading List: [Gar01] |
Sudhanshu Sharma |
| Nov 9 | • Testing in Concurrent Systems • Readling List: [XD05], [BFM+05] |
Baohua Wu |
| Nov 14 | • Feature Interaction | Madhukar Anand |
| Nov 16 | ||
| Nov 21 | Security and Privacy of e-Passport | Pradeep Murali |
| Nov 23 | Real-Time Operating Systems | Yoshihito Takashima |
| Nov 28 | Tool Demo: TinyOS Tool Demo: SPIN Tool Demo: Artisan Tool | Madhukar Anand Michael May Sudhanshu Sharma |
| Nov 30 | Tool Demo: Micro-C Tool Demo: Charon Tool Demo: EFSMTools |
Yoshihito Takashima Marious Mikucior Dave Arney |
| Dec 5 | No Class: RTSS 2005 | |
| Dec 7 | No Class: RTSS 2005 | |
| Dec 20 12-2 pm 307 Levine |
Tool Demo: IF Tool Demo: ConText |
Louise Avila Baohua Wu |