Dies sind die archivierten Webseiten des Lehrstuhls für Programmierung und Softwaretechnik (PST).
Die Seiten des Software and Computational Systems Lab (SoSy) finden Sie auf https://www.sosy-lab.org/.

Oberseminar 21.10.2014

Studentenvorträge zu Projekt- und Abschlussarbeiten

14:15h - 15:45h

Raum 057, Oet. 67

-------------------------------------------------------

Alexander Dittrich - Integration einer Virtualisierungslösung in Peer-to-Peer Cloud Computing

Bachelorarbeit, betreut von Dr. Philip Mayer
 
Die Fallstudie Science Cloud Platform, die im EU-Projekt ASCENS entwickelt wird, beschäftigt sich mit der Vereinigung der Ansätze des Cloud, Volunteer und Peer-to-Peer Computing zu einer Platform-as-a-Service-Lösung. Nutzer können in diese Cloud Anwendungen hochladen, die Anforderungen an Knoten, auf denen sie ausgeführt werden, definieren können. Die vorliegende Arbeit befasst sich mit der Integration einer Infrastruktur-Virtualisierungslösung in die Science Cloud, welche virtuelle Infratruktur (insbesondere Rechenleistung in Form virtueller Maschinen) dynamisch bereitstellen soll, falls im bestehenden Netz kein geeigneter Knoten zur Ausführung einer Anwendung zur Verfügung steht. Dabei müssen Algorithmen gefunden werden, die einerseits zu einer virtualisierten Anwendungsausführung führen und andererseits eine Abschaltung eines virtuellen Knotens sicherstellen, sobald ein anderer Knoten im Netz die Ausführung ermöglicht. Diese Arbeit stellt sowohl das Design als auch eine Implementierung einer derartigen Integration vor.

-------------------------------------------------------

Martin Reithmayer  - Tool support for a Knowledge Base for Secure Software Engineering

Masterarbeit, betreut von Marianne Busch

Knowledge bases have proven themselves very useful for different sorts of research. In a security context, knowledge bases can provide useful information to software developers helping them to select tools, methods and notations for their projects. However, evaluating the different available options is a challenging task and the available knowledge bases do not cover all necessary features to assist evaluation efforts.
We present the SecEval wiki, a knowledge base for secure software engineering based on the SecEval evaluation approach proposed by Busch et al. The SecEval wiki is realized in the style of a semantic wiki and supports the SecEval ontology describing the knowledge objects tools, notations and methods in a security based context. Besides these knowledge objects, the SecEval ontology also allows the modelling of security properties and vulnerabilities in their security context. The thesis consists of several parts: The context in which this thesis is placed, an introduction of the SecEval evaluation approach, the requirements of a wiki implementation of SecEval, and implementation details of the SecEval wiki. Implemented as a web-based wiki in PHP and JavaScript, the SecEval wiki is a fully-fledged application utilizing semantic wiki style syntax to generate a knowledge base for objects within the domain of secure software.
With an emphasis on comparability and connectivity between different kinds of knowledge objects, the SecEval wiki proposes a solution to the selection and evaluation process of knowledge objects for software engineers.