CIS 480/CIS 899: Embedded and Cyber Physical Systems, Spring 2009

Home | Lectures | Reading List  | Assignments  | Projects

Lectures

• 1/15: Introduction to Embedded and Cyber Physical Systems
  
• 1/20: Introduction to Real-Time Systems
  
• 1/22: Assurance Cases
  
• 1/27: Intro Real-Time Scheduling
  
• 1/29: Pacemaker Challenge Problem
  
• 2/3: Timed automata and UPPAAL: Introduction to Model Checking
  
• 2/5: Timed automata and UPPAAL: Timed Automata and TCTL;
  
• 2/10: Discussion on assurance casese for pacemaker
  
• 2/12: Timed automata and UPPAAL: UPPAAL
  
• 2/17: Architecture Analysis and Design Language (AADL)
  
• 2/19: Schedulability Analysis of AADL Models
  
• 2/24: ACSR: Resource-based Process Algebra
  
• 2/26: No class (project group meeting)
• 3/2: ACSR and Schedulability Analysis
• 3/5: Runtime Verification
  
• 3/10: Spring Break
• 3/12: Spring Break
• 3/17: Formal Modeling and Analysis of Stream Processing Systems
  
• 3/19: Formal Modeling and Analysis of Stream Processing Systems
  
• 3/24: Runtime Verification
  
• 3/26: Real-Time Programming Paradigms
  
• 3/31: Real-Time Programming Paradigms
  
  
• Feedback in computer systems
• Compositional Real-time Scheduling