Content |
Book Section |
Slides |
Lectures(2014/15) |
---|---|---|---|
Preface: Embedded and Cyber-Physical Systems (definitions), motivation |
Preface |
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 |
2 (08,10,2014) |
|
Specifications and Modeling: Models of computation | 2.1-2.2 | 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 |
3 (14,10,2014) |
|
Specifications and Modeling: Communicating finite state machines (CFSMs): Timed automata | 2.4.1 |
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 |
5 (22,10,2014) |
|
Specifications and Modeling: SDL: Petri Nets, Conditional/Event Nets, Place/Transition Nets, and Predicate/Transition Nets | 2.6 |
6 (28,10,2014) |
|
Specifications and Modeling: Discrete Event Modelling, VHDL, IEEE 1164 |
2.7 |
7 (29,10,2014) |
|
Specifications and Modeling: Imperative (or von Neumann) model of computation, | 2.8 | 7 | |
Specifications and Modeling: comparison of models of computation | 2.10 |
|
|
ES-Hardware: sensors, sampling theory, anti-aliasing, analog to digital converter | 3.2 |
8 (04,11,2014) |
|
ES-Hardware: efficiency, power, energy, and temperature issues |
3.3.1 |
9 (05,11,2014) |
|
ES-Hardware: code efficiency, FPGA, DSP, Multimedia Processors, VLIW, and FPGA |
3.3.2-3.3.4 |
10 (11,11,2014) |
|
ES-Hardware: memory, D/A converter, sampling theory | 3.4, 3.6, 3.7 |
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 |
15 (26,11,2014) |
|
Evaluation and Validation: Scope, multi-objective optimization, relevant objectives | 5.1, 5.2.1 |
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 |
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: |
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 |
(updated on 13.01.2015) |
22 (07,01,2015) |
Application mapping: Mapping to heterogeneous multiprocessor systems |
6.4 |
|
23 (13,01,2015) |
Optimizations: task concurrency management, floating-point, high-level loop transformations | 7.1-7.3 |
23/24 |
|
Optimizations: energy, power, and |
5.3, 5.4, 7.4 |
24 (14,01,2015) |
|
Optimizations: energy, power, and |
es-chen-7.4.pdf |
25 (20,01,2015) |
|
Probeklausur |
26 (21,01,2015) |
||
Storage: Flash memory |
27 (27,01,2015) |