CIS 541: Embedded and Cyber Physical Systems, Spring 2010

Home | Lectures | Reading List | Assignments | Projects

Lectures

• 1/13: Introduction to Embedded and Cyber Physical Systems
• 1/18: MLK day observed
• 1/20: High Confidence Medical Device Software Systems
• 1/25: System and Language Support For Timing Constraints
• 1/27: Introduction to the Distributed Real-Time System, Global Time
• 2/1: Real-time Entities and Images
• 2/3: Assurance Cases
• 2/8: Timed automata and UPPAAL: Introduction to Model Checking
• 2/10: No class due to snow
• 2/15: Uppaal Introduction and Demo (demo files)
• 2/17: Real-Time Scheduling I
• 2/22: Real-Time Scheduling II
• 2/24: Pacemaker Challenge
• 3/1: Real-Time Operating Systems
• 3/3: Code Generation from EFSMs
• 3/8: Spring Break
• 3/10: Spring Break
• 3/15: Architecture Analysis and Design Language (AADL)
• 3/17: Testing
• 3/22: Guest lecture by Brian Larson (cancelled)
• 3/24: Project Discussion (see Projects page)
• 3/29: Testing (Cont'd)
• 3/31: Run-time Verification: a MaC Approach
• 4/5: How to Program a Macroscope (Guest lecture by Matt Welsh from Harvard University)
• 4/7: Performance Analysis of Real-time Embedded Systems (Guest lecture by Linh T.X. Phan)
• 4/12: No class
• 4/14: No class
• 4/19: Performance Analysis of Real-time Embedded Systems (Cont'd)
• 4/21: Run-time Verification: a MaC Approach (Cont'd)
• 4/26: Mental Model and User Modeling (Paper by Harold Thimbleby)