Humboldt-Universität zu Berlin - Mathematisch-Naturwissenschaftliche Fakultät - Rechnerorganisation und Kommunikation

EMES - Eigenschaften mobiler und eingebetteter Systeme

Document Actions
  • Print this page

Halbkurs im Wintersemester 2011/2012

Di 13-15 RUD 26, 1.303

Fr 09-11 RUD 25, 3.113

Hinweise

Die erste Vorlesung findet am Dienstag, den 18.10.2011 statt.

Wer

Dozenten: A. Dittrich, Dr. S. Sommer

Was

EMES beschäftigt sich mit den Eigenschaften eingebetteter und mobiler Systeme. Während bei Standardsystemen der funktionale Aspekt im Vordergrund steht, kommt es bei eingebetteten und mobilen Systemen vor allem auf nichtfunktionale Eigenschaften wie Echtzeitfähigkeit, Konfigurierbarkeit und Verläßlichkeit an. Der Halbkurs EMES beschäftigt sich mit solchen Eigenschaften. Dabei werden sowohl theoretische als auch praktisch-technische Aspekte betrachtet.

Umfang

  • Vorlesung 4 SWS
  • Projekt

Themen und Download der Vorlesungsfolien

Diese Liste wird im Laufe der Vorlesung ständig aktualisiert und ergänzt. Das folgende Material ist ausschließlich für Lehrzwecke bereitgestellt und darf nicht anderweitig verwendet werden.

Die Folien zur Vorlesung finden Sie hier (Anmeldung mit Informatik-Account).

Literaturhinweise

(wird in der Vorlesung ergänzt)

  • Jane W. S. Lui, Real-Time Systems, Prentice Hall, 2000
  • C.M. Krishna, K.G. Shin, Real-Time Systems, McGraw-Hill, 1997
  • G.T. Coulouris, J. Dollimore, T. Kindberg, Distributed Systems, Addison-Wesley,1994

Projekte

Voraussetzung für die Zulassung zu Prüfung ist die erfolgreiche Bearbeitung eines Semesterprojektes. Die Projekte finden für Diplomstudenten in Zusammenarbeit mit der Vorlesung Zuverlässige Systeme statt. Die Liste der dieses Jahr angebotenen Projekte wird zeitnah bereitgestellt. Die Projekte werden am 25.10.2011 im Rahmen der EMES Vorlesung vorgestellt. Die Folien mit allen Projekten finden sich hier (Anmeldung mit Informatik-Account).

Die folgenden Projekte wurden letztes Jahr bearbeitet:

  • Byzantine Wireless Generals: Implementierung und Analyse eines Byzantine-Agreement Algorithmus im Mote-Lab (Betreuer: Bratislav Milic)
  • Safe Thumper: Entwicklung eines autonomen Roboters der garantiert rechtzeitig anhält (Betreuer: Peter Ibach, Felix Salfner), weiter Infos hier im Wiki.
  • Multipath Positioning: Algorithmus und Analyse und Messung der maximalen Ungenauigkeit aufgrund von Multi-Path Ausbreitung für ein industrielles "person-tracking system" (Betreuer: Peter Ibach), weitere Infos hier im Wiki.
  • Reliability Modeling: Quantitative Verfügbarkeits-Modellierung und Evaluation der Lehrstuhl IT-Infrastruktur mit Hilfe des Tools SHIP-IT. (Betreuer: Tobias Goldschmidt)
  • Calculating Downtime Costs for Information Technology (Betreuer: Miroslaw Malek)

Erste Ergebnisse der Projektarbeit (Prototyp, initiale Dokumentation) müssen nach Absprache bis zum 9.12.2011 beim zuständigen Betreuer vorgestellt werden. Die finale Lösung muß bis zum 31.1.2012 beim Betreuer lauffähig vorgestellt werden. Zur Projektarbeit gehört die Erstellung einer Projektdokumentation, die per eMail (PDF) beim Betreuer eingereicht werden muß. Zudem stellen sich alle Projekte in der letzten Vorlesungwoche am 14.2. und am 17.2.2012 im Rahmen der EMES Vorlesung vor.

Prüfungen

Die Prüfungen erfolgen mündlich am Semesterende. Die Anmeldung erfolgt bei Frau Becker in Raum RUD 25  4.217. Ein erfolgreiches Projekt ist Voraussetzung für die Prüfungszulassung.