ni.com Industrial Needs of CPS Education Jeff C. Jensen Senior Product Manager, Real-Time Systems National Instruments ni.com The Impact of Great Engineering Saving time, effort, and money. Improving quality of life. Averting catastrophic damage. ni.com ni.com 3 Diversity of Applications No Industry >15% of Revenue Telecom ATE ni.com Academic Military/ Aerospace Automotive Advanced Research 4 Semiconductors Electronics Computers Petrochemical Food Processing Textiles Engineering Grand Challenges Advance health informatics Engineer the tools of scientific discovery Reverse-engineer the brain Provide energy from fusion Engineer better medicines Provide access to clean water Enhance virtual reality Improve urban infrastructure Advance personalized learning Make solar energy economical Prevent nuclear terror Secure cyberspace Manage the nitrogen cycle Develop carbon sequestration methods ni.com 5 Escalating Complexity Over Time ni.com 6 Escalating Complexity of Concepts CPS Source: http://cyberphysicalsystems.org ni.com 7 “Today’s students are familiar with abstraction, and virtual worlds, it’s physical intuition and real world constraints that are foreign” ni.com Dr. Mark A. Horowitz EE Chair, Stanford 8 Scalable Software Abstraction Abstraction System Design Platform Java C++ C Assembly Language Machine Code System Complexity ni.com 9 Abstraction to the Pin VHDL ni.com Graphical System Design 10 The Power of Abstraction Lego Mindstorms ni.com Graphical System Design 11 CERN Large Hadron Collider “Today’s students are familiar with abstraction, and virtual worlds, it’s physical intuition and real world constraints that are foreign” ni.com Dr. Mark A. Horowitz EE Chair, Stanford 12 ni.com ni.com ACQUIRE SIGNAL ENTER FILTER PARAMETERS ni.com SPECIFY TRANSITION FREQUENCIES Plant Model Controller ni.com Controller Model Network Model ni.com Plant Model Formal Verification ni.com ni.com Proposed New Tool 2 engineers 1 year ni.com 20 ni.com 21 Physical Intuition Is Emphasized ni.com 22 Design Tradeoffs Statecharts PTIDES Continuous Time Analyzable Expressive Hybrid Systems Discrete Event Signals Always Present Synchronous Reactive Signals Possibly Absent Continuous Time Discrete Time-Triggered Time-Distributed Events Timestamps and synchronization for computing with time ni.com Giotto Instantaneous Events Untimed (clock-triggered) execution for predictability and analyzability 23 Model Physical Processes Derive & Refine Control Algorithm Test, Verify,, Validate Cyber Physical Design Choose Models Ch of Computation Simulate Specify Hardware Source: Jeff C. Jensen, Danica H. Chang, and Edward A. Lee; “A Model-Based Design Methodology for Cyber-Physical Systems” ni.com Domain-Specific Software Interoperability Simulink® MultiSim SCADE LabVIEW Modelica Simulinkni.com is a registered trademark of The MathWorks, Inc. SolidWorks 25 Application Space Application Instance API Platform Specification Arch. Platform Design-Space Exploration Platform Instance Architectural Space ni.com 26 Think Platform. Invest in a platform-based approach to help you more easily adapt to changing requirements and technology over time. ni.com 27 Model-Based Design for Cyber-Physical Systems Verification & Validation ni.com 28 UC Berkeley MOOC UC BerkeleyX EECS149.1x Introduction to Cyber-Physical Systems ni.com Edward A. Lee 29 Sanjit A. Seshia Jeff C. Jensen National Instruments – Our Commitment We equip engineers and scientists with tools that accelerate productivity, innovation, and discovery. ni.com 30 Do Cyber Do Physical Do Engineering ni.com 31