We recommend to try out flipped classroom teaching:
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 |
|
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 |
|
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 | 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 | 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 |
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 |