cyber-physical systems seminar...2018/01/01  · systems seminar columbia university elen e9705...

64
Instructor: Prof. Xiaofan (Fred) Jiang, Columbia University Special thanks to Prof. John A. Stankovic and Prof. Tamer Nadeem for course materials CYBER-PHYSICAL SYSTEMS SEMINAR COLUMBIA UNIVERSITY ELEN E9705 SPRING 2018

Upload: others

Post on 09-Mar-2021

1 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: CYBER-PHYSICAL SYSTEMS SEMINAR...2018/01/01  · SYSTEMS SEMINAR COLUMBIA UNIVERSITY ELEN E9705 SPRING 2018 DO NOT SHARE SLIDES AND CLASS MATERIALS ON ONLINE SITES Logistics • Instructor:Prof

Instructor: Prof. Xiaofan (Fred) Jiang, Columbia University

Special thanks to Prof. John A. Stankovic and Prof. Tamer Nadeem for course materials

CYBER-PHYSICAL SYSTEMS SEMINARCOLUMBIA UNIVERSITY ELEN E9705 SPRING 2018

Page 2: CYBER-PHYSICAL SYSTEMS SEMINAR...2018/01/01  · SYSTEMS SEMINAR COLUMBIA UNIVERSITY ELEN E9705 SPRING 2018 DO NOT SHARE SLIDES AND CLASS MATERIALS ON ONLINE SITES Logistics • Instructor:Prof

DO NOT SHARE SLIDES AND CLASS MATERIALS

ON ONLINE SITES

Page 3: CYBER-PHYSICAL SYSTEMS SEMINAR...2018/01/01  · SYSTEMS SEMINAR COLUMBIA UNIVERSITY ELEN E9705 SPRING 2018 DO NOT SHARE SLIDES AND CLASS MATERIALS ON ONLINE SITES Logistics • Instructor:Prof

Logistics

• Instructor: Prof. Xiaofan JiangTime: Thursdays 1:50PM-3:40PMLocation: Fairchild 601B

• Prerequisites:PhD and MS students with interest in systems research and data science.

• Office hours: Tuesdays 2-3PM in NWC 1008

• Course website: https://edblogs.columbia.edu/elene9705-001-2018-1/

Page 4: CYBER-PHYSICAL SYSTEMS SEMINAR...2018/01/01  · SYSTEMS SEMINAR COLUMBIA UNIVERSITY ELEN E9705 SPRING 2018 DO NOT SHARE SLIDES AND CLASS MATERIALS ON ONLINE SITES Logistics • Instructor:Prof

Goals

• Learn about key ideas and concepts of CPS• Understand state of art of CPS research and its diverse

application domains• Develop critical reading (and analysis) skills for research

papers• Learn how to present research in a clear and concise way• Seminar -> reading, presenting, and discussing research

papers• Develop new, or improve existing, CPS research projects

Page 5: CYBER-PHYSICAL SYSTEMS SEMINAR...2018/01/01  · SYSTEMS SEMINAR COLUMBIA UNIVERSITY ELEN E9705 SPRING 2018 DO NOT SHARE SLIDES AND CLASS MATERIALS ON ONLINE SITES Logistics • Instructor:Prof

Course Structure and Grading

• Paper presentation – 35%• 2 papers, from different categories• Ok to propose CPS papers not in the reading list (with approval by instructor)• 30 minutes presentation + lead discussion

• Participation and Discussion – 35%• Prepare short paper summaries for papers presented by others• Prepare questions or comments for discussion (at least 3) • Actively participate in discussions

• Project development – 30%• Propose a research project (either new or existing) • 30 minutes project idea presentation: problem formulation, survey state of art,

develop hypothesis, propose experiments, get feedback

• There is NO midterm nor final

Page 6: CYBER-PHYSICAL SYSTEMS SEMINAR...2018/01/01  · SYSTEMS SEMINAR COLUMBIA UNIVERSITY ELEN E9705 SPRING 2018 DO NOT SHARE SLIDES AND CLASS MATERIALS ON ONLINE SITES Logistics • Instructor:Prof

Reading List

• Introduction• CPS definition and vision

• CPS application domains• Smart cities and built environment• Fitness and health care• Air quality and environment

• Cross-cutting topics• Time-series data analysis• Energy and power• Scalability• Wireless networking• Etc.

