Embedded Systems – Lecture Notes
- May 6, 2014: Introduction, continuous and discrete dynamics,
suggested reading: Lee/Seshia Chapters 2 and 3.
- May 9, 2014: Hybrid automata, Statecharts,
suggested reading: Lee/Seshia Chapters 4 and 5.
- May 13, 2014: Statechart semantics,
suggested reading: Marwedel Sections 2.4.2 and 2.5.4;
Harel/Naamad (1996): Statechart semantics.
- May 15, 2014: Synchronous composition,
suggested reading: Lee/Seshia Sections 6.2 and 6.4.
- May 20, 2014: Petri nets
suggested reading: Marwedel Section 2.6
- May 22, 2014: Petri nets, part II
(additional background on Petri nets: Reisig:Petrinetze, Petri nets world)
- May 28, 2014: Data flow: Kahn Networks
suggested reading: Marwedel Section 2.5
(additional background: Kahn process network simulator by Birgit Sirocic, Universität Dortmund)
- June 3, 2014: Synchronous Data flow
suggested reading:
Lee/Seshia Section 6.3
(additional background: Lee/Messerschmitt Synchronous data flow)
- June 5, 2014: VHDL
suggested reading: Marwedel
- June 10, 2014: VHDL part II
- June 12, 2014: Sensors
suggested reading: Marwedel Section 3.2.1
- June 24, 2014: Embedded systems hardware
suggested reading: Lee/Seshia Section 7.1, Chapter 9, Marwedel Sections 3.2, 3.3, 3.6
- June 26, 2014: Embedded systems hardware, part II
- July 1, 2014: Embedded systems hardware, part III
suggested reading: Marwedel Sections 3.4, 3.5
- July 1, 2014: Aperiodic task scheduling
suggested reading: Buttazzo, Chapter 3.
- July 3, 2014: Aperiodic and periodic task scheduling
suggested reading: Buttazzo, Sections 4.1, 4.4
- July 7, 2014: Rate monotonic scheduling
suggested reading: Buttazzo, Section 4.3
- July 8, 2014: Scheduling with resource constraints
suggested reading: Buttazzo, Chapter 7
- July 10, 2014: Multiprocessor scheduling
suggested reading: Dertouzos/Moc and Lee/Cheng
- July 24, 2014: Multiprocessor scheduling, part II
- July 25, 2014: Multiprocessor scheduling, Task Migration