File preview
Virtualizing Cyber-Physical Systems Bringing CPS to Online Education
http://chess.eecs.berkeley.edu/
Jeff C. Jensen Edward A. Lee Sanjit A. Seshia
Massive Online Open Course (MOOC)
•Online course •Scales to many students, possibly 100,000 or more •edX is a nonprofit MOOC partnership between MIT, Harvard, and Berkeley •edX mission: •Spread world-class education worldwide •Improve classroom education
Cyber-Physical Systems in the Cloud
•Students use Amazon Elastic Cloud Computer (EC2) to replicate a preconfigured computer image •No need to install, license, or configure software •For sequence of 4 laboratory exercises, estimated cost per student of $5.44
Automatic Grading
cyber-physical model-based design cyber-physical programming Statecharts (LabVIEW)
Berkeley EECS 149: Introduction to Embedded Systems
•Founded in 2008 •Emphasis on cyber-physical systems and design methodologies •Students design a robot controller in Statecharts to climb a hill
Deploy Design Simulate
embedded software
Dataflow (LabVIEW) RTOS (C)
embedded systems bare-metal (C) all on one hardware platform
complexity, abstraction, value of modeling
•Specify desired properties (e.g. end goal, waypoints) •Temporal logic / monitor automata •Run-time monitoring •Check whether solution is correct / wrong •Feedback generation •Leverage property-based error localization methods •Possible use of falsification tools for LabVIEW •Tools such as S-Taliro, Breach, others. •Local vs Global, Detecting cheating, etc.
EECS 149 Laboratory Sequence
Real Actuators
Hardware Abstraction Layer
Simulated Actuators
Automatic Problem Generation
•Modify a Model
Original Model Mutant
Real Plant & Environment
Control Algorithm
Simulated Plant & Environment
Real Sensors
Hardware Abstraction Layer
Simulated Sensors
Model-based design flow used by students to complete laboratory exercises
•Modify a Trace
•Modify a Specification
Future Work
LabVIEW Robotics Environment Simulator simulating a (not yet perfected) controller on a desktop computer LabVIEW Robotics Environment Simulator running on Amazon EC2 cloud services.
•Currently working on automatic grading and problem generation •IT infrastructure for automatic grading •Migration to edX
Philadelphia, PA
LabVIEW Statecharts diagram of a solution to the hill climb exercise.
April 8th, 2013
First Workshop on Cyber-Physical Systems Education (CPS-Ed) 2013
http://chess.eecs.berkeley.edu/
Jeff C. Jensen Edward A. Lee Sanjit A. Seshia
Massive Online Open Course (MOOC)
•Online course •Scales to many students, possibly 100,000 or more •edX is a nonprofit MOOC partnership between MIT, Harvard, and Berkeley •edX mission: •Spread world-class education worldwide •Improve classroom education
Cyber-Physical Systems in the Cloud
•Students use Amazon Elastic Cloud Computer (EC2) to replicate a preconfigured computer image •No need to install, license, or configure software •For sequence of 4 laboratory exercises, estimated cost per student of $5.44
Automatic Grading
cyber-physical model-based design cyber-physical programming Statecharts (LabVIEW)
Berkeley EECS 149: Introduction to Embedded Systems
•Founded in 2008 •Emphasis on cyber-physical systems and design methodologies •Students design a robot controller in Statecharts to climb a hill
Deploy Design Simulate
embedded software
Dataflow (LabVIEW) RTOS (C)
embedded systems bare-metal (C) all on one hardware platform
complexity, abstraction, value of modeling
•Specify desired properties (e.g. end goal, waypoints) •Temporal logic / monitor automata •Run-time monitoring •Check whether solution is correct / wrong •Feedback generation •Leverage property-based error localization methods •Possible use of falsification tools for LabVIEW •Tools such as S-Taliro, Breach, others. •Local vs Global, Detecting cheating, etc.
EECS 149 Laboratory Sequence
Real Actuators
Hardware Abstraction Layer
Simulated Actuators
Automatic Problem Generation
•Modify a Model
Original Model Mutant
Real Plant & Environment
Control Algorithm
Simulated Plant & Environment
Real Sensors
Hardware Abstraction Layer
Simulated Sensors
Model-based design flow used by students to complete laboratory exercises
•Modify a Trace
•Modify a Specification
Future Work
LabVIEW Robotics Environment Simulator simulating a (not yet perfected) controller on a desktop computer LabVIEW Robotics Environment Simulator running on Amazon EC2 cloud services.
•Currently working on automatic grading and problem generation •IT infrastructure for automatic grading •Migration to edX
Philadelphia, PA
LabVIEW Statecharts diagram of a solution to the hill climb exercise.
April 8th, 2013
First Workshop on Cyber-Physical Systems Education (CPS-Ed) 2013