• CPS related papers in your research field (with approval)• Send me your paper choices by Jan. 22 EOD via email

Page 7: CYBER-PHYSICAL SYSTEMS SEMINAR...2018/01/01  · SYSTEMS SEMINAR COLUMBIA UNIVERSITY ELEN E9705 SPRING 2018 DO NOT SHARE SLIDES AND CLASS MATERIALS ON ONLINE SITES Logistics • Instructor:Prof

A side note on paper reading /

writing, and research in general

Page 8: CYBER-PHYSICAL SYSTEMS SEMINAR...2018/01/01  · SYSTEMS SEMINAR COLUMBIA UNIVERSITY ELEN E9705 SPRING 2018 DO NOT SHARE SLIDES AND CLASS MATERIALS ON ONLINE SITES Logistics • Instructor:Prof

The Simpson’s take on Ph.D.

• “They just made a terrible life choice.” – Marge Simpson

Page 9: CYBER-PHYSICAL SYSTEMS SEMINAR...2018/01/01  · SYSTEMS SEMINAR COLUMBIA UNIVERSITY ELEN E9705 SPRING 2018 DO NOT SHARE SLIDES AND CLASS MATERIALS ON ONLINE SITES Logistics • Instructor:Prof

The illustrated guide to a Ph.D.

by Matt Might

http://matt.might.net/articles/phd-school-in-pictures/

Page 10: CYBER-PHYSICAL SYSTEMS SEMINAR...2018/01/01  · SYSTEMS SEMINAR COLUMBIA UNIVERSITY ELEN E9705 SPRING 2018 DO NOT SHARE SLIDES AND CLASS MATERIALS ON ONLINE SITES Logistics • Instructor:Prof
Page 11: CYBER-PHYSICAL SYSTEMS SEMINAR...2018/01/01  · SYSTEMS SEMINAR COLUMBIA UNIVERSITY ELEN E9705 SPRING 2018 DO NOT SHARE SLIDES AND CLASS MATERIALS ON ONLINE SITES Logistics • Instructor:Prof
Page 12: CYBER-PHYSICAL SYSTEMS SEMINAR...2018/01/01  · SYSTEMS SEMINAR COLUMBIA UNIVERSITY ELEN E9705 SPRING 2018 DO NOT SHARE SLIDES AND CLASS MATERIALS ON ONLINE SITES Logistics • Instructor:Prof
Page 13: CYBER-PHYSICAL SYSTEMS SEMINAR...2018/01/01  · SYSTEMS SEMINAR COLUMBIA UNIVERSITY ELEN E9705 SPRING 2018 DO NOT SHARE SLIDES AND CLASS MATERIALS ON ONLINE SITES Logistics • Instructor:Prof
Page 14: CYBER-PHYSICAL SYSTEMS SEMINAR...2018/01/01  · SYSTEMS SEMINAR COLUMBIA UNIVERSITY ELEN E9705 SPRING 2018 DO NOT SHARE SLIDES AND CLASS MATERIALS ON ONLINE SITES Logistics • Instructor:Prof
Page 15: CYBER-PHYSICAL SYSTEMS SEMINAR...2018/01/01  · SYSTEMS SEMINAR COLUMBIA UNIVERSITY ELEN E9705 SPRING 2018 DO NOT SHARE SLIDES AND CLASS MATERIALS ON ONLINE SITES Logistics • Instructor:Prof
Page 16: CYBER-PHYSICAL SYSTEMS SEMINAR...2018/01/01  · SYSTEMS SEMINAR COLUMBIA UNIVERSITY ELEN E9705 SPRING 2018 DO NOT SHARE SLIDES AND CLASS MATERIALS ON ONLINE SITES Logistics • Instructor:Prof
Page 17: CYBER-PHYSICAL SYSTEMS SEMINAR...2018/01/01  · SYSTEMS SEMINAR COLUMBIA UNIVERSITY ELEN E9705 SPRING 2018 DO NOT SHARE SLIDES AND CLASS MATERIALS ON ONLINE SITES Logistics • Instructor:Prof
Page 18: CYBER-PHYSICAL SYSTEMS SEMINAR...2018/01/01  · SYSTEMS SEMINAR COLUMBIA UNIVERSITY ELEN E9705 SPRING 2018 DO NOT SHARE SLIDES AND CLASS MATERIALS ON ONLINE SITES Logistics • Instructor:Prof
Page 19: CYBER-PHYSICAL SYSTEMS SEMINAR...2018/01/01  · SYSTEMS SEMINAR COLUMBIA UNIVERSITY ELEN E9705 SPRING 2018 DO NOT SHARE SLIDES AND CLASS MATERIALS ON ONLINE SITES Logistics • Instructor:Prof
Page 20: CYBER-PHYSICAL SYSTEMS SEMINAR...2018/01/01  · SYSTEMS SEMINAR COLUMBIA UNIVERSITY ELEN E9705 SPRING 2018 DO NOT SHARE SLIDES AND CLASS MATERIALS ON ONLINE SITES Logistics • Instructor:Prof
Page 21: CYBER-PHYSICAL SYSTEMS SEMINAR...2018/01/01  · SYSTEMS SEMINAR COLUMBIA UNIVERSITY ELEN E9705 SPRING 2018 DO NOT SHARE SLIDES AND CLASS MATERIALS ON ONLINE SITES Logistics • Instructor:Prof

