Eingebettete Systeme / Embedded Systems (WS 2002/2003)

Übersicht

• News
• Organizational Information
• Tutorials
• Slides and Supplementary Material
• Bibliography

News

• The written examination will be replaced by oral examinations.
  
• The algorithm gen_opt_code was missing in the handouts of lecture 18. The handouts have been updated to include this algorithm now.
  
• The lecture of 17.02.2003 will not take place.
  
• The oral examinations will take place between 03.03.2003 and 11.03.2003; the exact dates will be announced during next week.
  

Organizational Information

Lecture Dates

• Monday 11:00 - 13:00 in Building 45, HS 001 (Daniel Kästner) and

• Friday 14:00 - 16:00 in Building 45, HS 002 (Daniel Kästner, Nico Fritz)

Assistant

Tutorial Dates

• Monday 14:00 - 16:00 in Building 45, Seminar Room SR16.
  
  

Requirements for the course certificate

Requirements for course certificate:

• At least 50% of tutorial points.
  
• Successful participation in practical project.
• Passing the examination.
  

Slides and Supplementary Material

Contact

• Daniel Kästner : Room 430, Building 45
• Hans Rieder : IzFP
• Nico Fritz : Room 429, Building 45

Tutorials

Dates

Exercises

Written Examination

Supplementary Material

• Lecture 1 (pdf)
  
• Lecture 2 (pdf) 
  
• Lecture 3 (pdf) 
• Lecture 4 (pdf)
• Lecture 5 (pdf) 
• Lecture 6 (pdf)  
  
• Lecture 7 (pdf)  
  
• Lecture 8 (pdf)  
  
• Lecture 9 (pdf)  
  
• Lecture 10 (pdf)  
  
• Lecture 11 (pdf)  
  
• Lecture 12 (pdf)  
  
• Lecture 12 (pdf)  
  
• Lecture 13 (pdf)  
  
• Lecture 14 (pdf)  
  
• Lecture 15 (pdf)  
  
• Lecture 16 (pdf)  
  
• Lecture 17 (pdf) (Date: 13.01.2003)  
  
• Lecture 18 (pdf) (Date: 17.01.2003)  
  
• Lecture 19 (pdf/tar.gz) (Date: 20.01.2003)  
  
• Lecture 20 (pdf) (Date: 24.01.2003)  
  
• Lecture 21+23 (pdf/tar.gz) (Date: 27.01.2003 + 03.02.2003)  
  
• Lecture 22 (pdf) (Date: 31.01.2003)  
  
• Lecture 25 (pdf) (Date: 10.02.2003)  
  
• Lecture 26 (pdf) (Date: 14.02.2003)  
  
• Esterel Manual (pdf)
  
• Esterel v5_92 Distribution
  
• Overview of Esterel (Primer) (pdf)
  

Bibliography

• Finite State Automata / Timed Automata:
• Lewis/Papadimitriou. Elements of the Theory of Computation . Prentice-Hall, 1981. ISBN 0132734265.
  
• Alur, Dill. A Theory of Timed Automata. Stanford University . Stanford, 1994. (Download)
• Statecharts / Statemate:
• Harel, D., Lachover, H., Naamad, A., Pnuell, A., Poloti, M., Sherman, R., Shtull-Trauring, A., and Trakhtenbrot, M., STATEMATE: A Working Environment for the Development of Complex Reactive Systems. IEEE Transaction on Software Engineering,vol. 16, Apr, 1990.
• Harel, D. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8(3):231--274, 1987.
  
• Code Generation:
  
• Wilhelm, Maurer. Compiler Design. Addison Wesley, 1996.
• Aho, Sethi, Ullman. Compilerbau, Teil 1. Addison Wesley, 1988.
• Aho, Sethi, Ullman. Compilerbau, Teil 2. Addison Wesley, 1988.
• Digital Signal Processing:
  
• Steven W. Smith. The Scientist and Engineer's Guide to Digital Signal Processing. Second Edition. California Technical Publishing, 1999.
• Schwarz. Numerische Mathematik . Teubner, 1993.
• Hardware Architecture:
  
• Mueller, Paul. Computer Architecture. Complexity and Correctness. Springer, 2000.
• Hennessy, Patterson. Computer Architecture. A Quantitative Approach. . Second Edition. Morgan Kaufmann Publishers Inc., 1996.