How can CPS education provide what the industry needs? Jyotirmoy Deshmukh Toyota Technical Center, Los Angeles.

Slides:



Advertisements
Similar presentations
ECOE 560 Design Methodologies and Tools for Software/Hardware Systems Spring 2004 Serdar Taşıran.
Advertisements

1 Translation Validation: From Simulink to C Michael RyabtsevOfer Strichman Technion, Haifa, Israel Acknowledgement: sponsored by a grant from General.
Timed Automata.
Software Construction
Prof. Srinidhi Varadarajan Director Center for High-End Computing Systems.
Automatic Verification of Component-Based Real-Time CORBA Applications Gabor Madl Sherif Abdelwahed
Filling the Gap Between System Design & Performance Verification Rafik HENIA, Laurent RIOUX, Nicolas SORDON Thales Research & Technology.
Digital Systems Emphasis for Electrical Engineering Students Digital Systems skills are very valuable for electrical engineers Digital systems are the.
Systems Engineering for Automating V&V of Dependable Systems John S. Baras Institute for Systems Research University of Maryland College Park
Static Analysis of Embedded C Code John Regehr University of Utah Joint work with Nathan Cooprider.
Component Technologies for Embedded Systems Johan Eker.
February 21, 2008 Center for Hybrid and Embedded Software Systems Driving Application: 4D Tele-immersion Future Work Though.
Integrated Design and Analysis Tools for Software-Based Control Systems Shankar Sastry (PI) Tom Henzinger Edward Lee University of California, Berkeley.
NSF Foundations of Hybrid and Embedded Software Systems UC Berkeley: Chess Vanderbilt University: ISIS University of Memphis: MSI A New System Science.
7th Biennial Ptolemy Miniconference Berkeley, CA February 13, 2007 Leveraging Synchronous Language Principles for Hybrid System Models Haiyang Zheng and.
Software Evolution Managing the processes of software system change
Chess Review November 21, 2005 Berkeley, CA Edited and presented by A New Course in Hybrid and Embedded Systems Claire J. Tomlin UC Berkeley.
Chess Review October 4, 2006 Alexandria, VA Edited and presented by Advanced Tool Architectures Edward A. Lee UC Berkeley.
Behavioral Design Outline –Design Specification –Behavioral Design –Behavioral Specification –Hardware Description Languages –Behavioral Simulation –Behavioral.
Are “Embedded Systems" Just Systems Made with Small Computers? Chess: Center for Hybrid and Embedded Software Systems Invited Talk Artist International.
Reasons to study concepts of PL
Review of “Embedded Software” by E.A. Lee Katherine Barrow Vladimir Jakobac.
NSF Foundations of Hybrid and Embedded Software Systems UC Berkeley: Chess Vanderbilt University: ISIS University of Memphis: MSI A New System Science.
MoBIES Working group meeting, September 2001, Dearborn Ptolemy II The automotive challenge problems version 4.1 Johan Eker Edward Lee with thanks.
Verifying Distributed Real-time Properties of Embedded Systems via Graph Transformations and Model Checking Gabor Madl
Strategic Directions in Real- Time & Embedded Systems Aatash Patel 18 th September, 2001.
Designing Predictable and Robust Systems Tom Henzinger UC Berkeley and EPFL.
UCB November 8, 2001 Krishna V Palem Proceler Inc. Customization Using Variable Instruction Sets Krishna V Palem CTO Proceler Inc.
Toyota: James Kapinski, Jyotirmoy Deshmukh,
Describing Syntax and Semantics
Copyright Arshi Khan1 System Programming Instructor Arshi Khan.
By Ryan Mowry.  Graphical models of system  Entire system or just parts  Complex systems easier to understand  “Capture key requirements and demonstrate.
1 Correct and efficient implementations of synchronous models on asynchronous execution platforms Stavros Tripakis UC Berkeley and Verimag EC^2 Workshop,
© 2011 Xilinx, Inc. All Rights Reserved Intro to System Generator This material exempt per Department of Commerce license exception TSU.
EECS 262a Advanced Topics in Computer Systems Lecture 26 seL4 Kernel verification December 3rd, 2014 John Kubiatowicz Electrical Engineering and Computer.
MapleSim and the Advantages of Physical Modeling
B. RAMAMURTHY EAP#2: Data Mining, Statistical Analysis and Predictive Analytics for Automotive Domain CSE651C, B. Ramamurthy 1 6/28/2014.
On the relation between software development and control function development in automotive embedded systems Stefan Kowalewski Embedded Software Laboratory.
Trigger design engineering tools. Data flow analysis Data flow analysis through the entire Trigger Processor allow us to refine the optimal architecture.
High Performance Physical Modeling and Simulation
Testing : A Roadmap Mary Jean Harrold Georgia Institute of Technology Presented by : Navpreet Bawa.
New techniques for physical modeling and simulation Tom Lee Ph.D., Vice President, Applications Engineering, Maplesoft Kent Chisamore, Account Manager,
Hardware in the Loop Simulation (HIL) Tom Lee VP Applications Engineering, Paul Goossens Director Applications Engineering.
Benjamin Gamble. What is Time?  Can mean many different things to a computer Dynamic Equation Variable System State 2.
Scientific Computing By: Fatima Hallak To: Dr. Guy Tel-Zur.
Department of Mechanical Engineering The University of Strathclyde, Glasgow Hybrid Systems: Modelling, Analysis and Control Yan Pang Department of Mechanical.
1 New Development Techniques: New Challenges for Verification and Validation Mats Heimdahl Critical Systems Research Group Department of Computer Science.
Overview of Formal Methods. Topics Introduction and terminology FM and Software Engineering Applications of FM Propositional and Predicate Logic Program.
Framework for the Development and Testing of Dependable and Safety-Critical Systems IKTA 065/ Supported by the Information and Communication.
An Introduction to Software Engineering. Communication Systems.
Model Checking and Model-Based Design Bruce H. Krogh Carnegie Mellon University.
Fault-Tolerant Parallel and Distributed Computing for Software Engineering Undergraduates Ali Ebnenasir and Jean Mayo {aebnenas, Department.
Writing Systems Software in a Functional Language An Experience Report Iavor Diatchki, Thomas Hallgren, Mark Jones, Rebekah Leslie, Andrew Tolmach.
Mechanical Engineering Department Automatic Control Dr. Talal Mandourah 1 Lecture 1 Automatic Control Applications: Missile control Behavior control Aircraft.
Master’s Degree in Computer Science. Why? Acquire Credentials Learn Skills –Existing software: Unix, languages,... –General software development techniques.
High Confidence Software and Systems HCMDSS Workshop Brad Martin June 2, 2005.
ISBN Prentice-Hall, 2006 Chapter 8 Testing the Programs Copyright 2006 Pearson/Prentice Hall. All rights reserved.
Real-Time Systems, Events, Triggers. Real-Time Systems A system that has operational deadlines from event to system response A system whose correctness.
International Telecommunication Union © ITU-T Study Group 17 Integrated Application of SDL Amardeo Sarma NEC Europe Ltd.
CONFIDENTIAL © 2007 Maplesoft, a division of Waterloo Maple Inc. Confidential MapleSim Pilot Test Program.
CS244-Introduction to Embedded Systems and Ubiquitous Computing Instructor: Eli Bozorgzadeh Computer Science Department UC Irvine Winter 2012.
Choosing a Formal Method Mike Weissert COSC 481. Outline Introduction Reasons For Choosing Formality Application Characteristics Criteria For A Successful.
Support for Program Analysis as a First-Class Design Constraint in Legion Michael Bauer 02/22/17.
Engineering and Debugging an App Chapter 15
Modeling and Simulation in Engineering using Modelica
Software Design Methodology
QGen and TQL-1 Qualification
Spring CS 599. Instructor: Jyo Deshmukh
Electronics Engineering Division
Rich Model Toolkit – An Infrastructure for Reliable Computer Systems
Presentation transcript:

How can CPS education provide what the industry needs? Jyotirmoy Deshmukh Toyota Technical Center, Los Angeles

What do “CPS people” in automotive industry do?  Research and Advanced Development  Design control software for new hardware  Model hardware, environment for software  Exhaustively test and worry about correctness Research/ Advanced Development Advanced Production Development Production

 Advanced Production Development  Map software to a particular platform  Integrate their software with legacy software  Exhaustively test and worry about correctness Research/ Advanced Development Advanced Production Development Production What do “CPS people” in automotive industry do?

 Production  Calibration and Tuning  Occasionally fix logic issues  Exhaustively test and worry about correctness Research/ Advanced Development Advanced Production Development Production What do “CPS people” in automotive industry do?

Research & Advanced Development Needs  Control Design Theory  Linear systems theory: Basic linear algebra, PID control, Frequency domain analysis, Gain/Phase margin, Bode plots, etc.  Nonlinear systems: Lyapunov theory, Feedback linearization, etc.  Control algorithms: MPC, Sliding-mode, State-Observation and Estimation  Implementing control algorithms  Control Design Tools  Matlab®  Simulink® and its toolboxes  LabView™, and related tools  Optimization tools and packages

Research & Advanced Development Needs  Modeling Theory  Causal versus acausal modeling  ODEs vs DAEs  Model order reduction (Rigorous transformations vs. approximations)  System identification  Making models fast  Modeling Tools  Modelica language: Dymola, OpenModelica  Maplesoft tools  Simscape from The MathWorks

Research & Advanced Development Needs  Verification/Validation/Testing Theory  Software testing: Test-case generation, code coverage.  Real-time computing  Formal Requirements in Logic  Hybrid & Continuous dynamical systems theory: Reachability analysis, Stability theory, Invariants  Verification/Validation/Testing Tools  Not many standard tools  Current state-of-the-art:  Open-loop : Simulink Design Verifier, Reactis, EmbeddedTester, LabView™ and related tools, dSpace, Model checkers, ….  Closed-loop: (Testing) S-TaLiRo, Breach; (Verification) SpaceEx, Flow*, Model checkers

Advanced Dev + Production Dev Needs  Real-time Software Theory  Models of Computation: Asynchronous Message- passing vs. Synchronous Dataflow vs. Discrete-Event Systems  Schedulability, Worst-case Execution Time Analysis  Software/Hardware architectures  Real-time Deadline-driven Concurrency Analysis  Skills: Knowledge of standards such as AUTOSAR, MISRA- C, DO-178B, ISO 26262

What will an ideal CPS engineer look like?  Three Masters degrees, Two PhDs, plus 10years experience?  Let’s look at what we can add:  How could we CPS up a CS major?  How could we CPS up an EE/ME (controls) major?

Switch from CS to CPS is generally harder  Control software development is different:  You don’t write code, you “draw” specs, generate code (e.g. Simulink, Ptolemy, TargetLink etc.)  Memory management is simplistic: shared memory organized in global variables  No object-oriented-ness, no functional languages  Very few pointers, dynamic typing, etc.  Formal Methodists often cringe at qualitative requirements

Switch from CS to CPS is generally harder  CS curricula generally:  Avoid ODEs, real numbers  Rarely include real analysis, Laplace transforms, etc.  Give students strong skill-set to be successful at traditional “software engineer” positions at Google, Facebook, Microsoft, Amazon, making apps, etc.  Big challenge: How to generate excitement about the CPS challenges in mainstream CS?

Controls to CPS easier, but need upgrades

 Multi-core platforms are coming!  Need training in concurrency theory, synchronization, memory models, schedulability, etc.  Hardware and software architectures  V2V communication, active safety, driver assistance systems are already here  Big data is coming  Machine learning, Data mining techniques will become prevalent  Abstraction/Refinement, logical foundations for sound reasoning, Compositional reasoning

What the industry should also need (but is currently not)  Very little focus on correct-by-construction design  Enormous strides in program synthesis, SMT, SAT can be leveraged  Design by abstractions and refinements  Hardware (mechanical components) and Software evolve independently and simultaneously  Makes verification, testing, calibration arduous and difficult: the shifting target problem  Formal Requirements  Even “as-is” requirements are not common  How do I design “improve gas-mileage?”

CPS academia and industrial CPS: Symbiosis? E.g. Berkeley’s MOOC course: Partnership of UCB with NI, excellent example of cross- pollination

Thank You!