Reading an Academic Paper• Different types of readers • The knowledge seeker: most people read academic paper

to get a rough idea• The other guy: some one who is in a similar field or

working on something related. • Members of the TPC: “should I accept or reject it?”

Page 22: CYBER-PHYSICAL SYSTEMS SEMINAR...2018/01/01  · SYSTEMS SEMINAR COLUMBIA UNIVERSITY ELEN E9705 SPRING 2018 DO NOT SHARE SLIDES AND CLASS MATERIALS ON ONLINE SITES Logistics • Instructor:Prof

The Knowledge Seeker

• Don’t care about deep technical details• They will most likely skip the equations

• Don’t have time to read every word• And only look at figures and read captions

• May not have the relevant technical background• But will usually read intro

Page 23: CYBER-PHYSICAL SYSTEMS SEMINAR...2018/01/01  · SYSTEMS SEMINAR COLUMBIA UNIVERSITY ELEN E9705 SPRING 2018 DO NOT SHARE SLIDES AND CLASS MATERIALS ON ONLINE SITES Logistics • Instructor:Prof

The Other Guy

• Comparison to your paper• “how is my work different?”• “why is my work better?”

• Reproduce / build on top of your work• An implementation of the concept / architecture of your

paper• Reproduce results for comparison

Page 24: CYBER-PHYSICAL SYSTEMS SEMINAR...2018/01/01  · SYSTEMS SEMINAR COLUMBIA UNIVERSITY ELEN E9705 SPRING 2018 DO NOT SHARE SLIDES AND CLASS MATERIALS ON ONLINE SITES Logistics • Instructor:Prof

Members of the TPC

• Technical contribution• Originality• Relevance to the conference/journal/workshop• Scoring• Recommendation• Originality and impact• Technical correctness• Presentation• Expertise

• The champion / anti-champion

Page 25: CYBER-PHYSICAL SYSTEMS SEMINAR...2018/01/01  · SYSTEMS SEMINAR COLUMBIA UNIVERSITY ELEN E9705 SPRING 2018 DO NOT SHARE SLIDES AND CLASS MATERIALS ON ONLINE SITES Logistics • Instructor:Prof

Back to topic

Page 26: CYBER-PHYSICAL SYSTEMS SEMINAR...2018/01/01  · SYSTEMS SEMINAR COLUMBIA UNIVERSITY ELEN E9705 SPRING 2018 DO NOT SHARE SLIDES AND CLASS MATERIALS ON ONLINE SITES Logistics • Instructor:Prof

Paper Presentation

• 30 minutes presentation• Problem statement (what)• Motivation (why)• Related work (what am I doing differently)• Hypothesis / approach / design choices (my cool idea)• Experiments / implementation (what I designed to prove/disprove

my hypothesis)• Results (what I achieved)• Conclusion / future work• Your assessment of the paper

• Use more figures less text• Do NOT need to follow structure of the paper• Followed by discussion of the paper

Page 27: CYBER-PHYSICAL SYSTEMS SEMINAR...2018/01/01  · SYSTEMS SEMINAR COLUMBIA UNIVERSITY ELEN E9705 SPRING 2018 DO NOT SHARE SLIDES AND CLASS MATERIALS ON ONLINE SITES Logistics • Instructor:Prof

Paper Summary

