BugFix "Too Many Connections"

Bugfix für die falsche Auswertung des CacheConnectionPools. (Anfängerfehler)

Beta der neuen Ergebnisanzeige

Aufgrund der größeren Unterschiede zwischen den Prüfungsordnungen <=2004 und den BA/MA/DIPL Prüfungsordnungen >=2009 haben wir eine neue Darstellung der Ergebnisse für letztgenannte POs eingeführt. Sie ist noch nicht vollständig fertig, vor allem was das Design angeht, zeigt aber die Richtung.

OS-Updates

Heute größere OS-Update-Runde. Downtime von 16:00 bis 17:00.

Diplomthema zu vergeben

Thema: Verifikation der Lebendigkeit von Rekonfigurationen in Qualitäts-behafteten,  Selbst-optimierenden Systemen

Zielstellung:

Im Rahmen des SFB 912 und der ESF-geförderten Nachwuchsforschergruppe ZESSY wird ein selbst-adaptives System entwickelt, welches sein Verhalten hinsichtlich nicht-funktionaler Eigenschaften (Qualitäten) selbstständig optimiert. Hierzu wurde eine Komponenten-basierte Softwarearchitektur entwickelt, die die Beschreibung von Software- und Hardware-Komponenten und deren Abhängigkeiten untereinander erlaubt. Die Abhängigkeiten werden über Verträge zwischen den Komponenten beschrieben, in denen Spielräume zur Verhandlung von Qualitäten definiert werden. Den Benutzern eines solchen Systems wird es somit ermöglicht, Erwartungen an die Ausführung der Funktionalität des Systems zu stellen (zum Beispiel eine minimale Bildrate  bei der Wiedergabe eines Videos). Mit Hilfe von Optimierungstechniken kann für eine solche Anfrage eine optimale Systemkonfiguration, bestehend aus der Auswahl geeigneter Implementierungen von Softwarekomponenten und deren Mapping auf die verfügbaren Ressourcen, gefunden werden. Um von der aktuellen Systemkonfiguration zur optimalen Konfiguration zu gelangen werden Rekonfigurationsskripte, welche eine Folge von Rekonfigurationsoperationen (deploy, undeploy, migrate, replace, etc.) beschreiben, abgeleitet.

Ziel der Diplomarbeit ist die Anwendung von Verifikationstechniken aus dem Bereich des Model Checking um Rekonfigurationsskripte auf deren Lebendigkeit zu untersuchen. Hierzu soll Vereofy und dessen Koordinationssprache Reo verwendet werden. Wenn ein Skript das System zeitweise in einen inkonsistenten Zustand überführen kann, soll dies erkannt und aufgezeigt werden.

Im Detail sind folgende Teilaufgaben zu bearbeiten:

• Einarbeitung in die Softwarearchitektur für selbst-optimierende Systeme (CCM/QCL)
• Einarbeitung in Vereofy, insbesondere die Koordinationssprache Reo
• Implementierung der Übersetzung von CCM/QCL-Modellen und der Rekonfigurationsskripte in Reo
• Formulierung der Lifeness-Anforderung
• Integration in die qBench IDE (Eclipse)

Die Arbeit wird vom Lehrstuhl für Softwaretechnologie und dem Lehrstuhl für algebraische und logische Grundlagen der Informatik co-betreut.

Hauptseminar Pioniere des Software Engineering

Im Wintersemester 2011/12 bietet der Lehrstuhl für Softwaretechnologie ein Hauptseminar zum Thema "Pioniere des Software Engineering" an. Weitere Informationen sind hier zu finden. Die Einschreibung ist ab sofort über jExam möglich.

Nebenfacheinschreibung/Anwendungsfacheinschreibung

Für Studierende des neuen modularisierten Diplomstudiengangs im 3. Fachsemester und Studierende in der beiden Master-Studiengängen Informatik und Medieninformatik beginnt am 05. September 2011 09:00 Uhr die Einschreibung in die Nebenfächer/Anwendungsfächer. Die Einschreibung wird für 2 Wochen, also bis zum 18. September 2011 möglich sein.

Korrektur der Klausurergebnisse "Algorithmen und Datenstrukturen"

