Home | Sitemap | Index | Contact | Legals | KIT

Studienarbeiten/Bachelor'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]

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]

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]

Quantification of the Impact of Elastic Cloud Environment Properties on IDS Benchmarking Metrics

In this thesis, you will perform experiments that involve use of novel intrusion detection systems (IDSes) in order to investigate the relationship between the performance of these systems and the elastic properties of virtualized cloud environments in which they operate. [more]

By:Aleksandar Milenkoski

Metamodell-Evolution bei modellgetriebener Entwicklung mit EMF

Motivation

Eines der größten Probleme bei der Entwicklung neuer Versionen von Software-Systemen sind Inkompatibilitäten mit existierenden Daten und Anwendungen. Daher sollten die nötigen Änderungen gründlich geplant werden, und Entwickler sollten schon im Voraus die Folgen von Änderungen an einem System abschätzen können. Dies betrifft auch die modellgetriebene Entwicklung (MDD), bei der...[more]

 TOP