• Short paper summary before each class• As a TPC member: • Summary• Pros• Cons

• What would you do differently? • 3+ questions / comments for presenter

Page 28: CYBER-PHYSICAL SYSTEMS SEMINAR...2018/01/01  · SYSTEMS SEMINAR COLUMBIA UNIVERSITY ELEN E9705 SPRING 2018 DO NOT SHARE SLIDES AND CLASS MATERIALS ON ONLINE SITES Logistics • Instructor:Prof

Class Discussion

• Read the paper before class and be prepare for discussion led by

the paper presenter

• Look through the “fluff”

• Ask questions of classmates as a way for the group to get a

deeper understanding of the topics

• Example: Biometric Bracelet Lets a Medical Device Recognize its Wearer - A device that measures its wearer’s unique electric impedance could make medical procedures more convenient. (http://www.technologyreview.com/news/428755/biometric-bracelet-lets-a-medical-device-

recognize-its-wearer/)

• Discussion:

• What is authentication?

• Why is authentication useful in wearable and implantable medical devices?

• If you have a 90% success rate -- what are the implications? Is it good or bad?

Page 29: CYBER-PHYSICAL SYSTEMS SEMINAR...2018/01/01  · SYSTEMS SEMINAR COLUMBIA UNIVERSITY ELEN E9705 SPRING 2018 DO NOT SHARE SLIDES AND CLASS MATERIALS ON ONLINE SITES Logistics • Instructor:Prof

Introduction to CPS

Page 30: CYBER-PHYSICAL SYSTEMS SEMINAR...2018/01/01  · SYSTEMS SEMINAR COLUMBIA UNIVERSITY ELEN E9705 SPRING 2018 DO NOT SHARE SLIDES AND CLASS MATERIALS ON ONLINE SITES Logistics • Instructor:Prof

Computing Evolution

• Mainframe computing (60’s-70’s)• Large computers to execute big data processing

applications

• Desktop computing & Internet (80’s-90’s)• One computer at every desk to do

business/personal activities

• Ubiquitous computing (00’s)• Numerous computing devices in every

place/person• “Invisible” part of the environment• Millions for desktops vs. billions for embedded

processors

• Cyber Physical Systems (10’s and beyond)

Page 31: CYBER-PHYSICAL SYSTEMS SEMINAR...2018/01/01  · SYSTEMS SEMINAR COLUMBIA UNIVERSITY ELEN E9705 SPRING 2018 DO NOT SHARE SLIDES AND CLASS MATERIALS ON ONLINE SITES Logistics • Instructor:Prof

Trend 1: Data/Device Proliferation (By Moore’s Law)

Sensors

Medical

IndustrialTransportation

Smart Spaces

Page 32: CYBER-PHYSICAL SYSTEMS SEMINAR...2018/01/01  · SYSTEMS SEMINAR COLUMBIA UNIVERSITY ELEN E9705 SPRING 2018 DO NOT SHARE SLIDES AND CLASS MATERIALS ON ONLINE SITES Logistics • Instructor:Prof

Trend 2: Integration at Scale (Isolation has cost!)

Page 33: CYBER-PHYSICAL SYSTEMS SEMINAR...2018/01/01  · SYSTEMS SEMINAR COLUMBIA UNIVERSITY ELEN E9705 SPRING 2018 DO NOT SHARE SLIDES AND CLASS MATERIALS ON ONLINE SITES Logistics • Instructor:Prof

Trend 3: Biological Evolution

TOO SLOW!The exponential proliferation of embedded devices (afforded by Moore’s Law)

is not matched by a corresponding increase in human ability to consume information!

Increasing autonomy (human out of the loop)

Page 34: CYBER-PHYSICAL SYSTEMS SEMINAR...2018/01/01  · SYSTEMS SEMINAR COLUMBIA UNIVERSITY ELEN E9705 SPRING 2018 DO NOT SHARE SLIDES AND CLASS MATERIALS ON ONLINE SITES Logistics • Instructor:Prof

Confluence of Trends

#1Data/Device Proliferation

(by Moore’s Law)

#2Integration at

Scale (Isolation has cost)

#3Autonomy

(Human are not getting faster)

Distributed Cyber-Physical

Information Distillation and Control Systems

