Jeff Jensen

advertisement
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
Download