Home | Sitemap | Index | Contact | Legals | KIT

Diplomarbeiten/Master's Theses

Preservation of Data Consistency for Confidentiality Verification

Motivation

A software system shall process data with respect to the modeled confidentiality require- ments. To verify such confidentiality requirements in code, one needs proof obligations. We are currently working on an approach to generate such proof obligations from a software ar- chitecture model. A crucial issue here is to keep information consistent across abstract con- fidentiality...[more]

Analysis of Classifier Performance on Aggregated Energy Status Data

The energy consumption of the industrial sector amounts to 24% of the overall consumption in the European Union. From a business perspective, energy consumption is also an important factor to the overall production cost. Companies can directly benefit from energy-efficient production processes. On the other hand, the shift to renewable energies requires companies to adapt to a less flexible...[more]

Modellierung und Simulation von Lastverteilstrategien für teilchenphysikalische Experimente am CERN

Motivation

Die zu prozessierenden Datenvolumina von Experimenten zur Suche nach neuen Elementarteichen werden sich in den nächsten Jahren weiter vervielfachen. Da eine Leistungssteigerung der Rechner-Hardware nicht im selben Maße zu erwarten ist, müssen Strategien entwickelt werden, wie die zur Verfügung stehende Rechner-Hardware bei der Analyse der umfangreichen, verteilt gespeicherten,...[more]

Performance Modelling of Image Processing Algorithms

Motivation

The performance of image processing software depends not only on the theoretical complexity of algorithms, but also on image properties, parameter settings of algorithms, implementation details, and hardwarecharacteristics (incl. heterogeneous hardware options with CPUs, GPUs, cluster and cloud options). The state-of-the-art to measure this performance are experimental studies during...[more]

Palladio for Designing of Parallel Algorithms in Materials Science

Motivation

Der Software-Architektur-Simulator "Palladio" unterstützt Software-Entwickler, indem er die Auswirkungen von architekturellen Entwurfsentscheidungen auf die Performanz vorhersagt, ohne, dass die Software implementiert werden muss. In dieser Arbeit soll untersucht werden, wie die Modellierungssprache und der Simulator erweitert werden müssten, um auch die Auswirkungen bestimmter...[more]

Performance Modelling for Genome Analysis Algorithms

Motivation

The major challenge when searching for the optimal phylogenetic tree (representing the evolutionary history of species for a corresponding set of DNA sequences) is the computation of the phylogenetic likelihood function. During tree searches for the optimal tree (the tree search problem is NP-hard) production-level software spends 90-95% of overall run time in likelihood function...[more]

Validierung von Deep Modeling

Die meisten in der Forschung und Industrie eingesetzten Metamodelle sind mit striker Metamodellier-ung in zwei Ebenen modelliert. Diese Art der Modellierung besitzt aber Schwachstellen, da die Darstellung von Relationen wie der Instanziierung nicht oder nur über Umwege möglich ist. Bei der Beschreibung von Software Architekturen treten solche Instanzierungsbeziehungen gleich mehrfach auf. Dieses...[more]

Systematische Literatur-Recherche: Evolution von Software-Systemen

 

Studien-, Bachelor-, Diplom- oder Masterarbeit

 

Heutige Unternehmen benutzen immer mehr Software-Systeme zur Unterstützung der Aktivitäten ihrer Geschäftsprozesse. Während des Betriebs evolvieren sowohl die Software-Systeme, als auch die Geschäftsprozesse, die sie benutzen. Dabei stehen Software-Systeme und die Geschäftsprozesse vor vergleichbaren Herausforderungen bezüglich der...[more]

By:Kiana Rostami

Evolution von Software-Systemen

 

Studien-, Bachelor-, Diplom- oder Masterarbeit

 

