Computerwelt: Aktuelle IT-News Österreich


16.10.2015 pi/Rudolf Felser

OCG Förderpreis 2015 geht an Diplomarbeiten der TU Wien

Im Rahmen des Austrian Computer Science Days 2015 am 15. Oktober 2015 wurde 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 Arbeiten punkten.

© Spencer - Fotolia.com

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 2.000 Euro dotiert. Die OCG unterstützt damit junge Expertinnen und Experten auf diesem Gebiet.

Die Arbeit von Harald Beck trägt den Namen "Inconsistency Management for Traffic Regulations". Worum es geht: 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 von Harald Beck 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.

Robert Bill hat seine Arbeit "Towards Software Model Checking in the Context of Model-Driven Engineering" genannt. Es geht darum, dass bei der Systementwicklung häufig Modelle des zu erstellenden Systems verwendet werden. 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.

Übrigens: Die Ausschreibung für den OCG Förderpreis 2016 startet in Kürze. (pi/rnf)

Diesen Artikel

Bewertung:

Übermittlung Ihrer Stimme...
Noch nicht bewertet. Seien Sie der Erste, der diesen Artikel bewertet!
Klicken Sie auf den Bewertungsbalken, um diesen Artikel zu bewerten.
  Sponsored Links:

IT-News täglich per Newsletter

E-Mail:
Weitere CW-Newsletter

CW Premium Zugang

Whitepaper und Printausgabe lesen.  

kostenlos registrieren

Aktuelle Praxisreports

(c) FotoliaHunderte Berichte über IKT Projekte aus Österreich. Suchen Sie nach Unternehmen oder Lösungen.

Zum Thema

  • Matrix42 AG

    Matrix42 AG Mobile Lösungen und Applikationen, Zugangs- und Zutrittskontrolle, Security Audits, Übernahme von Softwareprojekten, Programmierung, IT-Asset- und Lizenzmanagement, IKT-Consulting,... mehr
  • NAVAX Unternehmensgruppe

    NAVAX Unternehmensgruppe Wasser- und Energieversorgung, Vereine und Verbände, Öffentliche Verwaltung, Medizin und Gesundheitswesen, Maschinen- und Anlagenbau, Konsumgüterindustrie, Immobilien,... mehr
  • adesso Austria GmbH

    adesso Austria GmbH Öffentliche Verwaltung, Grundstoffindustrie, Großhandel, Finanzdienstleistungen, Fertigung, Produktion und Konstruktion, Druck- und Verlagswesen, Qualitätssicherung,... mehr
  • VOQUZ Technologies GmbH

    VOQUZ Technologies GmbH Öffentliche Verwaltung, Maschinen- und Anlagenbau, Finanzdienstleistungen, Qualitätssicherung, Product Lifecycle Management (PLM), Mobile Lösungen und Applikationen, Management Informationssysteme (MIS),... mehr

Hosted by:    Security Monitoring by: