Sprungmarken

Servicenavigation

Hauptnavigation


Bereichsnavigation

Hauptinhalt

Embedded Systems Design - Companion material

Book: Section numbers refer to the 2nd edition.

Videos (on http://www.youtube.com/user/cyphysystems/)

Slides:

  • ppt/pptm: This is the type of the master slides. This is the recommended file format. Users without a PowerPoint license should use the free PowerPoint viewer from Microsoft, if they are running Windows. Slides have been generated with PowerPoint 2010 (pptm) or XP (ppt).
  • pdf: These files have been generated with Adobe Distiller, the pdf-export function of Powerpoint 2010 or pdfannotator. No animation is available.

Teaching style

We recommend to try out flipped classroom teaching:

  • ask the students to study the videos for the next meeting at home,
  • during the meeting, remind the students very briefly about the topic of the meeting
  • distribute worksheets, let the students work in groups on the worksheets, discuss the results (about 3 worksheets per 90 min. meeting)
  • provide brief preview of the topic of the next meeting.

Content

Book Section

Videos

Slides

Simulators

Assignments

Lectures

(2013/14)

Preface: Embedded and Cyber-Physical Systems (definitions), motivation
Preface 01.1
es-marw-1.1.pptm
es-marw-1.1.pdf


1
Introduction: application areas, examples, educational concept
1.1, preface 01.2


1
Introduction: Common characteristics
1.2 01.3 es-marw-1.2.pptm
es-marw-1.2.pdf
 


1
Introduction: Challenges in embedded system design
1.3 02.1

2
Introduction: design flows 1.4 02.2

2
Specifications and Modeling: Requirements, models of computation 2.1-2.2 02.3 es-marw-2.01-moc.ppt
es-marw-2.01-moc.pdf


3
Specifications and Modeling: The oberver pattern, a case against imperative specifications (based on E. Lee) 2.1 03.1



es-marw-2.02-sc.ppt
es-marw-2.02-sc.pdf



 3
Specifications and Modeling: Early design phases: text, use cases, time-distance charts, sequence charts 2.3 03.2  Time-Distance Charts - Animation
 3
Specifications and Modeling: Communicating finite state machines (CFSMs): Timed automata 2.4.1 03.3

 3
Specifications and Modeling: State charts: implicit shared memory communication, modelling of hierarchy 2.4.2.1 04.1


es-marw-2.03-fsm.ppt
es-marw-2.03-fsm.pdf



 4
Specifications and Modeling: State charts timers and semantics, synchronous languages 2.4.2.2, 2.4.2.3, 2.4.3 04.2

 4
Specifications and Modeling: SDL: A case of message passing
2.4.4 05.1 es-marw-2.04-sdl-df.ppt
es-marw-2.04-sdl-df.pdf


 5
Specifications and Modeling: dataflow: scope, Kahn process networks (KPN)
2.5.1-2.5.2 05.2  Animation
 5
Specifications and Modeling: dataflow: synchronous (or "static") data flow, SDF, Simulink, RTW, Labview 2.5.3 05.3

 5
Specifications and Modeling: Petri nets: Introduction
2.6.1 06.1 es-marw-2.05-petri.ppt
es-marw-2.05-petri.pdf
 


6
Specifications and Modeling: Petri nets: condition/event nets
 2.6.2  06.2

 6
Specifications and Modeling: Petri nets: place transition nets 2.6.3 06.3

 6
Specifications and Modeling: Petri nets: predicate/transition nets, evaluation 2.6.4, 2.6.5 06.4

 6
Specifications and Modeling: Discrete Event Modelling, VHDL 2.7.1.1-2.7.1.4 07.1 es-marw-2.06-discrete-event.ppt
es-marw-2.06-discrete-event.pdf
 


 7
Specifications and Modeling: Discrete Event Modelling, IEEE 1164 2.7.1.5 07.2

7
Specifications and Modeling: Imperative (or von Neumann) model of computation, Comparison of models 2.8 08.1 es-marw-2.07-imperative-wrap.ppt
es-marw-2.07-imperative-wrap.pdf


 8
Specifications and Modeling: comparison of models of computation 2.10 08.2

 8
ES-Hardware: Sensors 3.2.1 09.1 es-marw-3.1-sensors-ad.ppt
es-marw-3.1-sensors-ad.pdf


 9
ES-Hardware: discretization of time: sample-and-hold circuits
3.2.2 09.2

9
ES-Hardware: discretization of values: A/D-converters 3.2.2 09.3

9
ES-Hardware: discretization: quantization noise, aliasing  09.4 Java program available
9
ES-Hardware: Processing, code-size efficiency 3.3.1, 3.3.2, 3.3.3 10.1 es-marw-3.2-processing.ppt
es-marw-3.2-processing.pdf


10
ES-Hardware: Run-time efficiency, DSP,  Multimedia processors, SIMD
3.3.3.0-3.3.3.2 10.2

10
ES-Hardware: very long instruction word (VLIW) machines, microcontrollers, Multiprocessor systems on a chip (MPSoCs),
3.3.3.3, 3.3.3.4, 3.3.3.5 11.1

11
ES-Hardware: Reconfigurable logic, Field programmable gate arrays (FPGAs) 3.3.4 11.2

es-marw-3.3-fpga-mem.ppt
es-marw-3.3-fpga-mem.pdf



11
ES-Hardware: Memories 3.4 11.3

11
ES-Hardware: Communication
3.5 12.1 es-marw-3.4-comm-da-actuator.ppt
es-marw-3.4-comm-da-actuator.pdf
Animation
12
ES-Hardware: Output: D/A-Converter  3.6.1 12.2

 12
ES-Hardware: Sampling theorem, actuators, secure hardware 3.6.2, 3.6.3, 3.7 12.3

12
System Software: Embedded operating systems, real-time operating systems 4.1.1, 4.1.2 13.1 es-marw-4.1-rtos.ppt
es-marw-4.1-rtos.pdf


13
System Software: Virtual machines
- - -


System Software: Resource access protocols (Priority inversion and inheritance)
4.1.4 13.2 es-marw-4.1-rtos.ppt
es-marw-4.1-rtos.pdf
Animation
13
System Software: Resource access protocols (Priority ceiling, stack resource policy) - - es-marw-4.2-rtos.ppt
es-marw-4.2-rtos.pdf


14
System Software: ERIKA, hardware abstraction layers, middleware, real-time data bases 4.2, 4.3, 4.4, 4.5 14.1

14
Evaluation and Validation: Scope, multi-objective optimization, relevant objectives 5.1 14.2  

es-marw-5.1-evaluation.ppt
es-marw-5.1-evaluation.pdf



14
Evaluation and Validation: performance evaluation (early estimation & worst case execution time analysis), prerequisite: integer linear programming 5.2.1, 5.2.2

es-marw-5.1-evaluation.ppt
es-marw-5.1-evaluation.pdf
es-marw-9.1-optimizations.ppt
es-marw-9.1-optimizations.pdf



15
Evaluation and Validation: real-time calculus
5.2.3 15.1 es-marw-5.2-evaluation.ppt
es-marw-5.2-evaluation.pdf


15
Evaluation and Evaluation: Energy and power models, thermal models 5.3, 5.4 15.2

16
Evaluation and Evaluation: Risk- and dependability analysis 5.5 16.1 es-marw-5.3-evaluation.ppt
es-marw-5.3-evaluation.pdf


17
Validation and Evaluation: Simulation, rapid prototyping and emulation, formal verification (briefly) 5.6, 5.7, 5.8 16.2

17
Application mapping: problem definition, classification of scheduling systems  6.1, 6.2.1 17.1 es-marw-6.1-aperiodic.ppt
es-marw-6.1-aperiodic.pdf


18
Application mapping: Aperiodic scheduling without precedence constraints 6.2.2 17.2  Animation
18
Application mapping: Aperiodic scheduling with precedence constraints 6.2.3
es-marw-6.2-hls-scheduling.ppt
es-marw-6.2-hls-scheduling.pdf


19
Application mapping: Periodic scheduling without precendence constraints 6.2.4 18.1 es-marw-6.3-periodic.ppt
es-marw-6.3-periodic.pdf
 
Animation
19
Application mapping: Periodic scheduling with precendence constraints, sporadic events 6.2.5, 6.2.6


20
Application mapping: Hardware/Software Partitioning 6.3 18.2 es-marw-6.4-cool.ppt
es-marw-6.4-cool.pdf


 20
Application mapping: Mapping of Applications to Multi-Processor Systems 6.4
es-marw-6.5-mp-mapping.ppt
es-marw-6.5-mp-mapping.pdf


21
Optimizations: task concurrency management, floating-point, high-level loop transformations 7.1, 7.2, 
es-marw-7.1-optimizations.ppt
es-marw-7.1-optimizations.pdf
 


22
Optimizations:
SPM, allocation strategies
7.3
es-marw-7.2-optimizations.ppt
es-marw-7.2-optimizations.pdf


23
Optimizations:
optimizations for caches, offset assignment problem


es-marw-7.3-optimizations.ppt
es-marw-7.3-optimizations.pdf


24
Optimizations:
additional compiler optimizations, dynamic voltage scaling
7.4
es-marw-7.4-optimizations.ppt
es-marw-7.4-optimizations.pdf


25

Test

8
es-marw-8-test.ppt
es-marw-8-test.pdf


26