Presentation is loading. Please wait.

Presentation is loading. Please wait.

Towards Lab-Based MOOCs: Cyber-Physical Systems, Robotics, and Beyond Garvit Juniwal, Alexandre Donzé, Sanjit A. Seshia UC Berkeley Jeff C. Jensen National.

Published byStephan Delanoy Modified over 9 years ago

Similar presentations

Presentation on theme: "Towards Lab-Based MOOCs: Cyber-Physical Systems, Robotics, and Beyond Garvit Juniwal, Alexandre Donzé, Sanjit A. Seshia UC Berkeley Jeff C. Jensen National."— Presentation transcript:

1 Towards Lab-Based MOOCs: Cyber-Physical Systems, Robotics, and Beyond Garvit Juniwal, Alexandre Donzé, Sanjit A. Seshia UC Berkeley Jeff C. Jensen National Instruments LWMOOCs 2014 August 13, 2014 CPSGrader.org

2 EECS 149: Intro to Embedded Systems at UC Berkeley Lab on The “Hill-Climbing” Robot S. A. Seshia2 Goal: Online Virtual Lab with learning experience “comparable” to On-Campus Real Lab Garvit, Course TA

3 EECS149.1x: Cyber-Physical Systems on edX (May-June 2014) Virtual Lab: CyberSim + CPSGrader S. A. Seshia3 Technology based on Formal Methods Simulation-based Grading & Feedback Generation Goals/Faults specified in Signal Temporal Logic Automatic Synthesis of Temporal Logic Testers [EMSOFT 2014]

4 Key Statistics from EECS149.1x 86% found auto-grader feedback useful for debugging > 90% of solutions that passed CPSGrader worked on the real robot with no or minor modifications [optional hardware track] Majority of students spent 5-10 hours/week 4% of peak enrollment passed the course (342 of 8767) S. A. Seshia4 CPSGrader.org Enable Virtual Labs in Science and Engineering –Your Simulator + CPSGrader = Virtual Lab for Your Course Blend Formal Methods with other forms (e.g., peer grading) –User studies CPSGrader to be released open source in Fall 2014 Future Directions & Collaboration

Download ppt "Towards Lab-Based MOOCs: Cyber-Physical Systems, Robotics, and Beyond Garvit Juniwal, Alexandre Donzé, Sanjit A. Seshia UC Berkeley Jeff C. Jensen National."

Similar presentations

SOFTWARE TESTING. Software Testing Principles Types of software tests Test planning Test Development Test Execution and Reporting Test tools and Methods.

SOFTWARE TESTING. Software Testing Principles Types of software tests Test planning Test Development Test Execution and Reporting Test tools and Methods.
LabVIEW 7.1 Tutorial. Measurement Lab. MECH262-MECH261 Imran Haider Malik January 16, 2006.

LabVIEW 7.1 Tutorial. Measurement Lab. MECH262-MECH261 Imran Haider Malik January 16, 2006.
Global Teaching Labs/Highlights for High Schools Serenella Sferza MIT-Italy Program Co-director.

Global Teaching Labs/Highlights for High Schools Serenella Sferza MIT-Italy Program Co-director.
1 Embedded Systems – Shape the World What is it? – Education – Transformational ° Substantial lab component – Global, outreach – Based on a freshman class.

1 Embedded Systems – Shape the World What is it? – Education – Transformational ° Substantial lab component – Global, outreach – Based on a freshman class.
Instructional Model, Circuits/Intro to ECE vs Biomedical Circuits and Signals Section 1, Prof. 1, TA 1,2 35 Students Section 2, Prof. 2, TA 1,2 35 Students.

Instructional Model, Circuits/Intro to ECE vs Biomedical Circuits and Signals Section 1, Prof. 1, TA 1,2 35 Students Section 2, Prof. 2, TA 1,2 35 Students.
Access and Excellence: MOOCs & Online Education at UC Berkeley Armando Fox, Academic Director, UC Berkeley MOOCLab 1.