Information durch den Lehrstuhl Grundlagen der Programmierung:

Durch nachträgliche Veränderung des Bewertungsmaßstabs gibt es umfängliche Veränderungen in den bereits veröffentlichten Noten für Algorithmen und Datenstrukturen. Die Ergebnisse wurden am 20.04.2011 aktualisiert. Bei weiteren Fragen wenden Sie sich an den zuständigen Lehrstuhl.

E-Mailadressen aktualisieren

Wir bitten alle Studenten ihre E-Mailadressen in jExam einzutragen oder zu aktualisieren.

Mit freundlichen Grüßen
Ihr Prüfungsamt

Nicht erreichbar (Update 3)

Mysteriöserweise sind wir derzeit von außerhalb der Fakultät Informatik nicht erreichbar. Wir versuchen die Ursache zu finden.

Update: Der Fehler lag im zentralen ZIH-DNS. Dieser hatte die falschen alten IPs aus dem Cache geholt. Der Fehler ist bei uns nicht aufgefallen, da der Informatik-DNS perfekt funktionierte. Hoffen wir, dass der Spuck in ein paar Stunden vorbei ist.

Update (2): Man soll es nicht glauben. Der DNS ipra105.inf.tu-dresden.de ist falsch im ZIH-DNS. Die Clients können sich deshab nicht verbinden. Alternativ kann erstmal der DNS Server 141.76.2.1 genutzt werden. Wir versuchen derzeit Kontakt zum ZIH zu bekommen. Das ist schwerer als gestern.

Update (3): Sollte nun tatsächlich alles wieder gehen.

WebService Fix

Kurzer Neustart für einen BugFix im WebService. (www.jexam.de geht seit dieser Nacht auch wieder)

IP-Umstellung (4)

Beendet. Sollte keine Probleme mehr geben. Ein Dankeschön geht an den Admin, sowie an Frau Kuhlmey und Herrn Petrick. (bei www.jexam.de dauert es scheinbar noch mit der Umstellung. Alles ist aber über die Uni-Standard-Adresse http://jexam.inf.tu-dresden.de/ verfügbar)

IP-Umstellung (3)

Kleines Statusupdate: Soweit läuft fast alles wieder.Einloggen geht auch. Letztes Problem ist der Druckserver für die Clients.

IP-Umstellung (2)

Wie bereits hier erwähnt, müssen wir unsere IPs umstellen. Dies wird leider nicht ohne länger Downtime ablaufen, denn die DNS-Einträge werden nicht so schnell aktualisiert. Am 23.02.2011 nachmittags werden wir ein extra Datenbankupdate erstellen und dann werden die DNS-Einträge umgestellt. Gleichzeitig werden die Application-Server heruntergefahren und von jexam.de auf den Blog verlinkt. Am 24.02.2011 8:00 wird das Netzwerk umgestellt und die Rechner umkonfiguriert. Danach noch den Application-Server aktualisieren und wenn alles klappt, die DNS-Einträge nicht lange auf sich warten lassen, sollte alles am Vormittag wieder funktionieren.

Sollte, aber irgendwas geht ja sowieso immer schief.

Kurzes Update

Aufgrund von Updates am Basisssystem sind wir mal für 5min offline.

IP-Umstellung

Aufgrund einer neuen IP-Adressenverteilung werden am 24.02.2011 alle Services nicht erreichbar sein (bzw. solang wie die DNS-Server brauchen, die Umstellung zu verteilen).
Diese Gelegenheit werden wir zudem Nutzen, eine neue Version des StudentWeb, des Server und des Clients online zu stellen.

Betriebsystemupdates

Aufgrund von Betriebssystemupdates sind wir für 10min offline.

Ausfall ZIH Auth Server

Aus einer Mail des ZIH:

"hiermit möchte ich Sie nochmals auf die ZIH-Info vom Dezember 2010
hinweisen, in der in dem Beitrag "Erhöhung der Ausfallsicherheit der
Radius-Server" der Umbau der Radiusserver und der damit verbundene
kurzzeitige Ausfall verschiedener Dienste, darunter auch WLAN und jExam,
am 4. Januar zwischen 18 und 19 Uhr angekündigt wird."