Completed Projects

AMALTHEA

With the steadily rising number of comfort, drive and driver-assistant systems in modern cars, the need for more computing power in vehicles is...more


AMALTHEA4public

The AMALTHEA4public project is part of the ITEA 3 programme and builds on the result of several other projects like AMALTHEA, CESAR, MBAT, CRYSTAL,...more


Archimetrix

Archimetrix combines clustering and pattern detection techniques to recover the architecture of a software system from source code. While the...more


Automatic Migration of Application Software Components to a Cloud-Computing Environment (AACC)

Business Information Systems are used across industries by enterprises of any sizes to address the increasing competition by the effective management...more


BHQFHE

TEMPUS Project: "Bosnia and Herzegovina Qualifications Framework For Higher Education"more


BIHTEK

Benchmarking as a tool for improvement of higher education institution performancemore


CloudScale - Scalability Management for Cloud Computing

Cloud computing offers companies a promising approach for saving costs when running their software: they only have to pay the amount of hardware that...more



ENTIME - Design Methods for Intelligent Mechatronics

The research project „Design methods for intelligent Mechatronics“ (ENTIME) aims at improving the innovation power of modern mechanical engineering....more


Fujaba Tool Suite

Fujaba is an intergrated development environment for the model-driven software development. Fujaba has a modular structure and is built of numerous...more


Hazard Analysis for Reconfigurable Real-time Systems

Self-optimizing mechatronic system often are applied in safety-critical environments. They have to satisfy high safety constraints. This requires a...more


GoRETech – Go Runtime Enforcement Techniques

The goal of the project is to develop and apply static analysis and dynamic enforcement techniques and tools for the highly concurrent programming...more


INTERFLOW: Hybrid Static/Dynamic Inter-application Data-flow Analysis

In this project within the DFG Priority Program 1496 Reliably Secure Software Systems we research how Android apps of untrusted sources can be...more


Model Consistency Management for Mechatronic Systems

The development of complex mechatronic systems requires the close collaboration of different disciplines, like mechanical, electrical, control, and...more


Q-ImPrESS

The Q-ImPrESS project aims at bringing service orientation to critical software systems, such as industrial production control, telecommunication and...more


RailCab

The RailCab system is a novel transportation system that allows comfortable journeys on rails while at the same time satisfying the desire for...more


Reclipse

Reclipse is a reverse engineering tool for the automatic detection of patterns in source code. A pattern is a general, reusable solution to a...more


Security analysis of the Java Runtime

In this project, funded by an Oracle Collaborative Research grant, we investigate how one can detect vulnerabilities automatically in code bases as...more


CRC 614 "Self-optimizing concepts and structures in mechanical engineering"

The Collaborative Research Centre 614 „Self-optimizing concepts and structures in mechanical engineering” (CRC 614) is now nine years old and in the...more


Scalability Engineering for Cloud Computing Applications

Cloud computing offers software companies a promising approach for saving costs. In the past, costs accrued from owning computing equipment. Today,...more


SPES 2020

The national innovation alliance “Software Platform Embedded Systems 2020” (SPES 2020) works on solutions for the cross-domain and model-based...more


[Translate to English:] Verteilte Synthese

Scenario-based Synthesis of Distributed Mechatronic Systems

When developing safety-critical mechatronic systems, a faulty implementation can lead to high costs. Typically the costs caused by faults increase...more


TGG-Interpreter

Triple Graph Grammars (TGGs) are a formalism for the rule-based specification of mappings between different kinds of graphs resp. different kinds of...more



Verification and Simulation of self-optimizing mechatronic Systems

Self-optimizing mechatronic systems adapt their software to their changing environment by themselves. This is called reconfiguration. If several...more


Recovery and Reengineering of Component-based Software Architectures

Nowadays, software used in business information systems is very large and therefore difficult to maintain and extend. To handle this complexity,...more