Upload
kian-whirley
View
214
Download
0
Embed Size (px)
Citation preview
technische universität dortmund
fakultät für informatikinformatik 12
Embedded Systems
Jian-Jia Chen(slides are based on
Peter Marwedel)TU Dortmund,Informatik 12 © Springer, 2010
2014 年 10 月 07 日These slides use Microsoft clip arts. Microsoft copyright restrictions apply.
- 2 -technische universitätdortmund
fakultät für informatik
JJ Chen and P.Marwedel, Informatik 12, 2014
Motivation for course (1)
According to forecasts, future of IT characterized by terms such as
Disappearing computer, Ubiquitous computing, Pervasive computing, Ambient intelligence, Post-PC era, Cyber-physical systems.
Basic technologies: Embedded System technologies Communication technologies
© P
. M
arw
edel
, 20
11
- 3 -technische universitätdortmund
fakultät für informatik
JJ Chen and P.Marwedel, Informatik 12, 2014
Motivation for Course (2)
“Information technology (IT) is on the verge of another revolution. …..
networked systems of embedded computers ... have the potential to change radically the way people interact with their environment by linking together a range of devices and sensors that will allow information to be collected, shared, and processed in unprecedented ways. ...
The use … throughout society could well dwarf previous milestones in the information revolution.”
National Research Council Report (US)Embedded Everywhere, 2001:
© P
. M
arw
edel
, 20
11
- 4 -technische universitätdortmund
fakultät für informatik
JJ Chen and P.Marwedel, Informatik 12, 2014
Motivation for Course (3)
The future is embedded, embedded is the future
Graphics: © Microsoft (clip arts)
- 5 -technische universitätdortmund
fakultät für informatik
JJ Chen and P.Marwedel, Informatik 12, 2014
What is an embedded system?
Graphics: © Microsoft (clip arts)
- 6 -technische universitätdortmund
fakultät für informatik
JJ Chen and P.Marwedel, Informatik 12, 2014
Embedded Systems & Cyber-Physical Systems
“Dortmund“ Definition: [Peter Marwedel]
Embedded systems are information processing systems embedded into a larger product
Berkeley: [Edward A. Lee]:Embedded software is software integrated with physical processes. The technical problem is managing time and concurrency in computational systems.
Cyber-Physical (cy-phy) Systems (CPS) are integrations of computation with physical processes [Edward Lee, 2006].
Cyber-physical system (CPS) =Embedded System (ES) + physical environment
- 7 -technische universitätdortmund
fakultät für informatik
JJ Chen and P.Marwedel, Informatik 12, 2014
Cyber-physical systems and embedded systems
CPS = ES + physical environment
Embedded systems ("computers in physical environments")Embedded systems
("small computers")
Cyber-physical systems
- 8 -technische universitätdortmund
fakultät für informatik
JJ Chen and P.Marwedel, Informatik 12, 2014
What is a Cyber-Physical System?
Extreme view:
PhysicalCyber
Digital Controls Systems, ca. 1980Digital Controls Systems, ca. 1980
Cyber-Physical Systems, 2010+ !Cyber-Physical Systems, 2010+ !
© Marco Di Natale
- 9 -technische universitätdortmund
fakultät für informatik
JJ Chen and P.Marwedel, Informatik 12, 2014
Definition according to National Science Foundation (US)
Cyber-physical systems (CPS) are engineered systems that are built from and depend upon the synergy of computational and physical components. Emerging CPS will be coordinated, distributed, and connected, and must be robust and responsive. The CPS of tomorrow will need to far exceed the systems of today in capability, adaptability, resiliency, safety, security, and usability.Examples of the many CPS application areas include the smart electric grid, smart transportation, smart buildings, smart medical technologies, next-generation air traffic management, and advanced manufacturing.
cps-vo.org
- 10 -technische universitätdortmund
fakultät für informatik
JJ Chen and P.Marwedel, Informatik 12, 2014
CPS: Integration of Cyber and Physics
Cyber
Physics
CPS
Graphics: © Microsoft (clip arts)
- 11 -technische universitätdortmund
fakultät für informatik
JJ Chen and P.Marwedel, Informatik 12, 2014
Definition according to akatech
The physical world and the virtual world – or cyber-space – are merging; cyber-physical systems are developing. Future cyber-physical systems will contribute to security, efficiency, comfort and health systems as never before, and as a result, they will contribute to solving key challenges of our society, such as the aging population, limited resources, mobility, or energy transition.
[Akatech: Cyber-Physical Systems. Driving force for innovation in mobility, health, energy and production, http://www.acatech.de/de/ publikationen/stellungnahmen/kooperationen/detail/artikel/cyber-physical-systems-innovationsmotor-fuer-mobilitaet-gesundheit-energie-und-produktion.html]
- 12 -technische universitätdortmund
fakultät für informatik
JJ Chen and P.Marwedel, Informatik 12, 2014
Extending the motivation: Embedded systems and ubiquitous computing
Ubiquitous computing: Information anytime, any-where. Embedded systems provide fundamental technology.
Communication Technology
Optical networkingNetwork management
Distributed applicationsService provision
UMTS, DECT, Hiperlan, ATM
© Graphics: European Commission
Embedded Systems Techn.
RobotsControl systemsFeature extraction and recognitionSensors/actuatorsA/D-converters
Pervasive/Ubiquitous computingDistributed systems
Embedded web systems
Rea
l-tim
eD
epen
dabi
lity
Qua
lity
of
serv
ice
- 13 -technische universitätdortmund
fakultät für informatik
JJ Chen and P.Marwedel, Informatik 12, 2014
Growing importance of cyber-physical/ embedded systems
49.7% of Americans own smartphones[www.itfacts.biz, March 31, 2012]
…, the market for remote home health monitoring is expected to generate $225 mln revenue in 2011, up from less than $70 mln in 2006, according to Parks Associates. [www.itfacts.biz, Sep. 4th, 2007]
Funding in the 7th European Framework Funding in Horizon 2020 Creation of the ARTEMIS Joint Undertaking in Europe Funding of CPS research in the US Joint education effort of Taiwanese Universities ….
Graphics: © Microsoft (clip arts)
- 14 -technische universitätdortmund
fakultät für informatik
JJ Chen and P.Marwedel, Informatik 12, 2014
Growing importance of cyber-physical & embedded systems (2)
.. but embedded chips form the backbone ofthe electronics driven world in which we live ... they are part of almost everything that runs on electricity[Ryan, EEDesign, 1995]
Foundation for the “post PC era“
CPS & ES hardly discussed in other courses
CPS & ES important for TU Dortmund
CPS & ES important for many industries
Scope: sets context for specialized courses
Importance of education
technische universität dortmund
fakultät für informatikinformatik 12
Application areas and examples
Gra
phic
s: ©
Ale
xand
ra N
olte
, Ges
ine
Mar
wed
el, 2
003
- 16 -technische universitätdortmund
fakultät für informatik
JJ Chen and P.Marwedel, Informatik 12, 2014
Application area automotive electronics:clearly cyber-physical
Multiple networks
Multiple networked processors
Functions by embedded processing:
ABS: Anti-lock braking systems
ESP: Electronic stability control
Airbags
Efficient automatic gearboxes
Theft prevention with smart keys
Blind-angle alert systems
... etc ...
© P. Marwedel, 2011
[Based on slide by J.Engblom]
- 17 -technische universitätdortmund
fakultät für informatik
JJ Chen and P.Marwedel, Informatik 12, 2014
Application area avionics: also cyber-physical
Flight control systems,
anti-collision systems,
pilot information systems,
power supply system,
flap control system,
entertainment system,
…
Dependability is of outmost importance.
© P
. M
arw
edel
, 20
11
- 18 -technische universitätdortmund
fakultät für informatik
JJ Chen and P.Marwedel, Informatik 12, 2014
More application areas:
railroad
water ways
Dependability is of outmost importance.
©Photos: P. Marwedel
- 19 -technische universitätdortmund
fakultät für informatik
JJ Chen and P.Marwedel, Informatik 12, 2014
Forestry machines: cyber-physical
© Jakob Engblom
Networked computer system
Controlling arms & tools
Navigating the forest Recording the trees
harvested Crucial to efficient
work
- 20 -technische universitätdortmund
fakultät für informatik
JJ Chen and P.Marwedel, Informatik 12, 2014
Logistics
Applications of embedded/cyber-physical system
technology to logistics:
Radio frequency identification (RFID) technology provides easy identification of each and every object, worldwide.
Mobile communication allows unprecedented interaction.
The need of meeting real-time constraints and scheduling are linking embedded systems and logistics.
The same is true of energy minimization issues
- 21 -technische universitätdortmund
fakultät für informatik
JJ Chen and P.Marwedel, Informatik 12, 2014
Internet of Things
Internet of things and services
Energy Harvesting, 400lx Solar cell
Energy storage7.000 Telegrams without re-charging
ePaper-Grafik-Display
256bit Crypto processor
32 Bit μProcessor <=25 MHz, 512kRAM
Innovationspartner:Würth Industrie Services GmbHDebrunner Koenig Management AG © Fraunhofer IML, Dortmund
- 22 -technische universitätdortmund
fakultät für informatik
JJ Chen and P.Marwedel, Informatik 12, 2014
Fabrication
Production resources are self-configuring and distributed social machines
Industry 4.0
© Fraunhofer IML, Dortmund
- 23 -technische universitätdortmund
fakultät für informatik
JJ Chen and P.Marwedel, Informatik 12, 2014
Structural safety
Sensors + data analysis
Taipeh 101Bridge at Vancouver
Kilauea, Hawaii
Möhne lake dam
©Photos: P. Marwedel
- 24 -technische universitätdortmund
fakultät für informatik
JJ Chen and P.Marwedel, Informatik 12, 2014
Smart Home
Zero energy building, generates as much energy as it consumes
Provides safety and security Supports owners Provides maximum comfort ambient assisted living
© P. Marwedel
- 25 -technische universitätdortmund
fakultät für informatik
JJ Chen and P.Marwedel, Informatik 12, 2014
Smart Medicine
Diagnosis Support of therapy
• Surgery• Aids, e.g. Artificial eye:
- Camera attached to glasses; computer worn at belt; output directly connected to the brain, was at [www.dobelle.com]
- Translation into sound; claiming much better resolution, http://www.seeingwithsound. com/etumble.html
evaluation risk analysis Information about patients
- 26 -technische universitätdortmund
fakultät für informatik
JJ Chen and P.Marwedel, Informatik 12, 2014
20
14
13
12
11
1009
08
07
06
BB20/B20_MV
BB19/B19_HV
BB14/B14_HV
BB10/B10_HV
BB11/B11_HV BB13/B13_HV
BB12/B12_MV
BB39/B39_HV
BB09/B09_HV
BB08/B08_HV
BB07/B07_HV
BB06/B06_HV
BB05/B05_HV
TL19
20
TL111
2
TL12
13
PP05
PP04
PP03
PP02
G~
G01
L20
L12
L08
L07
TL1619
TL1013TL1011
TL0611
TL13
14
TL1415
TL0414
TL0506
TL0607
TL0508
TL0708
TL0809
TL09
39
T192
0
T1213
T111
2
DIgS
ILENT
20
14
13
12
11
1009
08
07
06
BB20/B20_MV
BB19/B19_HV
BB14/B14_HV
BB10/B10_HV
BB11/B11_HV BB13/B13_HV
BB12/B12_MV
BB39/B39_HV
BB09/B09_HV
BB08/B08_HV
BB07/B07_HV
BB06/B06_HV
BB05/B05_HV
TL19
20
TL111
2
TL12
13
PP05
PP04
PP03
PP02
G~
G01
L20
L12
L08
L07
TL1619
TL1013TL1011
TL0611
TL13
14
TL1415
TL0414
TL0506
TL0607
TL0508
TL0708
TL0809
TL09
39
T192
0
T1213
T111
2
DIgS
ILENT
20
14
13
12
11
1009
08
07
06
BB20/B20_MV
BB19/B19_HV
BB14/B14_HV
BB10/B10_HV
BB11/B11_HV BB13/B13_HV
BB12/B12_MV
BB39/B39_HV
BB09/B09_HV
BB08/B08_HV
BB07/B07_HV
BB06/B06_HV
BB05/B05_HV
TL19
20
TL111
2
TL12
13
PP05
PP04
PP03
PP02
G~
G01
L20
L12
L08
L07
TL1619
TL1013TL1011
TL0611
TL13
14
TL1415
TL0414
TL0506
TL0607
TL0508
TL0708
TL0809
TL09
39
T192
0
T1213
T111
2
DIgS
ILEN
T
20
14
13
12
11
1009
08
07
06
BB20/B20_MV
BB19/B19_HV
BB14/B14_HV
BB10/B10_HV
BB11/B11_HV BB13/B13_HV
BB12/B12_MV
BB39/B39_HV
BB09/B09_HV
BB08/B08_HV
BB07/B07_HV
BB06/B06_HV
BB05/B05_HV
TL19
20
TL11
12
TL12
13
PP05
PP04
PP03
PP02
G~
G01
L20
L12
L08
L07
TL1619
TL1013TL1011
TL0611
TL13
14
TL1415
TL0414
TL0506
TL0607
TL0508
TL0708
TL0809
TL09
39
T192
0
T1213
T111
2
DIg
SILE
NT
switch
power station
control station
sensors and local control
Decentralized Control
centralized control
long distance communication
Local Process control
Centralized control and monitoring
Smart Grid
© DFG-Forschergruppe 1511, TU Dortmund, Wietfeld, Rehtanz et al.
- 27 -technische universitätdortmund
fakultät für informatik
JJ Chen and P.Marwedel, Informatik 12, 2014
Integration of Physics and Cyberin Physical Experiments
© CERN, 2010
- 28 -technische universitätdortmund
fakultät für informatik
JJ Chen and P.Marwedel, Informatik 12, 2014
Smart Beer Glass
8-bit processor
Capacitive sensor for fluid level
Inductive coil for RF ID activation &
power
CPU and reading coil in the table. Reports the level of fluid in the glass, alerts servers when close to empty
Contact less transmission of power and
readings
© Jakob Engblom
Integrates several technologies: Radio transmissions Sensor technology Magnetic inductance for
power Computer used for
calibrationImpossible without the computerMeaningless without the electronics
- 29 -technische universitätdortmund
fakultät für informatik
JJ Chen and P.Marwedel, Informatik 12, 2014
More application areas
Telecommunication
Consumer electronics
Robotics
Public safety
Military systems
Mostly cyber-physical
© Graphics: P. Marwedel, 2011
- 30 -technische universitätdortmund
fakultät für informatik
JJ Chen and P.Marwedel, Informatik 12, 2014
Connecting previously isolated systems
© Design: P. MarwedelComponents: Microsoft
technische universität dortmund
fakultät für informatikinformatik 12
Educational concept
Gra
phic
s: ©
Ale
xand
ra N
olte
, Ges
ine
Mar
wed
el, 2
003
- 32 -technische universitätdortmund
fakultät für informatik
JJ Chen and P.Marwedel, Informatik 12, 2014
Broad set of topics
1. Introduction
2. Specification and modeling
3. CPS/ES hardware
4. CPS/ES system software
5. Evaluation
6. Mapping of applications to execution platforms
7. Optimizations
8. Test
- 33 -technische universitätdortmund
fakultät für informatik
JJ Chen and P.Marwedel, Informatik 12, 2014
Concept of CPS & ES Education at Dortmund
Integrated as a specialization into CS curriculum
Pro-gramming
algorithms computerorganization
Matheducation
EEfundamentals
first course on embedded & CP systems
lab
controlsystems
DSP machine vision
real-timesystems
project
applications
Lego, µC
graduatelevel
thesis
undergraduate
OS &networks
middle-ware
Lab
+ courses for minordegree
- 34 -technische universitätdortmund
fakultät für informatik
JJ Chen and P.Marwedel, Informatik 12, 2014
Structure of the CS curriculum at Dortmund- 3 year bachelor program -
Term
1 Computer organization
Programming & semantics
Math education
2 Circuits & communication
OS Algorithms
3 HW lab Networks SW lab
4 Databases …
5 Embedded systems fundamentals
Software engineering
…
6 Bachelor project+ Thesis
… … All dependences met
- 36 -technische universitätdortmund
fakultät für informatik
JJ Chen and P.Marwedel, Informatik 12, 2014
Scope avoids problems with narrow perspectives reported by ARTIST
“The lack of maturity of the domain results in a large variety of industrial practices, often due to cultural habits”
“curricula … concentrate on one technique and do not present a sufficiently wide perspective.”
“As a result, industry has difficulty finding adequately trained engineers, fully aware of design choices.”
Source: ARTIST network of excellence:Guidelines for a Graduate Curriculum on Embedded Software and Systems,http://www.artist-embedded.org/Education/Education.pdf, 2003:
- 37 -technische universitätdortmund
fakultät für informatik
JJ Chen and P.Marwedel, Informatik 12, 2014
Scope consistent with ARTIST guidelines
"The development of ES cannot ignore the underlying HW characteristics. Timing, memory usage, power consumption, and physical failures are important."
"It seems that fundamental bases are really difficult to acquire during continuous training if they haven’t been initially learned, and we must focus on them."
dtP
© Graphics: P. Marwedel, 2012
- 38 -technische universitätdortmund
fakultät für informatik
JJ Chen and P.Marwedel, Informatik 12, 2014
Textbook(s)
Several editions/translations: 1st edition
• English• Original hardcover version• Reprint, soft cover, 2006
• German, 2007• Chinese, 2006• Macedonian, 2010
2nd edition, with CPS• English, Dec. 2010/Jan.
2011• Translated Chinese edition,
2013
PeterMarwedel Peter
Marwedel
PeterMarwedel
© Graphics: Springer, Science Publishers, Ad Verbum
PeterMarwedel
PeterMarwedel Peter
Marwedel
- 39 -technische universitätdortmund
fakultät für informatik
JJ Chen and P.Marwedel, Informatik 12, 2014
Slides
Slides are available at the course web site
• http://ls12-www.cs.tu-dortmund.de/daes/de/lehre/lehrveranstaltungen/wintersemester-20142015/es-1415.html
• Master format: (mostly) Powerpoint (2010 –new-);
• Derived format: PDF
Course announcements
- 40 -technische universitätdortmund
fakultät für informatik
JJ Chen and P.Marwedel, Informatik 12, 2014
Schedule (1)
Date Book Topic Lecturer Slides
Oct. 7th Preface,1.1-2 Intro, definitions, area, characteristics
Chen
Oct. 8th 1.3-2.2 Design flows, MoC Chen
Oct. 14th 2.1-2.4.1 Early phases, statecharts Neugebauer
Oct. 21st 2.4.2.1-2.4.3 timed automata, synchronous languages
Kleinsorge
Oct. 22nd 2.4.4-2.5.3 SDL, data flow, SDF, Kahn process netw.
Chen
Oct. 28th 2.6-2.7 Petri nets, Discrete event model
Chen
Oct. 29th 2.8, 2.10 Imperative model, comparison of MoCs
Chen
Nov. 4th 3.1-3.2 Sensors & sampling Chen
- 41 -technische universitätdortmund
fakultät für informatik
JJ Chen and P.Marwedel, Informatik 12, 2014
Schedule (2)
Date Book Topic Lecturer Slides
Nov.5th 3.3.1-3.3.3.2 Execution platforms Chen
Nov.12nd 3.3.3.3-3.4 Execution platforms Chen
Nov. 13th 3.5-3.7 Communication, sampling theorem
Chen
Nov. 19th 4.1 System SW, RTOS Chen
Nov. 20th 6.1-6.2.3 Aperiodic Scheduling Chen
Nov. 26th 6.2.4-6.3 Periodic Scheduling Chen
Nov. 27th 4.1 Priority Inheritance Chen
Dec. 2nd 4.2-4.5 Evaluation, Pareto optimality, Integer Linear Programming
Kleinsorge
Dec. 3rd 5.1-5.2.2 WCET Kleinsorge
- 42 -technische universitätdortmund
fakultät für informatik
JJ Chen and P.Marwedel, Informatik 12, 2014
Schedule (3)
Date Book Topic Lecturer Slides
Dec. 9th 5.2.3 Real-Time Calculus Chen
Dec. 10th 5.3-5.4 Energy and power models, thermal models
Chen
Dec. 16th 5.5-5.8 Dependability/simulation
Neugebauer
Jan. 6th 6.3.2 Hardware/Software Partitioning
Chen
Jan. 7th 6.4 Mapping Chen
Jan. 13th Real-Time Communication
Chen
Jan. 14th 7.1, 7.2 Optimization I Chen
Jan. 20th 7.3 Optimization II Chen
Jan. 21st 7.4 Optimization III: Low-Power Design
Chen
- 43 -technische universitätdortmund
fakultät für informatik
JJ Chen and P.Marwedel, Informatik 12, 2014
Schedule (4)
Date Book Topic Lecturer Slides
Jan. 22nd TBD Chen
Jan. 28th 8 Test Chen
- 44 -technische universitätdortmund
fakultät für informatik
JJ Chen and P.Marwedel, Informatik 12, 2014
Summary
A look at the future of IT
Definition: embedded & cyber-physical (cy-phy) systems
Growing importance of embedded & cy-phy systems
Application areas & examples
Curriculum