Access and Excellence: MOOCs & Online Education at UC Berkeley Armando Fox, Academic Director, UC Berkeley MOOCLab 1.
Chatrooms in MOOCs: All Talk and No Action DERRICK COETZEE, ARMANDO FOX, MARTI A. HEARST, BJÖRN HARTMANN UNIVERSITY OF CALIFORNIA, BERKELEY.

Chatrooms in MOOCs: All Talk and No Action DERRICK COETZEE, ARMANDO FOX, MARTI A. HEARST, BJÖRN HARTMANN UNIVERSITY OF CALIFORNIA, BERKELEY.
National Instruments FRC Robot Modeling Toolkit Topics: The Big Picture: “The V-Digram Design Process” Applying the “V” to Robotics Introduction to LabVIEW.

National Instruments FRC Robot Modeling Toolkit Topics: The Big Picture: “The V-Digram Design Process” Applying the “V” to Robotics Introduction to LabVIEW.
Chess Review October 4, 2006 Alexandria, VA Edited and presented by Educating a New Generation of Students in Embedded Systems Edward A. Lee Chair of EECS,

Chess Review October 4, 2006 Alexandria, VA Edited and presented by Educating a New Generation of Students in Embedded Systems Edward A. Lee Chair of EECS,
February 21, 2008 Center for Hybrid and Embedded Software Systems Organization Board of Directors Edward A. Lee, UC Berkeley.

February 21, 2008 Center for Hybrid and Embedded Software Systems Organization Board of Directors Edward A. Lee, UC Berkeley.
COE Labs Objectives and Benefits. General Objectives 1.Students’ training using state-of-the-art facilities through course labs 2.Enable world-class research.

COE Labs Objectives and Benefits. General Objectives 1.Students’ training using state-of-the-art facilities through course labs 2.Enable world-class research.
Undergraduate Majors Computer Science (CSCI) –Systems Option –General Option –Graphics Option –Math/Science Option Computer Information Systems (CINS)

Undergraduate Majors Computer Science (CSCI) –Systems Option –General Option –Graphics Option –Math/Science Option Computer Information Systems (CINS)
MyUCDavis Course Management Tools CC-FIT11/8/2004.

MyUCDavis Course Management Tools CC-FIT11/8/2004.
Advanced Real-Time Simulation Laboratory Prof. Gabriel A. Wainer Dept. of Systems and Computer Engineering

Advanced Real-Time Simulation Laboratory Prof. Gabriel A. Wainer Dept. of Systems and Computer Engineering
Teaching Embedded Systems to Berkeley Undergraduates EECS124 at UC Berkeley co-developed by Edward A. Lee Sanjit A. Seshia Claire J. Tomlin

Teaching Embedded Systems to Berkeley Undergraduates EECS124 at UC Berkeley co-developed by Edward A. Lee Sanjit A. Seshia Claire J. Tomlin
NSF Foundations of Hybrid and Embedded Software Systems UC Berkeley: Chess Vanderbilt University: ISIS University of Memphis: MSI A New System Science.

NSF Foundations of Hybrid and Embedded Software Systems UC Berkeley: Chess Vanderbilt University: ISIS University of Memphis: MSI A New System Science.
Yale November 18, 2003. Self-Configuring Wireless Sensor Networks Andreas Savvides EE & CS Departments Yale University.

Yale November 18, Self-Configuring Wireless Sensor Networks Andreas Savvides EE & CS Departments Yale University.
1 Software Engineering--Introduction. 2 1.Syllabus, grading, schedule--class + lab--will all be on www.ece.uc.edu/~cpurdywww.ece.uc.edu/~cpurdy 2.Contact.

1 Software Engineering--Introduction. 2 1.Syllabus, grading, schedule--class + lab--will all be on 2.Contact.
Testing and Monitoring at Penn An Integrated Framework for Validating Model-based Embedded Software Li Tan University of Pennsylvania September, 2003.

Testing and Monitoring at Penn An Integrated Framework for Validating Model-based Embedded Software Li Tan University of Pennsylvania September, 2003.
Presentation Outline Background Problem assessment Idea development Proposed program Future efforts.

Presentation Outline Background Problem assessment Idea development Proposed program Future efforts.

Similar presentations

Ads by Google