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.
- 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 01: [PDF]
- Lecture 02: [PDF]
- Lecture 03: [PDF]
- Lecture 04: [PDF]
- Lecture 05: [PDF]
- Lecture 06: Compilers: [PDF]; and an introduction to static program analysis: [PDF]
- Lecture 07: [PDF]
- Lecture 08: [PDF]
- Lecture 09: [PDF]
- Lecture 10: [PPT]
- Lecture 11: [PDF]
- Lecture 12: [PDF]
- Lecture 13: [PDF]
- Lecture 14: [PDF]
- Lecture 15: [PPT]
- Semantics of Safe State Machines [.pdf]
- Scade Language Primer
- Scade Language Reference Manual
- 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: firstname.lastname@example.org
There are two tutorials.
Group A, Mon, 10-12, room SR15, building E1.3.
Group B, Wed, 10-12, room SR15, building E1.3.
- The e-mail addresses of all lecturers are linked from the title of this site.
- There is a general mail address to contact all lecturers and tutors: email@example.com
- Mailing list address: firstname.lastname@example.org
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).
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.
- Esterel SCADE Suite.
- AbsInt Astree, aiT Worst-Case Execution Time Analyzer, and StackAnalyzer.
- Symtavision SymTA/S.
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.