Wien (pts017/15.10.2015/12:15) – Im Rahmen des Austrian Computer Science Days 2015 am 15. Oktober 2015 wird der jährlich ausgeschriebene OCG Förderpreis vergeben. Heuer teilen sich die Auszeichnung zwei Absolventen der TU Wien: Harald Beck und Robert Bill konnten im Jubiläumsjahr der TU Wien mit ihren hervorragenden Arbeiten punkten.

Über die ausgezeichnten Arbeiten

Inconsistency Management for Traffic Regulations, von Harald Beck Aus verkehrsplanerischen Zielen, der StVO, sowie Expertenwissen ergibt sich eine komplexe Logik, wie verkehrliche Einschränkungen miteinander in Beziehungen stehen können und durch Verkehrszeichen kundgemacht werden müssen. Moderne Straßenverwaltungstools, wie die Anwendung SKAT der Mödlinger Firma PRISMA Solutions, erlauben die Visualisierung solcher Daten, bilden aber ihre logischen Zusammenhänge nur teilweise ab.

In der Diplomarbeit wurden deshalb Methoden entwickelt, um die Korrektheit entsprechender Datensätze automatisch überprüfen zu können, das heißt, sie bezüglich flexibler Konfliktspezifikationen evaluieren zu können. Erkannte Konflikte können auf ihre Ursachen zurückgeführt und automatisch korrigiert werden. Die resultierende prototypische Implementierung bewältigt die zentrale Herausforderung der Wartbarkeit durch die Trennung von Repräsentation und Verarbeitung des formalisierten Wissens. Theoretische Resultate spiegeln die inhärente Komplexität der Aufgabenstellungen formal wider. Die Arbeit, die am Institut für Informationssysteme der TU Wien durchgeführt wurde, illustriert darüber hinaus die Praxistauglichkeit des deklarativen Programmierparadigmas Answer Set Programming zur Lösung komplexer kombinatorischer und logik-orientierter Aufgabenstellungen.

Towards Software Model Checking in the Context of Model-Driven Engineering, von Robert Bill Bei der Systementwicklung werden häufig Modelle des zu erstellenden Systems verwendet. Dabei können Fehler entstehen, deren Behebung teuer ist, wenn sie erst spät gefunden werden. Model Checking ist eine wichtige Verhaltensverifikationstechnik, bei der überprüft wird, ob der Anfangszustand und das Verhalten eines Systems gewisse Eigenschaften erfüllen. Die Hürde, Model Checking einzusetzen, ist aber hoch, da sich die Eingabemodelle der Model Checker häufig stark von Systemmodellen unterscheiden.

In dieser Arbeit wurde das Model-Checking-Framework MoCOCL entwickelt, das direkt mit Systemmodellen arbeitet. Es baut auf dem Eclipse Modeling Framework EMF auf und benutzt die vorhandene Modellierungssprache Ecore und die Transformationissprache Henshin zur Verhaltensspezifikation. Die Object Constraint Language OCL wurde erweitert, um Verhalten mittels CTL (Computation Tree Logic) beschreiben zu können. Diese Spezifikationen werden vom Model Checker ausgewertet, während er den Zustandsraum aufbaut. Eine Webschnittstelle ermöglicht, das Ergebnis interaktiv zu analysieren, indem Teilauswertungen der überprüften Eigenschaften, einzelne Systemzustände sowie deren Übergänge betrachtet werden können. Die Diplomarbeit wurde im Rahmen des Masterstudiums Software Engineering & Internet Computing an der TU Wien erstellt.

Über den OCG Förderpreis

Die Österreichische Computer Gesellschaft (OCG) schreibt den Förderpreis seit 1988 einmal pro Jahr für herausragende Leistungen von Studierenden an Österreichs Universitäten auf dem Gebiet der Informatik und Wirtschaftsinformatik aus. Der Förderpreis ist mit EUR 2.000,- dotiert. Die OCG unterstützt damit junge Expertinnen und Experten auf diesem Gebiet. Die OCG ist ein gemeinnütziger Verein mit Mitgliedern aus der Wissenschaft, Anwendung, Lehre und Ausbildung sowie Unternehmen im Bereich der Informationstechnologie (IT).

Informationen zum OCG Förderpreis: http://www.ocg.at/fp

Kontakt

Österreichische Computer Gesellschaft (OCG) Dr. Ronald Bieber E-Mail: ronald.bieber@ocg.at Tel +43 1 512 02 35-0 Mobil: +43 664 886 74 861

(Ende)

Aussender: Österreichische Computer Gesellschaft (OCG) Ansprechpartner: Dr. Ronald Bieber Tel.: +43 1 5120235-27 E-Mail: ronald.bieber@ocg.at Website: www.ocg.at