Documente Academic
Documente Profesional
Documente Cultură
Embedded Systems
Smarter
Machine to
Internet of Planet
Machine
Everything
(M2M)
Internet
of Things The Fog
(IoT)
TSensors
Industry 4.0 (Trillion
The Industrial Sensors)
Internet
Embedded Systems
Internet of Things
http://www.gartner.com/technology/research/hype-cycles/
Lee, Berkeley EECS 149/249A, UC Berkeley: 4
The Hype Around
The Internet of Things
Using Internet technology to connect
physical devices (“things”).
Internet of Things
Trough of Disillusionment
IoT is the use of Internet technology for
Embedded Systems
Industrial automation This Bosch Rexroth printing press is a
Embedded factory using Ethernet and TCP/IP
example from 2008: with high-precision clock synchronization
Bosch-Rexroth (IEEE 1588) on an isolated LAN.
printing press.
Source: http://offsetpressman.blogspot.com/2011/03/how-flying-paster-works.ht
EECS 149/249A, UC Berkeley: 7
Source: http://offsetpressman.blogspot.com/2011/03/how-flying-paster-works.html
Flying Paster
Embedded systems Challenge: Prevent This
A vanced
d EECS 149/249A,Manufacturing
UC Berkeley:
R
o
b
o
t
Automotive Embedded systems and Societal
Challenges
• Safer Transportation
• Reduced Emissions
• Smart Transportation
• Energy Efficiency
• Climate Change
• Human-Robot Collaboration
See:
Jin. Kapinski. Deshmukh,
Ueda, Butts,
“Powertrain Control Verification
Benchmark,”
HSCC 2014
Exhaust manifold
Fuel injectors
Measured
A/F
Software Measured Air Flow
Infrastructural
core
The Cloud!
Sensory
swarm
Mobile
access
Courtesy: J. Rabaey
EECS 149/249A, UC
Berkeley: 20
What this course is about
http://LeeSeshia.org
Motivating Example of a Embedded System (see
Chapter 1 in book)
http://www.youtube.com/watch?
v=iD3QgGpzzIM
• Introductory Video:
http://www.youtube.com/watch?v=rJ9r2orcaYo
• Back-Flip Manuever:
Modeling:
• Flight dynamics (ch2)
• Modes of operation (ch3)
• Transitions between modes (ch4)
• Composition of behaviors (ch5)
• Multi-vehicle interaction (ch6)
Design:
• Sensors and Actuators (ch7)
• Processors (ch8)
• Memory system (ch9)
• Sensor interfacing (ch10)
• Concurrent software (ch11)
• Real-time scheduling (ch12)
Analysis
• Specifying safe behavior (ch13)
• Achieving safe behavior (ch14)
• Verifying safe behavior (ch15)
• Guaranteeing timeliness (ch16)
• Security and privacy (ch17)
GPS UART
Superstar II 10 Hz 19.2 kbps Stargate 1.0
IMU Intel PXA255 WiFi
CF
3DMG-X1 UARTUART 64MB RAM, 400MHz 100 Mbps 802.11b
76 or 100 Hz 115 kbps Robostix
115 Kbps Supervisor, GPS ≤ 5 Mbps
UART
Atmega128 Low level control
Ranger I2 C
400 kbps
PPM
SRF08 100 Hz
13 Hz Altitude Analog