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 |