Advanced Course Embedded System Development
Winter term 2007/2008
- 2008-05-04: closed
- 1. Assignment [.ps], Sample Solution [.ps]
- 2. Assignment [.ps], Sample Solution [.ps]
- 3. Assignment [.ps], Sample Solution [.ps]
- 4. Assignment [.ps], Sample Solution [.ps]
- 5. Assignment [.ps], Sample Solution [.ps]
- 6. Assignment [.ps], Sample Solution [.ps]
- 7. Assignment [.ps], Sample Solution [.ps]
- 8. Assignment [.ps], Sample Solution [.ps]
- 9. Assignment [.ps], Sample Solution [.ps]
- 10. Assignment [.ps], Sample Solution [.ps]
- Project Description [.ps]
- 2007-10-26: Lecture Overview [.pdf]
- 2007-11-02: Finite Automata & SyncCharts [.pdf]
- 2007-11-09: SyncCharts & Esterel [.pdf]
- 2007-11-16: Esterel [.pdf]
- 2007-11-23: Esterel, Scade & Lustre [.pdf]
- 2007-11-30: Esterel, Scade, Lustre & Compiler Construction [.pdf]
- 2007-12-07: Compiler Backends & Code Generation [.pdf]
- 2007-12-14: Code Generation [.pdf]
- 2007-12-14: Introduction to Program Analysis [.pdf]
- 2007-12-21: Program Analysis I [.pdf]
- 2008-01-11: Program Analysis II [.pdf]
- 2008-01-18: Abstract Interpretation [.pdf]
- 2008-01-25: Timing Analysis [.pdf]
- 2008-02-01: Scheduling I [.pdf]
- 2008-02-08: Scheduling II [.pdf]
- The Esterel v5 Language Primer [.pdf]
- Semantics of Safe State Machines [.pdf]
- The Constructive Semantics of Pure Esterel [.ps]
- LUSTRE [.pdf]
- Improvements to Graph Coloring Register Allocation [.pdf]
- Type: advanced course (6 credit points)
- Place: HS 003, E1 3
- Date: Friday, 14-16
- Exam: 2008-02-15, 14-16, HS 003, E1 3
- Reexam: 2008-03-27, 14-17, HS 003, E1 3
For further information send mail to: schlickling (at) cs (dot) uni (minus) saarland (dot) de
The two tutorial groups are held by Simon Wegener (swegener (at)
gigasun (dot) cs (dot) uni (minus) saarland (dot) de).
Group 1, Wed, 10-12, E1 3, SR 16
Group 2, Thu, 18-20, E1 3, HS 003
- The mail addresses of all tutors are linked from the title of this site.
- There is a general mail address to contact all tutors: email@example.com
- Mailing list address: firstname.lastname@example.org
To get a course certificate students must
- get at least 40% of the overall points of the homework assignments,
- successfully participate in the LEGO mindstorm project, and
- pass the exam at the end of the term.
Grades will be based on the exam.
Embedded systems can be defined as computer systems interacting with a physical environment for measuring and controlling purposes. Often they are not perceived as computer systems at all, and the main reason for buying usually is not information processing. Nowadays embedded systems are very much part of everyday life; application areas include avionics (flight-by-wire), automotive (engine control, airbag control, ABS, ESP, etc), telecommunication (cell phones, telecom switches), consumer electronics (DVD player, AV/R receivers, PDAs), and many more.
For software used in embedded systems efficiency and dependability are essential requirements. This strongly influences the software development process for such systems. In this lecture we will present some theoretical basics of embedded software development and show their application in contemporary industry-strength tools. Students will learn about the current software development process for embedded avionics and automotive software. They can practically apply those concepts in developing and validating an embedded control system on LEGO minstorms roboters.
|Group 1||Group 2||Group 3||Group 4|
|Group 5||Group 6||Group 7||Group 8|
|Thomas von Bomhard
|Group 9||Group 10||Group 11|
Yaser Seyedi Fazlollahi
Hong Anh Le
|8.00 - 10.00||Groups 8,5,2||Groups 8,5,3||Groups 7,5,1|
|10.00 - 12.00||Group 6||Groups 8,6,2,4||Group 2|
|12.00 - 14.00||Groups 9,11,1||Groups 6,10,1||Groups 7,11,3|
|14.00 - 16.00||Groups 9,3,4||Groups 7,11,10||Groups 9,10,4|
Marwedel, P., Embedded System Design
Springer;Berlin, 2003. ISBN 1-4020-7690-8.
Marwedel, P., Eingebettete Systeme
Springer;Berlin, 2007. ISBN 3-540-34048-3
- Wilhelm, Maurer. Compiler Design. Addison Wesley, 1996.
Zurawski, R.(Editor), Embedded Systems Handbook
CRC Press, Boca Raton;London;New York, 2006. ISBN 0-8493-2824-1.