CIS 541: Embedded and Cyber Physical Systems, Spring 2010

Home | Lectures | Reading List | Assignments | Projects

• Instructor: Insup Lee (lee@cis), 602 Levine
• Classes: Mon & Wed 12pm-1:30pm, Towne 305
• Office hours: TBA

Introduction

This course is focused on cyber physical systems with emphasis on real-time issues. Cyber phsyical systems are integrations of computation and communication with physical processes. Embedded computers monitor and control physical processes in real-time. As these embedded computers are increasingly networked, it is believed that there will be a revolutionary transformation. Just as personal computers have transformed from word processors to global communications devices for information gathering and sharing, embedded computers will change from small self-contained systems to cyber-physical systems by sensing, monitoring, controlling our physical environment.

The course is to study priciples, methods, and techiques for building high-assurance cyber-physical systems. Topics will include requirements capture and modeling, mental models, assurance cases, hazard analysis, real-time programming and communication, real-time scheduling and virtual machines, feedback control in computer systems, vertification and validation, and evidence-based certification. The course will include a series of projects that will implement safety-critical embedded systems (e.g., pacemaker, infusion pump).

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

Grading

There will be several homework assignments and a term project. A significant component of the evaluation will be based on class participation and the design and implementation of the term project.