Course

Embedded Systems

Core lecture course (Stammvorlesung), Summer term 2014

People:	Ruzica Piskac, Leander Tentrup, Michael Gerke, Felix Klein
Lecture Room:	E1 3, HS002 (except 05.06., 12.06. and 24.07. in HS001)
Lectures:	Tuesdays, 16:15-18:00
	Thursdays, 10:15-12:00
Tutorials:	Mondays, 14:15-16:00, E2 5, HS003
	Tuesdays, 10:15-12:00, E1 3, HS003
Exams:	Midterm: 17.06.14, 16:00-18:00, E2 2 HS001 (Günter Hotz lecture hall)
	Endterm: 31.07.14, 14:00-16:00, E1 3 HS001 and HS002
	End-of-Semester: 30.09.14, 14:00-16:00, E1 3 HS001 and HS002
Contact:	es14 at react.uni-saarland.de

News

Mo, 27.10.: The grades are online
Mo, 27.10.: The updated end-of-semester exam results are online.
We, 15.10.: The end-of-semester exam inspection is on Friday, 17.10., at 10am in room 532, building E1 3.
We, 15.10.: The results of the end-of-semester exam are online.
Mo, 22.09.: The updated final exam results are online.
Tue, 09.09.: The exam inspection is on Friday, September 12th, between 2pm and 4pm in room 528, building E1 3.
Fri, 22.08.: The final exam results are online.
Tue, 28.07.: The updated midterm results are online.
Thu, 24.07.: The project deadline is extended to next Tuesday (29.07.). You only have to finish the Arduino part of the project (Sending and receiving measurements between Arduinos and display them). Correct solutions for the whole project gives you a bonus of 5 points in the final exam (only final exam, not backup exam).
Thu, 24.07.: The 3rd alternative lecture is on Friday, 25.07., from 12:00-14:00, in lecture hall 3, E2 5 (Mathematics Building)
Fri, 18.07.: Vote for the 3rd alternative lecture
Tue, 15.07.: There will be no more exercise sheets to give you more time to finish the last project.
Tue, 08.07.: The midterm exam inspection is on Friday, 11.07., from 14:15-16:00 in Room 528, E1 3.
Thu, 03.07.: The midterm results are online
Thu, 03.07.: The next alternative lecture is on Monday, 07.07., from 12:00-14:00, in lecture hall 2, E1 3
Tue, 01.07.: Vote for the alternative lecture slot for next week (07.07.-11.07.)
Mon, 30.6.: The first alternative lecture is tomorrow, Tuesday (01.07.) in room 001 of building E1 7, thus there are two lectures tomorrow
Thu, 26.6.: There are no lectures at 15.7, 17.7, and 22.7. Vote for an alternative lecture slot until Friday 27.6., 12:00.
Mon, 23.6.: There are no tutorials this week (23.6./24.6.)
Wed, 18.6.: There are no discussion slots this Friday, 20.6.
Wed, 10.6.: There is a tutorial on Wednesday 11.6., 14:15-16:00, in lecture hall HS001, E1 3, as there was no Monday tutorial this week due to a holiday
Tue, 3.6.: The lecture on Thursday (5.6) is in lecture hall HS001
Tue, 27.5.: The second project is online.
Mon, 26.5.: There are no discussion slots this week (neither Thursday, nor Friday) because of the public holiday on Thursday (29.5).
Tue, 13.5.: The first project and second problem set is online.
Fri, 9.5.: The discussion slot assignment is online.
Thu, 8.5.: The group assignment is now online.
Thu, 8.5.: In the tutorials next week (May 12/13), there will be a MATLAB tutorial and instructions for the first project.
Thu, 8.5.: Updated room information.
Tue, 6.5.: Regarding the MATLAB license: After installing, you have to create the Mathworks account using your stud.uni-saarland.de email.
Tue, 6.5.: Registration is open until Wed, May 7, 23:59.
Tue, 6.5.: The first problem set is out
The first lecture is on Tuesday, the 6th of May.

Syllabus

Embedded systems are computer systems that are encapsulated into larger products, and that are normally not directly visible to the user. Embedded systems are responsible for the information processing in transportation systems (e.g., airplanes, trains, cars), telecommunication equipment (e.g., mobile phones), and consumer electronics products (e.g., TVs, DVD-players).

In this course we will study the theoretical foundations and practical tools that are needed to build reliable and efficient embedded systems.

Topics

Specification: review of the most commonly used languages employed in the specfication of embedded systems (e.g., StateCharts, Petri nets, and VHDL);
Embedded hardware: sensors, communication units, processing units, memories, and actuators;
Embedded software: embedded operating systems, scheduling algorithms;
Hardware/software codesign: methods for the optimal division of labor between the hardware and software parts of an embedded system;
Validation: methods for ensuring that an embedded system behaves as expected: simulation, testing, formal verification.

Textbooks

	Peter Marwedel. Embedded System Design. Springer, Berlin; 2nd Edition (2011) ISBN: 978-94-007-0256-1
	Edward A. Lee and Sanjit A. Seshia. Introduction to Embedded Systems, A Cyber-Physical Systems Approach . ISBN 978-0-557-70857-4, 2011.
	Giorgio C. Buttazzo. Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications . ISBN 978-1-4614-0675-4, 3rded. 2011.