Advanced Course Development of Safety-Critical Embedded Systems

Winter term 2012/2013

Prof. Dr. Reinhard Wilhelm, Dr.-Ing. Daniel Kästner, Dr.-Ing. Florian Martin,
Sebastian Altmeyer, M.Sc., Jörg Herter, M.Sc.


News

Exercises

  • Exercise Sheet 01: [PDF]
  • Exercise Sheet 02: [PDF]
  • Exercise Sheet 03: [PDF]
  • Exercise Sheet 04: [PDF]
  • Exercise Sheet 05: [PDF]
  • Exercise Sheet 06: [PDF]
  • Exercise Sheet 07: [PDF]
  • Exercise Sheet 08: [PDF]
  • Exercise Sheet 09: [PDF]

Lecture Notes

Further Reading

  • Semantics of Safe State Machines [.pdf]
  • Scade Language Primer
  • Scade Language Reference Manual

General Information

  • Type: advanced course (6 credit points)
  • Place: building E1.3, lecture hall 003
  • Date: Friday, 10-12
  • Exam: 22.02.2013, 10:00 hrs, lecture hall 001, building E1.3
  • Reexam: 25.03.2013, 10:00 hrs, lecture hall 001, building E1.3

For further information send an e-mail to: dses12-team@gigasun.cs.uni-saarland.de

Tutorials

There are two tutorials.
Group A, Mon, 10-12, room SR15, building E1.3.
Group B, Wed, 10-12, room SR15, building E1.3.

Contact

Course Certificate

To get a course certificate students must

  • get at least 50% of the overall points of the homework assignments,
  • successfully participate in the practical project(s), and
  • pass the written exam at the end of the term.

Grades will be based on the exam and the project(s).

Contents

Embedded systems are computer systems typically running in strong interaction with their physical environment. Their development combines hardware and software aspects with a tendancy to implement more and more functionality in software. Many embedded control systems are safety-critical: a malfunctioning of the system can cause high costs and even endanger human beings. As of today, such systems are widely used in the aerospace industry (e.g. flight-by-wire systems, satellite control), the automotive industry (engine control, airbag control, ABS, ESP, etc), in medical devices (infusion pumps), and many other areas.
Modern safety standards aim at enforcing the dependability of safety-critical software which strongly influences the entire software development process. It becomes more and more important to use model-based design and verification techniques. In this lecture we will present basic concepts of model-based design supporting formal verification, 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 verifying an embedded control system on LEGO Mindstorms roboters.

Tools used

Practical Projects

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 Academic partner of Esterel Technologies, the provider of model-based solutions for DO-178B, EN 50128 and IEC 61508 safety-critical systems.