Page 35: CYBER-PHYSICAL SYSTEMS SEMINAR...2018/01/01  · SYSTEMS SEMINAR COLUMBIA UNIVERSITY ELEN E9705 SPRING 2018 DO NOT SHARE SLIDES AND CLASS MATERIALS ON ONLINE SITES Logistics • Instructor:Prof

What are Cyber-Physical Systems?

• Cyber – computation, communication, and control that arediscrete, logical, and switched• Physical – natural and human-made systems governed by thelaws of physics and operating in continuous time• Cyber-Physical Systems – systems in which the cyber andphysical systems are tightly integrated at all scales and levels

“CPS will transform how we interact with the physical worldjust like the Internet transformed how we interact with one another.”

Page 36: CYBER-PHYSICAL SYSTEMS SEMINAR...2018/01/01  · SYSTEMS SEMINAR COLUMBIA UNIVERSITY ELEN E9705 SPRING 2018 DO NOT SHARE SLIDES AND CLASS MATERIALS ON ONLINE SITES Logistics • Instructor:Prof

What are Cyber-Physical Systems?

• Cyber-physical systems (CPSs) are physical and engineered systems whose operations are monitored, coordinated, controlled and integrated by a computing and communication core.

• Convergence of computation, communication, information, and control

Page 37: CYBER-PHYSICAL SYSTEMS SEMINAR...2018/01/01  · SYSTEMS SEMINAR COLUMBIA UNIVERSITY ELEN E9705 SPRING 2018 DO NOT SHARE SLIDES AND CLASS MATERIALS ON ONLINE SITES Logistics • Instructor:Prof

Application Domains of Cyber-Physical Systems

• Built environment / city scale systems • Physical infrastructure monitoring and control• Electricity generation and distribution• Building and environmental controls

• Healthcare• Medical devices • Health management networks

• Transportation • Automotive electronics• Vehicular networks and smart highways• Aviation and airspace management• Avionics• Railroad systems

• Process control • Defense systems • Tele-physical operations

• Telemedicine• Tele-manipulation

Page 38: CYBER-PHYSICAL SYSTEMS SEMINAR...2018/01/01  · SYSTEMS SEMINAR COLUMBIA UNIVERSITY ELEN E9705 SPRING 2018 DO NOT SHARE SLIDES AND CLASS MATERIALS ON ONLINE SITES Logistics • Instructor:Prof

Application Domains of Cyber-Physical Systems

Page 39: CYBER-PHYSICAL SYSTEMS SEMINAR...2018/01/01  · SYSTEMS SEMINAR COLUMBIA UNIVERSITY ELEN E9705 SPRING 2018 DO NOT SHARE SLIDES AND CLASS MATERIALS ON ONLINE SITES Logistics • Instructor:Prof

Example 1: Automotive Systems

Page 40: CYBER-PHYSICAL SYSTEMS SEMINAR...2018/01/01  · SYSTEMS SEMINAR COLUMBIA UNIVERSITY ELEN E9705 SPRING 2018 DO NOT SHARE SLIDES AND CLASS MATERIALS ON ONLINE SITES Logistics • Instructor:Prof

Example 2: Manned and Unmanned Ariel Vehicles

Page 41: CYBER-PHYSICAL SYSTEMS SEMINAR...2018/01/01  · SYSTEMS SEMINAR COLUMBIA UNIVERSITY ELEN E9705 SPRING 2018 DO NOT SHARE SLIDES AND CLASS MATERIALS ON ONLINE SITES Logistics • Instructor:Prof

Example 3: Health Care and Medicine

Page 42: CYBER-PHYSICAL SYSTEMS SEMINAR...2018/01/01  · SYSTEMS SEMINAR COLUMBIA UNIVERSITY ELEN E9705 SPRING 2018 DO NOT SHARE SLIDES AND CLASS MATERIALS ON ONLINE SITES Logistics • Instructor:Prof

Example 4: Electric Power Grid

Page 43: CYBER-PHYSICAL SYSTEMS SEMINAR...2018/01/01  · SYSTEMS SEMINAR COLUMBIA UNIVERSITY ELEN E9705 SPRING 2018 DO NOT SHARE SLIDES AND CLASS MATERIALS ON ONLINE SITES Logistics • Instructor:Prof

Example 5: Robotics

Page 44: CYBER-PHYSICAL SYSTEMS SEMINAR...2018/01/01  · SYSTEMS SEMINAR COLUMBIA UNIVERSITY ELEN E9705 SPRING 2018 DO NOT SHARE SLIDES AND CLASS MATERIALS ON ONLINE SITES Logistics • Instructor:Prof

