Embedded and Cyber Physical Systems
Instructor: Insup Lee (lee@cis),
Topics
- Part 1: Introduction
- CPS
- High confidence medical device software systems
- Part 2: Programming concepts and constructs
- Real-time systems
- Programming timing constraints
- TTA, Timed observation in distributed systems
- Reconfigurations, Mode change protocols
- Part 3: Assurance methods and techniques
- Assurance cases
- Real-time scheduling
- Formal methods for specification and analysis (UPPAAL)
- Code generation
- Architecture description language (AADL)
- Run-time verification
- Model-based testing
- Part 4: Advanced topics
- Real-time interfaces and compositional scheduling
- Formal modeling and analysis of stream processing systems
- Multicore real-time scheduling
- Virtualization, real-time VM
- Feedback-base resource management in computer systems
- Security and trust management of CPS
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)
