Embedded Systems – Lecture Notes

Apr 17, 2012: Introduction, continuous and discrete dynamics,
suggested reading: Lee/Seshia Chapters 2 and 3.
Apr 19, 2012: Hybrid automata, Statecharts,

suggested reading: Lee/Seshia Chapters 4 and 5.
Apr 24, 2012: Aspects of Fail Safety in Automotive Software,
guest lecture by Ingolf Krueger (University of California, San Diego)
Apr 26, 2012: Statechart semantics, Matlab/Simulink/Stateflow,
suggested reading: Marwedel Sections 2.4.2 and 2.5.4;
Harel/Naamad (1996): Statechart semantics.
Examples: montecarlo_pi.m,
oscillator.mdl,
damped_oscillator.mdl,
fan.mdl.
May 3, 2012: Synchronous composition,
suggested reading: Lee/Seshia Sections 6.2 and 6.4.
May 8, 2012: Petri nets
suggested reading: Marwedel Section 2.6
May 10, 2012: Petri nets, part II
(additional background on Petri nets: Reisig:Petrinetze, Petri nets world)
May 15, 2012: Data flow
(update May 22: fixed typo on slides 35+36)
suggested reading: Marwedel Section 2.5, Lee/Seshia Section 6.3
(additional background on data flow:
Lee/Messerschmitt Synchronous data flow,
Kahn process network simulator by Birgit Sirocic, Universität Dortmund)
May 22, 2012: VHDL
suggested reading: Marwedel Section 2.7, Lee/Seshia Section 6.4.2
May 24, 2012: VHDL part II, Ptolemy
Tools: GHDL, Ptolemy
VHDL Examples: adder.vhdl, dff.vhdl
May 29, 2012: Midterm review, sensors
suggested reading: Marwedel Section 3.2.1
June 5, 2012: Embedded systems hardware
suggested reading: Lee/Seshia Section 7.1, Chapter 9, Marwedel Sections 3.2, 3.3, 3.6
June 12, 2012: Embedded systems hardware, part II and FlexRay
suggested reading: Marwedel Sections 3.4, 3.5
June 14, 2012: Aperiodic task scheduling
suggested reading: Buttazzo, Chapter 3.
June 19, 2012: Aperiodic and periodic task scheduling
suggested reading: Buttazzo, Sections 4.1, 4.4
June 21, 2012: Rate monotonic scheduling
suggested reading: Buttazzo, Section 4.3
June 26, 2012: Scheduling with resource constraints
suggested reading: Buttazzo, Chapter 7
June 28, 2012: Multiprocessor scheduling
suggested reading: Dertouzos/Moc (user: embeddedsystems12, passwd: same as for exam results)
July 3, 2012: Partitioning
suggested reading: Kernighan/Lin (user: embeddedsystems12, passwd: same as for exam results)
July 5, 2012: Timing analysis
Guest lecture by Reinhard Wilhelm
July 10, 2012: Fault tolerance
suggested reading: Lamport/Shostak/Pease
July 12, 2012: Fault tree analysis
suggested reading: Marwedel Section 5.5
July 17, 2012: Testing
suggested reading: Marwedel Chapter 8
July 19, 2012: Automated formal methods

(additional background on the analysis of the FlexRay physical layer protocol: Gerke et al)
July 24, 2012: Timed model checking and controller synthesis
tools: Uppaal, Synthia
July 26, 2012: Course wrap-up
additional slides: the Saar Racing Greenteam’s presentation