Cyber-Physical Systems 2015

Home | Publications | Teaching

CSD 420 Cyber-Physical Systems

Instructor: Shashi Prabh

Email: shashi.prabh@snu

Office: D036E

Office hour: Wednesdays 10 - 12 PM, or by appointment

Lectures: 9:00 - 9:55 AM Mon (D102), Wed (D026) and Fri (D022)

Prerequisite

Operating Systems (CSD 204 or equivalent)

Course content

• 1. Introduction to CPS: Design issues, timing issues, predictable architectures, applications

  2. Hardware: Embedded processors, memory architectures, sensors and actuators, interfacing to sensors and actuators

  3. Operating systems: OS abstractions for CPS, microkernels, threads, interrupts

  4. Real-time systems: Introduction, scheduling

  5. Networking: Real-time communication, clock synchronization with IEEE 1588

  6. CPS Modeling: Continuous dynamics and Lyapunov stability, discrete dynamics, hybrid dynamics and compositions

  7. Applications: Wireless sensor networks, Internet of things

Textbook

• 1. E. Lee and S. Seshia. Introduction to Embedded Systems - A Cyber-Physical Systems Approach, LeeSeshia.org, 2011

  2. G. Buttazzo. Hard Real-Time Computing Systems, Springer, 2011

  3. H. Kopetz. Real-Time Systems: Design Principles for Distributed Embedded Applications, Springer, 2011

Grading

• • Assignments and programming exercises: 20%

  • Mid-term exam: 40%

  • Final exam: 40%

Course Policies

Go to course policies page