Example 6: Smart Buildings

• Today:• Building operation consumes 40%

of U.S. energy and 71% of the electricity, 12% of the water, and rapidly increasing quantities of land. Building demolition, construction and renovation generate over 35% of non-industrial waste.

• Future:• Energy conserving automation for: air quality, lighting, plumbing, water

efficiency: stormwater, graywater, blackwater, household usage , irrigation, daylighting

• Co-generation (heat/energy), home-based energy generation• Controllable building materials and systems (e.g., smart windows); heat, light,

water fixtures and plumbing,• Cross-system cooperative networked real-time configuration and control

Page 45: CYBER-PHYSICAL SYSTEMS SEMINAR...2018/01/01  · SYSTEMS SEMINAR COLUMBIA UNIVERSITY ELEN E9705 SPRING 2018 DO NOT SHARE SLIDES AND CLASS MATERIALS ON ONLINE SITES Logistics • Instructor:Prof

Example 7: Everyday Objects

Page 46: CYBER-PHYSICAL SYSTEMS SEMINAR...2018/01/01  · SYSTEMS SEMINAR COLUMBIA UNIVERSITY ELEN E9705 SPRING 2018 DO NOT SHARE SLIDES AND CLASS MATERIALS ON ONLINE SITES Logistics • Instructor:Prof

Why CPS is Significant?

• Building systems that integrate computational and physical objects requires new systems science foundations.• Fusion of physical and computational sciences

• Expected share of value of embedded computing components in the next five years:• Automotive and airspace systems 30-40%• Health/Medical equipment 33%• Industrial automation 22%• Telecommunications 37%• Consumer electronics and Intelligent Homes 41%

• CPS are the basic engine of innovation for a broad range of industrial sectors.• This is the technology that transforms products, creates new markets

and disrupts the status-quo.

Page 47: CYBER-PHYSICAL SYSTEMS SEMINAR...2018/01/01  · SYSTEMS SEMINAR COLUMBIA UNIVERSITY ELEN E9705 SPRING 2018 DO NOT SHARE SLIDES AND CLASS MATERIALS ON ONLINE SITES Logistics • Instructor:Prof

Why is CPS Hard?

Page 48: CYBER-PHYSICAL SYSTEMS SEMINAR...2018/01/01  · SYSTEMS SEMINAR COLUMBIA UNIVERSITY ELEN E9705 SPRING 2018 DO NOT SHARE SLIDES AND CLASS MATERIALS ON ONLINE SITES Logistics • Instructor:Prof

Software, the Great Enabler

• Good news: anything is possible in software! • Bad news: anything is possible in software!

• It is the software that affects system complexity and also cost. • Software development stands for 70-80% of the overall

development cost for some embedded systems.

Page 49: CYBER-PHYSICAL SYSTEMS SEMINAR...2018/01/01  · SYSTEMS SEMINAR COLUMBIA UNIVERSITY ELEN E9705 SPRING 2018 DO NOT SHARE SLIDES AND CLASS MATERIALS ON ONLINE SITES Logistics • Instructor:Prof

Embedded Software - Goals

• Trustworthy: should not fail (or at least gracefully degrade), and safe touse. The existence of embedded software becomes apparent only whenan embedded system fails.

• Context- and Situation-Aware: should be able to sense people,environment, and threats and to plan/notify/actuate responses toprovide real-time interaction with the dynamically changing physicalenvironment with limited resources.

• Seamless Integration: should be invisible at multiple levels of a hierarchy:home systems, metropolitan systems, regional systems, and nationalsystems.

• Validation and Certification: should be able to assure that embeddedsystems work correctly with respect to functional and nonfunctionalrequirements with high degree of certainty.

Page 50: CYBER-PHYSICAL SYSTEMS SEMINAR...2018/01/01  · SYSTEMS SEMINAR COLUMBIA UNIVERSITY ELEN E9705 SPRING 2018 DO NOT SHARE SLIDES AND CLASS MATERIALS ON ONLINE SITES Logistics • Instructor:Prof

Interaction Complexity

• We know how to design and build components.

• Systems are about the interactions of components. • Some interactions are unintended and unanticipated

• Interoperability • Emerging behaviors

