Diplomarbeit: Validierung einer Implementierung von kaskadierten Caching-Strukturen (Kooperation: OR Soft)
Diplomarbeit: Validierung einer Implementierung von kaskadierten Caching-Strukturen
(Kooperationspartner: OR Soft GmbH, www.orsoft.de)
Bei aufwändigen Berechnungen und Simulationen, wie sie bei der Produktionsplanung nötig sind, sollen zur Performanceverbesserung Ergebnisse von oft benötigten Zwischenrechnungen gespeichert und bei Bedarf wiederverwendet werden.
Ein wesentliches Problem hierbei ist die Sicherstellung der Gültigkeit der gecachten Werte, die wiederum von ebenfalls gecachten Ergebnissen rekursiv abhängig sein können.
Bei OR Soft wird momentan ein System entwickelt, das diese Gültigkeit sicherstellen soll und im Mehrnutzerbetrieb die parallele Bearbeitung mehrerer Simulationsvarianten (pro Nutzer) erlaubt. Gleichzeitig soll die Anzahl der Neuberechnungen möglichst auf das notwendige Maß reduziert werden.
Die zu bearbeitende Aufgabe besteht in der Überprüfung der Korrektheit der Implementierung dieses Cache-Systems.
Hierzu soll die Caching-Strategie formal abgebildet und überprüft werden und daraus eine Strategie zum Testen der Implementierung entwickelt werden.
Das vorhandene System kann mit Methoden und Werkzeugen der Informatik und den folgenden Zielen analysiert werden:
- Ableitung einer effektiven und effizienten Teststrategie sowie von Testfällen (etwa durch Äquivalenzklassenanalyse)
- Aufdecken von möglichen Schwierigkeiten und Inkonsistenzen (Mehrbenutzerbetrieb, Nebenläufigkeit etc.)
- Sicherstellen der Funktionssicherheit (bzw. Erhöhung der Sicherheitswahrscheinlichkeit)
- möglicherweise Führen eines Korrektheitsbeweises (formale Algebren, Codeanalyse etc.)
Ein Arbeitsplatz wird zur Verfügung gestellt, eine Aufwandsentschädigung ist möglich.
Betreuer der Diplomarbeit
| Dr. Axel Diener | axel.diener@orsoft.de | Tel. 03461/5490-32 |
| Prof. Dr. Wolf Zimmermann | wolf.zimmermann@informatik.uni-halle.de | Raum 3.22, Tel. 0345-55-24712 |
Weitere Projekt- oder Diplomarbeitsthemen des Lehrstuhls können jederzeit bei einem der Mitarbeiter erfragt werden. Ebenso können Themen, das Forschungsgebiet betreffend, von Studenten vorgeschlagen werden.