Diplomstudiengänge der Fakultät IV (Elektrotechnik ... - TU Berlin

Diplomstudiengänge der Fakultät IV
(Elektrotechnik, Informatik, Technische Informatik)
Softwaretechnik und Systemgestaltung
Modellentwicklungsumgebungen für zuverlässige Systeme
0434 L 180, Projekt, 4.0 SWS
Mi, wöchentl, 10:00 - 14:00, 13.04.2011 - 13.07.2011, FR 048
Inhalt Im Projekt wird ein in Hinblick auf Umfang und Anwendbarkeit relevantes Eingebettetes
System modelliert, von der Erfassung der funktionalen Anforderungen bis zur (partiellen)
Codegenerierung für eine spezielle Plattform. Folgende Themengebiete werden
angesprochen: Modellbasierte Entwicklung Eingebetteter Systeme, formale Erfassung
von Anforderungen, komponentenbasierter Entwurf, Abbildung auf (beschränkte)
Ressourcen, Variantenmanagement, Analyse und Bewertung von Modellen, Entwurf und
Implementierung von Modellentwicklungsumgebungen.
Bemerkung Die Veranstaltung ist Bestandteil des Moduls "Modellbasierte Entwicklung zuverlässiger
Systeme" (PJ + SE, 9 LP). Inhaltlich werden die Kenntnisse aus dem Bachelor Modul
"Objektorientierte Softwareentwicklung" oder vergleichbare Kenntnisse vorausgesetzt.
Entwicklung zuverlässiger Systeme
0434 L 181, Seminar, 2.0 SWS
Do, wöchentl, 10:00 - 12:00, 14.04.2011 - 14.07.2011, FR 048
Inhalt Kritische Bewertung des im Projekt modellierten Eingebetteten Systems. Vergleich mit
anderen Modellierungsansätzen.
Bemerkung Die Veranstaltung ist Bestandteil des Moduls "Modellbasierte Entwicklung zuverlässiger
Systeme" (PJ + SE, 9 LP). Inhaltlich werden die Kenntnisse aus dem Bachelor Modul
"Objektorientierte Softwareentwicklung" oder vergleichbare Kenntnisse vorausgesetzt.
Sicherheitskonzepte in technischen Systemen
0434 L 182, Integrierte LV (VL mit UE), 2.0 SWS
Mi, Einzel, 14:00 - 16:00, 13.04.2011 - 13.04.2011, TEL 1011
Inhalt Sicherheit eingebetteter Systeme, speziell für industrielle Anwendungen. Fehlerarten,
Risikotoleranz und redundante Systemarchitekturen.
Bemerkung Die Veranstaltung ist Bestandteil des Moduls "Modellierung technischer Systeme".
Blockveranstaltung am Ende des Semesters. Teilnahme an der Vorbesprechung
am 13.04.2011 ist zwingend. Vertiefungsveranstaltung für Diplomstudiengänge.
Weitere Einzelheiten unter http://www.swt.tu-berlin.de/menue/studium_und_lehre/
lehrveranstaltungen/
Forschungs-Seminar
0434 L 183, Seminar, 2.0 SWS
Do, Einzel, 12:00 - 14:00, 14.04.2011 - 14.04.2011, TEL 1011
Block, 09:00 - 16:00, 21.07.2011 - 22.07.2011, TEL 1011
Inhalt
Bemerkung Die Veranstaltung ist Bestandteil des Moduls "Modellierung technischer Systeme".
Vertiefungsveranstaltung für Diplomstudiengänge. Eine Vorbesprechung findet zu
Beginn des Semesters statt. Der Termin hierfür wird rechtzeitig bekanntgegeben.
Weitere Einzelheiten werden unter http://www.swt.tu-berlin.de/menue/
studium_und_lehre/lehrveranstaltungen/
Verifikation von C Programmen in der Praxis
0434 L 196, Integrierte LV (VL mit UE), 2.0 SWS
Block, 09:00 - 18:00, 18.07.2011 - 20.07.2011, TEL 1011 , Santen
Inhalt Die Veranstaltung führt in die formale, werkzeuggestützte Verifikation von C Programmen
ein. Die Programmiersprache C wird hier in ihrer vollen Mächtigkeit betrachtet, wie sie
zur Programmierung von Betriebssystemkomponenten in der Praxis verwendet wird.
Behandelt werden einfache Funktionsspezifikationen, Invarianten, Speichersicherheit,
funktionale Korrektheit und die Korrektheit nebenläufiger Programme. Die Beispiele
in der Vorlesung und die Übungsaufgaben werden mit dem von Microsoft Research
entwickelten Verifikationswerkzeug VCC durchgeführt.
Bemerkung Die Veranstaltung ist Bestandteil des Moduls "Qualität des Softwareprozesses".
Blockveranstaltung am Ende des Semesters. Voraussetzungen: Kenntnisse in der
SoSe 2011 63