• “Normal Accidents”, an influential book by Charles Perrow (1984)• One of the Three Mile Island investigators• And a member of recent NRC Study “Software for Dependable Systems:

Sufficient Evidence?”• A sociologist, not a computer scientist

• Posits that sufficiently complex systems can produce accidents without a simple cause due to • interactive complexity and tight coupling

Page 51: CYBER-PHYSICAL SYSTEMS SEMINAR...2018/01/01  · SYSTEMS SEMINAR COLUMBIA UNIVERSITY ELEN E9705 SPRING 2018 DO NOT SHARE SLIDES AND CLASS MATERIALS ON ONLINE SITES Logistics • Instructor:Prof

Example: Ariane 5

Page 52: CYBER-PHYSICAL SYSTEMS SEMINAR...2018/01/01  · SYSTEMS SEMINAR COLUMBIA UNIVERSITY ELEN E9705 SPRING 2018 DO NOT SHARE SLIDES AND CLASS MATERIALS ON ONLINE SITES Logistics • Instructor:Prof

Example: Auto Recalls

Page 53: CYBER-PHYSICAL SYSTEMS SEMINAR...2018/01/01  · SYSTEMS SEMINAR COLUMBIA UNIVERSITY ELEN E9705 SPRING 2018 DO NOT SHARE SLIDES AND CLASS MATERIALS ON ONLINE SITES Logistics • Instructor:Prof

More Auto Recalls

Page 54: CYBER-PHYSICAL SYSTEMS SEMINAR...2018/01/01  · SYSTEMS SEMINAR COLUMBIA UNIVERSITY ELEN E9705 SPRING 2018 DO NOT SHARE SLIDES AND CLASS MATERIALS ON ONLINE SITES Logistics • Instructor:Prof

Example: Mars PATH Finder

Incompatible Cross Domain Protocols –Interaction between RT and synchronization

protocols on Pathfinder caused repeated resets, nearly doomed the mission

Page 55: CYBER-PHYSICAL SYSTEMS SEMINAR...2018/01/01  · SYSTEMS SEMINAR COLUMBIA UNIVERSITY ELEN E9705 SPRING 2018 DO NOT SHARE SLIDES AND CLASS MATERIALS ON ONLINE SITES Logistics • Instructor:Prof

Example: Medical Devices

• 25% of all device recalls are bug related

• 1.5M devices recalled in last 8 years

• Between 1999-2005 the number of recalls due to software problems doubled

• Example:• In 2011 Moog Medical ambulatory infusion pump recall “... due to a

software anomaly which leads to software Error Code 45 (EC45), resulting in a shutdown of the pump. This failure may result in a delay or interruption of therapy, which could result in serious injury and/or death.”

Page 56: CYBER-PHYSICAL SYSTEMS SEMINAR...2018/01/01  · SYSTEMS SEMINAR COLUMBIA UNIVERSITY ELEN E9705 SPRING 2018 DO NOT SHARE SLIDES AND CLASS MATERIALS ON ONLINE SITES Logistics • Instructor:Prof

Societal Challenge

• How can we provide people and society with cyber-physical systems that they can trust their lives on?

• Partial list of complex system failures• Denver baggage handling system ($300M)• Power blackout in NY (2003)• Ariane 5 (1996)• Mars Pathfinder (1997)• Mars Climate Orbiter ($125M,1999)• The Patriot Missile (1991) • USS Yorktown (1998)• Therac-25 (1985-1988)• London Ambulance System (£9M, 1992)• Pacemakers (500K recalls during 1990-

2000)• Numerous computer-related incidents wth

