Many industrial effective tasks, e.g., welding, cutting, allow a certain freedom during their execution, e.g., the robot’s tool might have a certain deviation during welding. This freedom can be used as an extra degree of freedom for robot trajectory optimization. In this project, we formalize these tasks and optimize robot trajectory.

Read More

In modern software and systems engineering formal verification gets more and more important to ensure safeness of safety critical systems. Especially, if the systems get in contact with human beings. Therefore, we research for new techniques in the domain of formal verification for software intensive systems.

Read More

In the last decade augmented reality gained more and more interest in the scientific and industrial domain. Currently it is envisioned that augmented reality could help during all kinds of tasks. Using Augmented Reality in different scenarios, however, can have multiple unwanted influences in decisions and lead to unwanted behaviors. Thus, Dependability can become an issue.

Read More

VECS is an Eclipse-based specification framework for the analysis of software-intensive systems. It includes an implementation of the SAML language and model transformations to verification engines. Currently, connectors to high-level Software Engineering tools (Rhapsody) are being developed.

Read More

Smart mobile devices are gaining widespread acceptance as displays sizes, computation power and mobile data transfer bandwidth increase. However, this also leads to new security issues. Here, we develop new bio-metric authentification methods. The core idea is to use soft keyboards as a biometric feature for authentification.

Read More

API Specific Automatic Program Repair or how can we find and fix API Misuses automatically? Nowadays, programmers re-use much code from existing code libraries by means of Application Programming Interfaces (APIs). Due to missing or outdated documentation as well as misunderstandings on how to correctly use a particular API, programmers may falsely apply that API.

Read More

In early stages of software engineering projects, several fundamental decisions must be made. At the same time, there exists a number of potentially antagonistic goals and/or requirements. If these decisions are not simply yes/no decisions, but are numerical in nature, then it is necessary to find an optimal configuration in the design space.

Read More

Autonomous mobile robots gain more and more importance. In the nearest future, they will be a part of everyday life. Therefore, it is critical to make them as reliable and safe as possible even in an environment cluttered with unexpectedly moving obstacles.

Read More

Industrial surface processing by robots - applications such as cleaning, material removal or painting - are characterized by low automation level and consequently remain manually intensive. For automated robot control in such applications we need a solution of the Coverage Path Planning (CPP) problem, which could be performed either off-line or on-line.

Read More