Sprungmarken

Servicenavigation

Hauptnavigation


Bereichsnavigation

Hauptinhalt

Embedded Systems Design - Companion material for WS 2014/2015

Book: Section numbers refer to the 2nd edition.

Slides:

  • pptx: 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 for Mac 2011.
  • pdf: These files have been generated with Adobe Distiller, the pdf-export function of Powerpoint 2010 or pdfannotator. No animation is available.

Content

Book Section

Slides

Lectures

(2014/15)

Preface: Embedded and Cyber-Physical Systems (definitions), motivation
Preface

es-chen-1.1.pdf 

es-chen-1.1.pptx 

1

(07,10,2014)

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



 
1
Introduction: Common characteristics, Challenges in embedded system design, design flows
1.2-1.4

es-chen-1.2.pdf 

es-chen-1.2.pptx 

2

(08,10,2014)

Specifications and Modeling: Models of computation 2.1-2.2

es-chen-2.01-modc.pdf 

es-chen-2.01-modc.pptx

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

 3


Specifications and Modeling: Early design phases: text, use cases, time-distance charts, sequence charts, state-charts

2.3

2.4.2

es-chen-2.02-sc.pptx 

es-chen-2.02-sc.pdf

 3

(14,10,2014)

Specifications and Modeling: Communicating finite state machines (CFSMs): Timed automata 2.4.1

es-chen-2.03-mutex.pptx

es-chen-2.03-mutex.pdf 

4

(21,10,2014)

Specifications and Modeling: implicit shared memory communication, modelling of hierarchy, synchronous languages

2.4.2.1

2.4.3


 4

Specifications and Modeling: SDL: A case of message passing, dataflow: scope, Kahn process networks (KPN)  2.5

es-chen-2.04-sdl-df.pptx

es-chen-2.04-sdl-df.pdf

 5

(22,10,2014)

Specifications and Modeling: SDL: Petri Nets, Conditional/Event Nets, Place/Transition Nets, and Predicate/Transition Nets 2.6

es-chen-2.05-petri-v1.pptx 

es-chen-2.05-petri-v1.pdf

(28,10,2014)

Specifications and Modeling: Discrete Event Modelling, VHDL, IEEE 1164
2.7

es-chen-2.06-de.pptx 

es-chen-2.06-pe.pdf

7

(29,10,2014)

Specifications and Modeling: Imperative (or von Neumann) model of computation, 2.8

es-chen-2.07-imperative.pdf

7
Specifications and Modeling: comparison of models of computation 2.10 



ES-Hardware: sensors, sampling theory, anti-aliasing, analog to digital converter 3.2

es-chen-3.1-sensor.pdf

8

(04,11,2014)

ES-Hardware: efficiency, power, energy, and temperature issues

3.3.1

es-chen-3.2-power.pdf

(05,11,2014)

ES-Hardware: code efficiency, FPGA, DSP, Multimedia Processors, VLIW, and FPGA
3.3.2-3.3.4

es-chen-3.3.pdf

10

(11,11,2014)

ES-Hardware: memory, D/A converter, sampling theory 3.4, 3.6, 3.7

es-chen-3.4.pdf

es-chen-3.5.pdf

11 

(12,11,2014)

System Software: Embedded operating systems, real-time operating systems,  4.1, 4.3 es-chen-4.1.pdf

12

(18,11,2014)

System Software: classification of scheduling systems, Aperiodic scheduling 6.1, 6.2.1- 6.2.2 es-chen-4.2.pdf

13

(19,11,2014)

System Software: periodic task scheduling 6.2.4-6.2.6 es-chen-4.3.pdf

14

(25,11,2014)

System Software: priority inversion, priority inheritance protocol, and priority ceiling protocol 4.1.4

es-chen-4.4-handout.pdf

es-chen-4.4.pdf

15

(26,11,2014)

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

es-chen-5.1.pdf

16

(02,12,2014) 

Evaluation and Validation: integer linear programming and evolutionary algorithms
Appendix
16 
Evaluation and Validation: worst-case execution time (WCET) estimation  5.2.2 

es-chen-5.2.pdf

17

(03,12,2014) 

Evaluation and Validation: real-time calculus 5.2.3  es-chen-5.3.pdf

18

(09,12,2014) 

Evaluation and Validation: energy, power, and thermal models Communications

5.3, 5.4 

3.5 


es-chen-5.4.pdf

19

(10,12,2014) 

Evaluation and Validation: risk, dependability analysi, simulation, rapid prototyping, emulation 5.5, 5.6, 5.7  es-chen-5.5.pdf

20 

(16,12,2014)

No LECUTRE on 17,12,2014


Application mapping: Aperiodic scheduling with precedence constraints 6.2.3 es-chen-6.1.pdf

21

(06,01,2015)

Application mapping: Hardware/Software Partitioning 6.3

es-chen-6.2.pdf

(updated on 13.01.2015)

22

(07,01,2015)

Application mapping: Mapping to heterogeneous multiprocessor systems
6.4


es-chen-6.3.pdf


23 

(13,01,2015)

Optimizations: task concurrency management, floating-point, high-level loop transformations 7.1-7.3

es-chen-7.1.pdf

23/24


Optimizations: energy, power, and thermal models and optimiations (1)
5.3, 5.4, 7.4

es-chen-7.2.pdf

es-chen-7.3.pdf 

24

(14,01,2015)

Optimizations: energy, power, and thermal models and optimiations (2)
es-chen-7.4.pdf

25

(20,01,2015)

Probeklausur

26

(21,01,2015)

Storage: Flash memory

es-chen-7.5.pdf

es-chen-7.5.ppt

27

(27,01,2015)