File preview
Virtualizing Cyber-Physical Systems: Bringing CPS to Online Education
Edward A. Lee Sanjit A. Seshia UC Berkeley Jeff C. Jensen National Instruments
CPS-Ed (part of CPSWeek) April 8th, 2013 Philadelphia, PA
EECS 149: Introduction to Embedded Systems
• Textbook:
– Lee & Seshia Introduction to Embedded Systems – Jensen, Lee, & Seshia An Introductory Lab in Embedded & Cyber-Physical Systems
• Laboratory (6 weeks) • Capstone design (12 weeks) What would it take to create a MOOC version of EECS 149?
WESE’12: Automatic Problem/Solution Generation for Textbook Exercises
• Modify a Model
• Modify a Trace
• Modify a Specification
University of California, Berkeley 3
Outline
Towards a Virtual Laboratory for EECS 149
– For a MOOC version of the course
• Simulation Environment • Cost of Virtualization • Automatic Grading
Virtualizing Cyber-Physical Systems: Bringing CPS to Online Education (Sanjit Seshia)
CPS-Ed 2013
4
Lab: Robot Hill Climb Virtual World
• Students design Statecharts controller to climb a hill • ODE simulation of robot, software, & environment • Statechart deploys to real robot without modification
Virtual Lab in the Cloud
• Amazon EC2 (cloud) • Estimated $5.44 usage fees for lab sequence • Minimal end-user requirements (basic PC, good internet)
Simulator running on Amazon EC2 (“the cloud”) Virtualizing Cyber-Physical Systems: Bringing CPS to Online Education (Sanjit Seshia) CPS-Ed 2013 6
Automatic Grading of Lab Exercises
• Specify desired properties (e.g. end goal for hill climb, waypoints)
– Temporal logic / monitor automata
• Run-time monitoring
– Check whether solution is correct / wrong
• Feedback generation
– Leverage property-based error localization methods [Li & Seshia, RV’12]
• Possible use of falsification tools for Simulink/LabVIEW/…
– Tools such as S-Taliro, Breach, …
• Other considerations: Local vs Global, Detecting cheating, etc.
Virtualizing Cyber-Physical Systems: Bringing CPS to Online Education (Sanjit Seshia) CPS-Ed 2013 7
Conclusions
Towards a Virtual Laboratory for EECS 149
– For a MOOC version of the course
• Main Points:
– Cost of Virtualization – Simulation Environment – Automatic Grading
• Expected deployment in the next 12 months
Virtualizing Cyber-Physical Systems: Bringing CPS to Online Education (Sanjit Seshia)
CPS-Ed 2013
8
Edward A. Lee Sanjit A. Seshia UC Berkeley Jeff C. Jensen National Instruments
CPS-Ed (part of CPSWeek) April 8th, 2013 Philadelphia, PA
EECS 149: Introduction to Embedded Systems
• Textbook:
– Lee & Seshia Introduction to Embedded Systems – Jensen, Lee, & Seshia An Introductory Lab in Embedded & Cyber-Physical Systems
• Laboratory (6 weeks) • Capstone design (12 weeks) What would it take to create a MOOC version of EECS 149?
WESE’12: Automatic Problem/Solution Generation for Textbook Exercises
• Modify a Model
• Modify a Trace
• Modify a Specification
University of California, Berkeley 3
Outline
Towards a Virtual Laboratory for EECS 149
– For a MOOC version of the course
• Simulation Environment • Cost of Virtualization • Automatic Grading
Virtualizing Cyber-Physical Systems: Bringing CPS to Online Education (Sanjit Seshia)
CPS-Ed 2013
4
Lab: Robot Hill Climb Virtual World
• Students design Statecharts controller to climb a hill • ODE simulation of robot, software, & environment • Statechart deploys to real robot without modification
Virtual Lab in the Cloud
• Amazon EC2 (cloud) • Estimated $5.44 usage fees for lab sequence • Minimal end-user requirements (basic PC, good internet)
Simulator running on Amazon EC2 (“the cloud”) Virtualizing Cyber-Physical Systems: Bringing CPS to Online Education (Sanjit Seshia) CPS-Ed 2013 6
Automatic Grading of Lab Exercises
• Specify desired properties (e.g. end goal for hill climb, waypoints)
– Temporal logic / monitor automata
• Run-time monitoring
– Check whether solution is correct / wrong
• Feedback generation
– Leverage property-based error localization methods [Li & Seshia, RV’12]
• Possible use of falsification tools for Simulink/LabVIEW/…
– Tools such as S-Taliro, Breach, …
• Other considerations: Local vs Global, Detecting cheating, etc.
Virtualizing Cyber-Physical Systems: Bringing CPS to Online Education (Sanjit Seshia) CPS-Ed 2013 7
Conclusions
Towards a Virtual Laboratory for EECS 149
– For a MOOC version of the course
• Main Points:
– Cost of Virtualization – Simulation Environment – Automatic Grading
• Expected deployment in the next 12 months
Virtualizing Cyber-Physical Systems: Bringing CPS to Online Education (Sanjit Seshia)
CPS-Ed 2013
8