Sprungmarken

Servicenavigation

Hauptnavigation


Bereichsnavigation

Hauptinhalt

Slides for CPSF in SS 2017

Book: Section numbers refer to the 2nd edition.

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

Schedule: 

  • The first lecture starts on 08.05.2017
  • The following four sessions are cancelled due to two conference trips:
    • 12.06.2017
    • 15.06.2017
    • 26.06.2017
    • 29.06.2017 

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.

Date

Content

Book Section

Videos

Slides

Simulators

Assignments

Lectures

(2016)

08.05.17 Preface: Embedded and Cyber-Physical Systems (definitions), motivation Preface 01.1
es-marw-1.1.pptx
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 1
11.05.17 Introduction: Challenges in embedded system design 1.3 02.1

es-marw-1.2.pptm
es-marw-1.2.pdf 

es-marw-2.01-moc.ppt 
es-marw-2.01-moc.pdf

2
Introduction: design flows 1.4 02.2 2
Specifications and Modeling: Requirements, models of computation 2.1-2.2 02.3 2
15.05.17 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

es-marw-2.03-fsm.ppt
es-marw-2.03-fsm.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
18.05.17 Specifications and Modeling: State charts: implicit shared memory communication, modelling of hierarchy 2.4.2.1 04.1  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
22.05.17 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
29.05.17 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
01.06.17 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
08.06.17 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

19.06.17

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
22.16.17 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
03.07.17 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
06.07.17 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
10.07.17 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
13.07.17 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

14
17.07.17 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 Validation: Energy and power models, thermal models 5.3, 5.4 15.2 15
20.07.17 Probeklausur
20.07.17 Evaluation and Validation: Risk- and dependability analysis 5.5 16.1 es-marw-5.3-evaluation.ppt
es-marw-5.3-evaluation.pdf
16
Evaluation and Validation: Simulation, rapid prototyping and emulation, formal verification (briefly) 5.6, 5.7, 5.8 16.2 16
24.07.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
17
Application mapping: Aperiodic scheduling without precedence constraints 6.2.2  17.2  Animation 17
Application mapping: Aperiodic scheduling with precedence constraints 6.2.3 es-marw-6.2-hls-scheduling.ppt
es-marw-6.2-hls-scheduling.pdf
17
27.07.17 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 17
Application mapping: Periodic scheduling with precendence constraints, sporadic events 6.2.5, 6.2.6 18
Application mapping: Hardware/Software Partitioning 6.3 18.2 es-marw-6.4-cool.ppt
es-marw-6.4-cool.pdf
 18
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
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
 
Optimizations:
SPM, allocation strategies
7.3 es-marw-7.2-optimizations.ppt
es-marw-7.2-optimizations.pdf
Optimizations:
optimizations for caches, offset assignment problem
es-marw-7.3-optimizations.ppt
es-marw-7.3-optimizations.pdf
Optimizations:
additional compiler optimizations, dynamic voltage scaling
7.4 es-marw-7.4-optimizations.ppt
es-marw-7.4-optimizations.pdf

Test

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