General Information

Lecture Time: Wednesday 11:30AM - 2:20PM

Room: EIT 3141

Office Hour: Based on appointment

Syllabus

Calendar Description

This course covers concepts, theory and research issues in safety-critical embedded systems and Cyber-Physical Systems (CPS), with a focus on the architectural design and analysis of the underlying hardware/software computing system.

Topics include: challenges in CPS design, predictable computer architectures, scheduling of hardware resources, operating system abstractions for CPS, timing and performance analysis, modeling and verification, CPS applications.

Course Description

Cyber-Physical Systems (CPS) are systems featuring a tight integration of computation with physical processes. Applications of CPS include new generation automotive systems, high confidence medical devices, avionics, smart power infrastructure, process control, distributed robotics, and others. All such systems exhibit stringent real-time and safety requirements: computation must progress in parallel with physical processes in the environment, and system disruption can lead to catastrophic consequences. Compared to traditional embedded systems, the vision for CPS calls for open, interconnected systems rather than closed, "black box" devices.

The goal of this course is to introduce the students to the key challenges, design methodologies and research directions in the field of cyber-physical systems, with an emphasis on the design of the underlying computing architecture. In particular, we will show how CPS requirements of predictability and reliability lead to significant changes in the hardware architecture, and we will study state-of-the-art solutions in this area. Due to the multidisciplinary nature of CPS design, the course will also touch on related topics, including: predictable operating system abstractions, timing analysis, modeling and verification.

Lecture Material

You should make sure to read the required papers before coming to class. The list of required papers for a given class will be published by Thursday 8AM the week before. You are not required to read the other references, but you might want to keep a copy on hand because they might be discussed in class.

Lecture Topic	Slides	Papers	Student Presentations
Lecture 1: Introduction to CPS and Course Overview	Instructor Slides
Lecture 2: Introduction to Real-Time Systems	Instructor Slides Slides: Delay-Aware Period Assignment in Control Systems	Required Reading: Cyber Physical Systems: Design Challenges Further References: Delay-Aware Period Assignment in Control Systems
Lecture 3: CPS Applications	Instructor Slides	Required Reading: 777 Flight Control Validation Process Cyber-Physical Modeling of Implantable Cardiac Medical Devices Further References: The Smart Thermostat: Using Occupancy Sensors to Save Energy in Homes Autonomous Driving in Urban Environments: Boss and the Urban Challenge Body Area Networks: A Survey Cutting the Electric Bill for Internet-Scale Systems The Electric Power Grid: Today and Tomorrow	- -
Lecture 4: Predictable Computer Architectures - Memories	Instructor Slides	Required Reading: Explicit Reservation of Local Memory in a Predictable, Preemptive Multitasking Real-time System Predator: A Predictable SDRAM Memory Controller Further References: Implementing Time-predictable Load and Store Operations Scratchpad Memories vs Locked Caches in Hard Real-Time Systems: A Quantitative Comparison An Analyzable Memory Controller for Hard Real-Time CMPs Impact of Cache Partitioning on Multi-Tasking Real Time Embedded Systems PRET DRAM Controller: Bank Privatization for Predictability and Temporal Isolation	- -
Lecture 5: Predictable Computer Architectures - Interconnects	Instructor Slides	Required Reading: AEthereal Network on Chip: Concepts, Architectures, and Implementations Hardware Support for WCET Analysis of Hard Real-Time Multicore Systems Further References: Real-Time Communication for Multicore Systems with Multi-Domain Ring Buses Predictable Implementation of Real-Time Applications on Multiprocessor Systems-on-Chip	Performance Implications of Cache Affinity on Multicore Processors -
Lecture 6: Predictable Computer Architectures - Microarchitecture	Instructor Slides	Required Reading: Predictable Programming on a Precision Timed Architecture Memory Hierarchies, Pipelines, and Buses for Future Architectures in Time-critical Embedded Systems Further References: Time-Predictable Out-of-Order Execution for Hard Real-Time Systems	- -
Lecture 7: Predictable Computer Architectures - Heterogeneous Systems	Instructor Slides	Required Reading: none Further References: Deterministic Mechanism for Run-time Reconfiguration Activities in an RTOS Modular dynamic reconfiguration in Virtex FPGAs Anytime Algorithms for GPU Architectures Real-Time Control of I/O COTS Peripherals for Embedded Systems	PRET DRAM Controller: Bank Privatization for Predictability and Temporal Isolation -
Lecture 8: Real-Time OS	Instructor Slides	Required Reading: On the Scalability of Real-Time Scheduling Algorithms on Multicore Platforms: A Case Study An Overview of Interrupt Accounting Techniques for Multiprocessor Real-Time Systems Further References: Real-Time Synchronization on Multiprocessors: To Block or Not to Block, to Suspend or Spin? A Predictable Execution Model for COTS-based Embedded Systems	Body Area Networks: A Survey -
Lecture 9-10: Timing and Performance Analysis	Instructor Slides Notes on Network Calculus	Required Reading (9): Schedulability Analysis for Tasks with Static and Dynamic Offsets End-to-End Delay Analysis of Distributed Systems with Cycles in the Task Graph Required Reading (10): System architecture evaluation using modular performance analysis: a case study Further References: Real-time communication analysis for on-chip networks with wormhole switching Real-time queueing network theory Tighter Response-Times for Tasks with Offsets	- -
Lecture 11: Models and Verification	Instructor Slides	Required Reading: Hybrid Cyberphysical System Verification With Simplex Using Discrete Abstractions Further References:	Handling Mixed Criticality in SoC-based Real-Time Embedded Systems The SAE Architecture Analysis and Design Language (AADL) A Real-Time Streaming Memory Controller
Lecture 12: Student Presentations			- - - - - - - -

