|
INF-PRS-05, Bachelor, 4 LP
INF-PRS-06, Master, 4 LP
Sommersemester 2009
Aktuelle Hinweise
Art der Veranstaltung: Praktikum
Stundenzahl: 0 + 3
Maximale Teilnehmerzahl: 20
Dozent: Prof. Dr. Ursula Goltz
Übungsleiter: Malte Lochau (Sprechzeit jeweils nach Vereinbarung)
Prüfungsmodalitäten: Eine erfolgreiche Aufgabenbearbeitung ist notwendig, damit das Modul als erfolgreich bestanden (unbenotet) gilt.
Hierzu gehört die ausführliche Dokumentation der eigenen Arbeit, die in Form einer schriftlichen Ausarbeitung rechtzeitig (Termine werden noch bekanntgegeben) abzugeben ist. Des Weiteren wird von jeder Gruppe ein Vortrag zu einer der Teilaufgaben erwartet, in dem sie ihre Umsetzung der Problemstellung präsentiert. Außerdem müssen zu beiden Aufgaben Testate absolviert werden, in denen die Funktionsfähigkeit der Modelle nachzuweisen ist.
Qualifikationsziele: Nach Abschluss dieses Moduls sind die Studierenden in der Lage, Modellierungsaufgaben in selbstständiger Teamarbeit zu lösen sowie Werkzeuge für die Modellierung und den Entwurf eingebetteter Softwaresysteme kritisch zu bewerten und einzusetzen.
Inhalt
- Praktische Umsetzung von Modellierungskonzepten
- projektorientierte Fallstudien
- Einsatz von Werkzeugen
Mit dem Begriff »reaktive Systeme« werden Softwaresysteme bezeichnet, deren Charakteristikum die Kommunikation während des Ablaufs ist - sowohl mit einer Umgebung als auch zwischen inneren Komponenten. Diese Art von Systemen hat in den letzten Jahren eine herausragende Bedeutung erlangt. Beispiele dazu sind etwa Telekommunikationsanwendungen oder eingebettete Systeme.
Die Korrektheit dieser Systeme ist schwieriger sicherzustellen als bei der üblichen Ein-Ausgabe-Programmierung, die auf die Berechnung von Ergebnissen und der damit verbundenen Terminierung der Programme zielt. Daher werden verstärkt systematische Verfahren zur Erstellung solcher Softwaresysteme angewandt.
Innerhalb des Praktikums sollen zwei Aufgaben bearbeitet werden:
- Die erste Teilaufgabe beschäftigt sich mit Timed-Automata-Modellierung. Als Werkzeug ist UPPAAL zu verwenden. Zu modellieren ist die Ampelanlage einer konkreten Kreuzung in Braunschweig. Im Rahmen der Bearbeitung dieser Aufgabe sollen an der Kreuzung die tatsächlichen Schaltzeiten der verschiedenen Ampeln gemessen und in das Modell übernommen werden. Das Modell soll die Sicherheit der Kreuzung zu jedem Zeitpunkt gewährleisten.
- Im Rahmen der zweiten Aufgabe wird eine konkrete Fallstudie, die noch bekanntgegeben wird, mit Zustandsdiagrammen modelliert werden. Als Werkzeug ist Rhapsody zu benutzen, welches die Erzeugung von Quellcode sowie Simulationen des Modells ermöglicht.
Material
Pflichttermine
- 1. April, 16.45 - 18.00 Uhr, IZ 251: Erstes Treffen
- 9. April, 15.00 - 16.30 Uhr, IZ 251: Lösungsansätze zu Aufgabe 1
- 7. Mai, 15.00 - 16.30 Uhr, IZ 251: Abgabe Aufgabe 1
- 15. Mai, 11.30 - 13.00 Uhr, IZ 251: Aufgabenstellung 2
- 22. Mai, 11.30 - 13.00 Uhr, IZ 251: Lösungsansätze zu Aufgabe 2
- 2. Juli, 15.00 - 16.30 Uhr, IZ 251: Abgabe Aufgabe 2
Links
Es wird ausdrücklich keine Verantwortung für die Inhalte der verlinkten Seiten übernommen, da wir selbst keinen Einfluss auf diese haben.
|
