Lecture |
Content | Book Chapters | Slides | Assignments |
|---|---|---|---|---|
| 1 | Introduction | Chapter 1 | es-marw-1.ppt es-marw-1.pdf |
|
| 2 | Specifications: Language requirements, models of computation | Sections 2.1-2.2; For the English version: section 2.4.3 |
es-marw-2.01-moc.ppt es-marw-2.01-moc.pdf |
|
| 3 | StateCharts, synchronous languages | Sections 2.3-2.4.1 | es-marw-2.02-statecharts.ppt es-marw-2.02-statecharts.pdf Semantics of StateMate (for Dortmund students only; password = name of lab in the basement of OH 16, in capital letters |
Assignments Assignments |
| 4 | SDL as an example of FSMs+message passing | Section 2.5 |
es-marw-2.03-sdl.ppt es-marw-2.03-sdl.pdf |
|
| Data flow | Section 2.9.1-2.9.2 | es-marw-2.04-df.ppt es-marw-2.04-df.pdf |
||
| 5 | Petri nets | Section 2.6.2-5 |
es-marw-2.05-petri.ppt es-marw-2.05-petri.pdf |
|
| 6 |
Computational graphs | Sections 2.8, 2.9.1 |
es-marw-2.06-cg.ppt es-marw-2.06-cg.pdf |
|
| Imperative Programming: Imperative languages: C, Java, message passing libraries (MPI, ...) | Section 2.9.3, 2.9.10 |
es-marw-2.07-imperative.ppt es-marw-2.07-imperative.pdf es-marw-2.08-discrete.ppt es-marw-2.08-discrete.pdf |
Assignments Animation |
|
| 7 | Discrete event systems: VHDL |
Section 2.11 |
||
| 8 | SystemC, SpecC, Verilog Language comparison, Kopetz' 12 principles for dependability |
Section 2.12-2.18 |
es-marw-2.09-wrap-up.ppt es-marw-2.09-wrap-up.pdf |
|
| 9 | LEGO-Mindstorm NXT | es-marw-2.10-mindstorms.ppt es-marw-2.10-mindstorms.pdf |
Assignments Assignments Assignments Assignments |
|
| 10 | ES-Hardware: Sensors, discretization | Section 3.1-3.2 | es-marw-3.1-sensors-discrete-power.ppt es-marw-3.1-sensors-discrete-power.pdf Dobelle movie |
Animation Assignments |
| 11 | Processors | Section 3.4.1-3.4.3 | es-marw-3.2-processing.ppt es-marw-3.2-processing.pdf |
|
| 12 | FPGAs, Memories, Communication | Section 3.4.4, 3.5, 3.3 | es-marw-3.3-fpga-mem-communic.ppt es-marw-3.3-fpga-mem-communic.pdf |
|
| 13 | Sampling theorem, D/A-Converter, Actuators | Section 3.6. |
es-marw-3.4-da-nyquist-actuator.ppt es-marw-3.4-da-nyquist-actuator.pdf |
|
| 14 | Real time operating systems | Section 4.3.2 |
es-marw-4-rtos.ppt es-marw-4-rtos.pdf |
|
| 15 | Mapping applications-> processors Aperiodic scheduling |
Section 4.2.2 |
es-marw-5.1-aperiodic.ppt es-marw-5.1-aperiodic.pdf |
|
| 16 | Periodic scheduling | Section 4.2.3 | es-marw-5.2-periodic.ppt es-marw-5.2-periodic.pdf |
Animation |
| 17 | Priority inversion | Section 4.2.4 | es-marw-5.3-inversion.ppt es-marw-5.3-inversion.pdf |
|
| Standard optimizations | Section 6.2 | es-marw-5.4-optimizations.ppt es-marw-5.4-optimizations.pdf |
||
| 18 | Hardware/Software partitioning:COOL | Section 5.3 | es-marw-5.5-cool.ppt es-marw-5.5-cool.pdf |
|
| 19 | Mapping of applications to MP systems | es-marw-5.6-hls-scheduling.ppt es-marw-5.6-hls-scheduling.pdf |
||
| 20 | es-marw-5.7-mp-mapping.ppt es-marw-5.7-mp-mapping.pdf |
|||
| 21 | Evaluation: Simulation, verification, real-time calculus | Section 6.1,6.3-6.5 | es-marw-6-evaluation-1.ppt es-marw-6-evaluation-1.pdf |
|
| 22 | Evaluation: worst case execution times (WCETs), dependability | Section 6.5-6.8,6.11 | es-marw-6-evaluation-2.ppt es-marw-6-evaluation-2.pdf |
|
| 23 | Optimizations:task concurrency management, floating to fixed point conversion, loop transformations | Section 5.1-5.2 | es-marw-7-optimizations-1.ppt es-marw-7-optimizations-1.pdf |
|
| 24 | Optimizations: array folding, exploiting scratch pad memories | Section 5.4.1-5.4.2 | es-marw-7-optimizations-2.ppt es-marw-7-optimizations-2.pdf |
|
| 25 | Optimizations: allocation strategies for scratch pad memories, optimizations for caches | es-marw-7-optimizations-3.ppt es-marw-7-optimizations-3.pdf |
||
| 26 | Optimizations: offset assignment problem, other compiler optimizations, retargetability | Sections 5.4.3-5.4.7 | es-marw-7-optimizations-4.ppt es-marw-7-optimizations-4.pdf |
|
| 27 | Optimizations: exploiting memory hierarchies, dynamic voltage scaling (DVS) | Section 5.5. | es-marw-7-optimizations-5.ppt es-marw-7-optimizations-5.pdf |
|
| 28 | Test | Sections 6.9-6.10 | es-marw-8-test.ppt es-marw-8-test.pdf |