Required Reading List

This is a list of papers that will be required reading during the course. Please see the table above to determine which papers are assigned for each class. You can not select one of these papers for your formal presentation. For students selecting the applied track, the final exam will be focused on the required papers and additional instructor slides. I reserve the right to change this list before the end of the course.

Introduction to CPS

• Cyber Physical Systems: Design Challenges

CPS Applications

• 777 Flight Control Validation Process
• Cyber-Physical Modeling of Implantable Cardiac Medical Devices

Predictable Computer Architectures

• Explicit Reservation of Local Memory in a Predictable, Preemptive Multitasking Real-time System
• Predator: A Predictable SDRAM Memory Controller
• AEthereal Network on Chip: Concepts, Architectures, and Implementations
• Hardware Support for WCET Analysis of Hard Real-Time Multicore Systems
• Predictable Programming on a Precision Timed Architecture
• Memory Hierarchies, Pipelines, and Buses for Future Architectures in Time-critical Embedded Systems

OS Abstractions

• On the Scalability of Real-Time Scheduling Algorithms on Multicore Platforms: A Case Study
• An Overview of Interrupt Accounting Techniques for Multiprocessor Real-Time Systems

Timing and Performance Analysis

• System architecture evaluation using modular performance analysis: a case study
• End-to-End Delay Analysis of Distributed Systems with Cycles in the Task Graph
• Schedulability Analysis for Tasks with Static and Dynamic Offsets

Models and Verification

• Hybrid Cyberphysical System Verification With Simplex Using Discrete Abstractions

Paper Presentation List

Each student is required to provide a formal seminar presentation during lecture. Each seminar presentation covers one or two related research papers and shall provide an introduction followed by sufficient details for the class to understand the motivation, problems, and main solutions provided by the authors. Papers can be selected from the list below (divided by topic). If you wish to cover a different but related topic, please contact the instructor.

We will have a maximum of two 25 minutes presentations per class. Please allocate 20 minutes to cover the paper, plus 5 minutes per question.

CPS Applications

• The Smart Thermostat: Using Occupancy Sensors to Save Energy in Homes
• Autonomous Driving in Urban Environments: Boss and the Urban Challenge
• Body Area Networks: A Survey
• Cutting the Electric Bill for Internet-Scale Systems
• The Electric Power Grid: Today and Tomorrow

Predictable Computer Architectures

• Implementing Time-predictable Load and Store Operations
• Scratchpad Memories vs Locked Caches in Hard Real-Time Systems: A Quantitative Comparison
• An Analyzable Memory Controller for Hard Real-Time CMPs
• Impact of Cache Partitioning on Multi-Tasking Real Time Embedded Systems
• PRET DRAM Controller: Bank Privatization for Predictability and Temporal Isolation
• Real-Time Communication for Multicore Systems with Multi-Domain Ring Buses
• Predictable Implementation of Real-Time Applications on Multiprocessor Systems-on-Chip
• Time-Predictable Out-of-Order Execution for Hard Real-Time Systems
• Deterministic Mechanism for Run-time Reconfiguration Activities in an RTOS
• Modular dynamic reconfiguration in Virtex FPGAs
• Anytime Algorithms for GPU Architectures
• Real-Time Control of I/O COTS Peripherals for Embedded Systems

OS Abstractions

• Gdev: First-Class GPU Resource Management in the Operating System
• Globally Scheduled Real-Time Multiprocessor Systems With GPUs
• Modeling device driver effects in real-time schedulability: Study of a network driver
• HIRES: a System for Predictable Hierarchical Resource Management
• Real-Time Synchronization on Multiprocessors: To Block or Not to Block, to Suspend or Spin?
• A Predictable Execution Model for COTS-based Embedded Systems
• Memory-Centric Scheduling for Multicore Hard Real-Time Systems

Timing and Performance Analysis

• Timing analysis of concurrent programs running on shared cache multi-cores
• Worst Case Delay Analysis for Memory Interference in Multicore Systems
• Real-time communication analysis for on-chip networks with wormhole switching
• Real-time queueing network theory
• Tighter Response-Times for Tasks with Offsets

Models and Verification

• Automatic Verification of Real-Time Communicating Systems by Constraint Solving
• Sandboxing Controllers for Cyber-Physical Systems
• Handling Mixed Criticality in SoC-based Real-Time Embedded Systems
• Sampling-based Runtime Verification

Course Deadlines

List of deadlines for the course project - research track. Please see the syllabus and Lecture 1 slides for additional details.

• Project proposal - Oct 13 8:00AM (note: moved from Oct 8)
• Literature Review - Oct 29 8:00AM extended to Nov 1 8:00AM
• Project presentation - during Lecture 12, Nov 28
• Project report - Dec 8 8:00AM (morning of the day after final exam date)
• Final - Dec 7

List of deadlines for the applied track. Please see the syllabus and Lecture 1 slides for additional details.

• Midterm report - Nov 12 8:00AM
• Project presentation - during Lecture 12, November 28
• Project report - Dec 3 11:59PM (last day of class)
• Final - Dec 7 12:30 - 3:00PM, EIT-3141

Final Exam

This is an example text for the final exam, research track. Students will be generally assigned a topic close to their interests. The actual number of questions in the exam could be different from the exam, but it will be similarly structured.