Heutzutage werden immer mehr Geschäftsprozesse der Unternehmen durch Software-Systeme unterstützt. Eines der Hauptmerkmale solcher Software-Systeme ist Langlebigkeit. Langlebigkeit erfordert kontinuierliche Änderungen der Software-Systeme, um sich auf Änderungen in Anforderungen, Umgebung oder Plattform anzupassen. Dabei beeinflussen...[more]

By:Kiana Rostami

Keeping Architecture Models for Automotive Software Consistent

Master's / Bachelor's Thesis

In this thesis, you will evaluate how central parts of ASCET, SysML, and AMALTHEA models can be kept consistent according to industrial requirements of the automotive parts supplier Bosch.[more]

Threat-Modellierung in Palladio

Motivation

In dieser Arbeit soll die Architekturbeschreibungssprache, das Palladio Component Model (PCM), um eine formale Beschreibung für Attacker-Klassen und Attack-Typen erweitert werden. Die Bedrohungen sollen dabei auf ein bestehendes Metamodell basieren und mit den relevanten Architekturelementen wie Komponente formal und logisch verknüpft werden. Sämtliche Bedrohungen wie...[more]

Modellierung von Security Patterns in Palladio

Motivation

In dieser Arbeit soll die Architekturbeschreibungssprache, das Palladio Component Model (PCM), um eine formale Beschreibung für Security Patterns erweitert werden. Die Patterns sollen dabei auf ein bestehendes Metamodell basieren und mit den relevanten Architekturelementen wie Komponente formal und semantisch verknüpft werden. Sämtliche Sicherheitsmechanismen wie Firewalls oder...[more]

Model-Driven Consistency Preservation for Industrial Engineering Artifacts

Your tasks:

ABB provides hardware and software for control systems to operate a multitude of industrial facilities, e.g., factories, power plants, ships, and mines. To plan and configure such systems, numerous software tools capture models from various engineers in many data formats. For example, the models include factory structures, behaviour of automation controllers or robot kinematics....[more]

Extraktion von Architekturmodellen aus Neurorobotiksimulationen

Im Human Brain Project, einem internationalen Großprojekt um Infrastruktur für simulative Neuwissenschaften bereit zu stellen, beschäftigt sich das FZI mit der gekoppelten Simulation von Robotern und neuronalen Netzwerken, sog. Neurorobotiksimulationen. Die Datenübertragung wird dabei von Transfer-Funktionen übernommen, die bestimmen, welche Signale des Neuronalen Netzes an welche...[more]

By:Georg Hinkel

Optimizing Self-Adaptive Software Systems with Palladio

In this thesis you will apply and evaluate Palladio's design time analyses to the automated optimisation of self-adaptive software systems. You extend and build upon current work that enables the automated optimization of self-adaptive software systems.

 

 

Motivation

Software systems deployed in cloud environments employ self-adaptation tactics to maintain both Quality of Service...[more]

Comprehensive Design Space Exploration

Studien-, Bachelor-, Diplom-, Masterarbeit

 

Motivation

Häufig scheitern Software-Entwicklungsprojekte nicht aufgrund technischer Schwierigkeiten, sondern aufgrund mangelnder Einbindung in und Abstimmug mit den Geschäftsprozessen eines Unternehmen. Die gemeinsame Betrachtung der wechselseitigen Einflüsse zwischen Geschäftsprozessen und Informationssystemen ist ein aktuelles Thema in Forschung...[more]

By:Robert Heinrich

Architecture Evaluation with Palladio of Reference Architectures for Mobile Computing in Resource-Constrained Environments

The Carnegie Mellon Software Engineering Institute (SEI) offers in collaboration with the Software Design and Quality (SDQ) group at KIT several bachelor and master theses. The topics have a focus on mobile computing, and on how quality of mobile computing architectures can be evaluated using the Palladio software architecture simulator. All thesis would be supervised by Grace Lewis (SEI)....[more]

 TOP

List of diploma and master theses at KIT, Faculty of Informatics in Karlsruhe.

Liste von Diplomarbeiten und Masterarbeiten am KIT, Informatik in Karlsruhe.