commer aircraft (http://www.rvs.uni-bielefeld.de/ publications/compendium/ incidents_and_accidents/index.html)

Trustworthy:

Reliable, secure, privacy-preserving, usable, etc.

Page 57: CYBER-PHYSICAL SYSTEMS SEMINAR...2018/01/01  · SYSTEMS SEMINAR COLUMBIA UNIVERSITY ELEN E9705 SPRING 2018 DO NOT SHARE SLIDES AND CLASS MATERIALS ON ONLINE SITES Logistics • Instructor:Prof

CPS Challenges• Development of high-confidence CPS requires

• System Composition• Building System of Systems• “Grand Theme” of CPS• Need to ensure that composed system is safe• Two approach: System-level composition, Co-design

• Theory Modeling and Analysis• Complexity of CPS high enough that mathematical model based

engineering essential • E.g.: Hybrid Systems --- that consider both discrete and continuous

time dynamics of underlying components of CPS

Page 58: CYBER-PHYSICAL SYSTEMS SEMINAR...2018/01/01  · SYSTEMS SEMINAR COLUMBIA UNIVERSITY ELEN E9705 SPRING 2018 DO NOT SHARE SLIDES AND CLASS MATERIALS ON ONLINE SITES Logistics • Instructor:Prof

CPS Challenges

• Programming Abstractions• Functional behavior of CPS should be separated from requirements

of timeliness, QoS, dependability etc. • Model-based development : Functionality should be stated using

models --- state machines, dataflow graphs ---- and code for the system should be generated automatically

• Advantages: (1) easy to share designs, (2) detailed knowledge of target platform not needed

Page 59: CYBER-PHYSICAL SYSTEMS SEMINAR...2018/01/01  · SYSTEMS SEMINAR COLUMBIA UNIVERSITY ELEN E9705 SPRING 2018 DO NOT SHARE SLIDES AND CLASS MATERIALS ON ONLINE SITES Logistics • Instructor:Prof

CPS Challenges

• Architecture• CPS are Society-scale systems

• Reliability and Scalability are essential • New network protocols needed for connecting such large-scale,

heterogeneous system of systems• Network delays minimized• Resource visualization essential• Real-time, group communication methods are needed

• Fault tolerance has to be built in• Given uncertainties in the underlying physical process

• Big Data • All the data collected from the sensor-actuator systems in CPS needs to be processed

efficiently• Techniques needed to ensure the results can be visualized easily by users

Page 60: CYBER-PHYSICAL SYSTEMS SEMINAR...2018/01/01  · SYSTEMS SEMINAR COLUMBIA UNIVERSITY ELEN E9705 SPRING 2018 DO NOT SHARE SLIDES AND CLASS MATERIALS ON ONLINE SITES Logistics • Instructor:Prof

CPS Challenges

• Safety, Security and Privacy • Primary aim of all CPS design

• Ensure no harm comes to the underlying physical process • Ensuring security/privacy crucial for safety

• CPS are deployed in missions critical settings • Collect sensitive data and can actuate changes in the physical process • Composing individually secure systems into a composed system might

not be good enough • Computation and Energy limitations • Utilizing properties from underlying physical process might be a way

to proceed

Page 61: CYBER-PHYSICAL SYSTEMS SEMINAR...2018/01/01  · SYSTEMS SEMINAR COLUMBIA UNIVERSITY ELEN E9705 SPRING 2018 DO NOT SHARE SLIDES AND CLASS MATERIALS ON ONLINE SITES Logistics • Instructor:Prof

CPS Challenges

• Validation and Certification• Given complexity of CPS, it is essential to certify them based on

scientific foundations • Two step process:

• Design has right properties• Implementation conforms to the design

• Tools required for:• Eliciting models from requirements• Validating models that meet right properties• Metrics for validating implementation w.r.t. requirements

• Essential for quantifying reliability, liability, risk of such systems • Makes them insurable

Page 62: CYBER-PHYSICAL SYSTEMS SEMINAR...2018/01/01  · SYSTEMS SEMINAR COLUMBIA UNIVERSITY ELEN E9705 SPRING 2018 DO NOT SHARE SLIDES AND CLASS MATERIALS ON ONLINE SITES Logistics • Instructor:Prof

It is about reinventing...

• Electric grid• Transportation• Healthcare• Building energy management• Aerospace• Manufacturing• Agriculture• Mining• ...

Page 63: CYBER-PHYSICAL SYSTEMS SEMINAR...2018/01/01  · SYSTEMS SEMINAR COLUMBIA UNIVERSITY ELEN E9705 SPRING 2018 DO NOT SHARE SLIDES AND CLASS MATERIALS ON ONLINE SITES Logistics • Instructor:Prof

CPS – Concept Map

Page 64: CYBER-PHYSICAL SYSTEMS SEMINAR...2018/01/01  · SYSTEMS SEMINAR COLUMBIA UNIVERSITY ELEN E9705 SPRING 2018 DO NOT SHARE SLIDES AND CLASS MATERIALS ON ONLINE SITES Logistics • Instructor:Prof

Questions?