Seminar (mit Bachelorarbeit) LVA 185.282, SE 4.0, ECTS 6.0, 2007 S
(vierstündiges Seminar; siehe auch
TUWIS++/185.282)
Diese Lehrveranstaltungen werden regelmäßig zu einem
gemeinsamen Thema angeboten. Das Thema für das Sommersemester
2007 lautet:
Annotationssprachen zur Programmanalyse
Vom Programmierer gegebene Programmannotationen können die
Genauigkeit einer nachfolgenden Programmanalyse erheblich erhöhen
oder sogar erst ermöglichen. Die sog. "Worst-Case Execution Time
(WCET)" Analyse von Programmen ist ein typisches Anwendungsfeld, wo
das der Fall ist. Für dieses Anwendungsfeld sind vielfältige
Sprachen und Methoden vorgeschlagen worden, um einfache Eigenschaften,
wie etwa Obergrenzen für die Anzahl von Schleifendurchläufen
zu beschreiben, oder auch komplexe Eigenschaften, dass bestimmte
Programmpfade nicht ausführbar sind (und somit von einer
WCET-Analyse unbeachtet bleiben können). In diesem Seminar werden
wir anhand aktueller und wegweisender klassischer Arbeiten einen
Einblick in verschiedene im Bereich der WCET-Analyse von
Echtzeitsystemen eingesetzte Annotationsmethoden und ihre
individuellen Stärken und Beschränkungen gewinnen, und so
auch einen Einblick in den Stand der Forschung.
Achtung: Vorbesprechungsverschiebung! Wg. einer
zeitgleichen Studienkommissionssitzung wird der Beginn der
Vorbesprechung von 10:00 Uhr c.t. auf
11:00
Uhr c.t. verschoben!
Die Vorbesprechung für dieses Seminar findet am Mittwoch, den
07.03.2007, um 11:00 Uhr c.t. (war 10:00 Uhr c.t.),
in der Bibliothek des Arbeitsbereichs für Programmiersprachen und
Übersetzer in der Argentinierstr. 8, 4. Stock, 1040 Wien,
statt. Für die weiteren Seminarveranstaltungen sind Termine im
April, Mai und Juni 2007 vorgesehen. Einen Überblick über
alle Termine gibt die folgende Auflistung.
- Mittwoch, 07.03.2007, 10:00 Uhr c.t. bis ca. 11:00 Uhr.
- Mittwoch, 18.04.2007, 10:00 Uhr s.t. bis ca. 12:00 Uhr.
- Mittwoch, 30.05.2007, 10:00 Uhr s.t. bis ca. 12:00 Uhr.
- Mittwoch, 06.06.2007, 10:00 Uhr s.t. bis ca. 12:00 Uhr.
- Mittwoch, 13.06.2007, 10:00 Uhr s.t. bis ca. 12:00 Uhr.
Gemeinsamer Ort für alle Termine ist die Bibliothek des
Arbeitsbereichs für Programmiersprachen und Übersetzer in
der Argentinierstr. 8, 4. Stock, 1040 Wien.
Ziele des Seminars:
Die TeilnehmerInnen erhalten einen fundierten Einblick in
wegweisende und aktuelle Forschungsarbeiten zum Seminarthema.
Daneben erlernen die TeilnehmerInnen auch die
Grundlagen wissenschaftlichen Arbeitens: Literatursuche,
selbständiges Erarbeiten des Inhalts wissenschaftlicher
Literatur, Vortragstechnik und das Abfassen und Beurteilen von
Texten. Insbesondere wird beim "Seminar (mit Bachelorarbeit)" das
selbständige Verfassen umfangreicherer Texte geübt.
Durchführung:
Alle TeilnehmerInnen erarbeiten sich einen Teilbereich des Themas
selbständig anhand
vorgegebener Literatur und geben die gewonnenen Erkenntnisse durch
einen Vortrag an die MitteilnehmerInnen weiter. In einer
anschließenden Diskussion werden die Ergebnisse verdeutlicht.
Eine schriftliche Zusammenfassung wird an eineN andereN TeilnehmerIn
übergeben, die/der diese Arbeit begutachtet und
Verbesserungsvorschläge macht. Die Endversionen der schriftlichen
Arbeiten werden zusammen mit den Vortragsfolien auf dieser Seite zur
Verfügung gestellt und ggf. auch zu einem Seminarband
zusammengefasst. Darüberhinaus müssen alle TeilnehmerInnen
eine zweite umfangreichere Zusammenfassung der Literatur zu ihrem
Thema erstellen.
Erste Aufgabe:
Die
erste Aufgabe dient dazu, uns mit dem
Forschungsgebiet WCET-Analyse vertraut zu machen und einen ersten
Überblick zu gewinnen. Dazu soll bis zum nächsten
Seminartermin am
18.04.2007 von allen
Seminarteilnehmern ein 5 bis max. 10-minütiger Kurzvortrag sowie
eine 1 bis max. 2-seitige Ausarbeitung vorbereitet werden, die auf
folgende Fragen eingehen:
- Wie lässt sich WCET-Analyse
charaktisieren? Wo liegen
typische Einsatzfelder? (Nicht mehr als 15 bis 25 Zeilen)
- Welche Forschungsgruppen an Universitäten, welche
Firmen beschäftigen sich mit
WCET-Analyse? (Nicht mehr als 5 jeweils)
- Was sind typische Konferenzen und Zeitschriften, in
denen Resultate zur WCET-Forschung publiziert werden?
(Nicht mehr als 5 jeweils)
- Wird das Forschungsgebiet WCET-Analyse bereits in
Lehrbüchern behandelt? Falls ja, in welchen?
- Ist WCET-Analyse schon einmal Thema der Zeitschrift
ACM Computing Surveys gewesen?
Die Ergebnisse zur Suche auf Antworten auf die obigen Fragen sollen
am Seminartermin am 18.04.2007 in Form der Kurzvorträge vorgestellt
werden. Die Ausarbeitungen wechselweise an alle Seminarteilnehmer
verteilt werden. Bringen Sie dazu bitte eine ausreichende Anzahl
an Kopien mit.
Am 18.04.2007 erfolgt dann die Vergabe der konkreten Seminarthemen.
Folien und Endfassung der Ausarbeitung werden an dieser Stelle elektronisch
zugänglich gemacht.
Erste Aufgabe:
Die
erste Aufgabe dient dazu, uns mit dem
Forschungsgebiet WCET-Analyse vertraut zu machen und einen ersten
Überblick zu gewinnen. Dazu soll bis zum nächsten
Seminartermin am
18.04.2007 von allen
Seminarteilnehmern ein 5 bis max. 10-minütiger Kurzvortrag sowie
eine 1 bis max. 2-seitige Ausarbeitung vorbereitet werden, die auf
folgende Fragen eingehen:
- Wie lässt sich WCET-Analyse
charaktisieren? Wo liegen
typische Einsatzfelder? (Nicht mehr als 15 bis 25 Zeilen)
- Welche Forschungsgruppen an Universitäten, welche
Firmen beschäftigen sich mit
WCET-Analyse? (Nicht mehr als 5 jeweils)
- Was sind typische Konferenzen und Zeitschriften, in
denen Resultate zur WCET-Forschung publiziert werden?
(Nicht mehr als 5 jeweils)
- Wird das Forschungsgebiet WCET-Analyse bereits in
Lehrbüchern behandelt? Falls ja, in welchen?
- Ist WCET-Analyse schon einmal Thema der Zeitschrift
ACM Computing Surveys gewesen?
Die Ergebnisse zur Suche auf Antworten auf die obigen Fragen sollen
am Seminartermin am 18.04.2007 in Form der Kurzvorträge vorgestellt
werden. Die Ausarbeitungen wechselweise an alle Seminarteilnehmer
verteilt werden. Bringen Sie dazu bitte eine ausreichende Anzahl
an Kopien mit.
Am 18.04.2007 erfolgt dann die Vergabe der konkreten Seminarthemen.
Für die Begutachtung von Kurz- und Langausarbeitung
soll folgendes Formular verwendet werden:
Begutachtungsformular
- Mi, 06.06.2007: Elektronische Rückgabe der Begutachtungsformulare
der Kurzausarbeitung an Ihre Kollegen (mit
Kopie an Betreuer).
- Mo, 11.06.2007: Elektronische Ausgabe der Erstfassung der Bachelorarbeit
an Ihre Kollegen (mit
Kopie an Betreuer).
- Mo, 18.06.2007: Elektronische Rückgabe der Begutachtungsformulare
der Langausarbeitung an Ihre Kollegen (mit
Kopie an Betreuer).
- Mo, 02.07.2007: Elektronische Abgabe der Endfassungen von Kurzausarbeitung
und Bachelorarbeit an Betreuer.
Voraussetzung:
Interesse am Thema
Hinweise:
Die Teilnehmerzahl ist für diese Lehrveranstaltung auf 20
Personen beschränkt. Für Teilnehmer besteht Anwesenheitspflicht.
Anmeldungen sind erforderlich. Möglichkeiten zur Anmeldung bestehen bei
der Vorbesprechung und danach per e-Mail an die Betreuer solange es freie
Plätze gibt.
- Literatursuchdienste
- Aufbau wissenschaftlicher Artikel
(auch als Postscript-Version).
Betreuer und weitere Informationen:
Jens Knoop,
Tel.: 58801/18510,
knoop@complang.tuwien.ac.at
Ulrich Neumerkel,
Tel.: 58801/18513,
ulrich@complang.tuwien.ac.at