Advanced Course Embedded System Development

Winter term 2007/2008

Dr.-Ing. D. Kästner, Dr.-Ing. F. Martin, Dipl.-Inform. M. Schlickling


News

  • 2008-05-04: closed

Exercises

  • 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]

Lecture Notes

  • 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]

Further Reading

  • 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]

General Information

  • 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

Tutorials

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

Contact

Course Certificate

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.

Contents

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.

Tools used

LEGO Mindstorm Project

Project Groups

Group 1 Group 2 Group 3 Group 4
Hristo Tsonkov
Pascal Pohl
Dominik Jednoralski
Patrick Dubbert
Stefan Stattelmann
Dominik Grewe
Piotr Dabrowiecki
Roxana Ragneala
Tomasz Tylenda
Olha Honcharova
Dmytro Puzhay
Walid Haddad
Group 5 Group 6 Group 7 Group 8
Thomas von Bomhard
Thomas Bühler
Dirk Heine
Berhard Grün
Martin Kaiser
Stefan Densow
Stephen Kyle
Xiufeng Hou
Martin Simonorsky
Alexey Reznichenko
Yulya Patenko
Christian Groß
Group 9 Group 10 Group 11
Rafael Math
Yaser Seyedi Fazlollahi
Daniel Fass
Markus Thiele
Daniela Moldovan
Hao Ji
Shinichi Kinuwaki
Hong Anh Le
Ioannis Giannopoulos

Schedule

Monday Tuesday Wednesday
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

Literature

  • 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.

Official Esterel Technologies Academic Partner