Projects

The project MoReS aims at the transfer and enhancement of existing information-flow control techniques for the development of secure systems using the example of decision support systems in the area o

For many serious diseases, clinical practice guidelines (CPGs) providing detailed advice on diagnostics and treatment are today being made available by medical societies. Although it has been shown th

Whether in the powertrain, in central control units or in body and convenience electronics – there is a constant increase in the proportion of electronic components used in the car. This trend is

SHIP aims at utilizing, extending, and adapting semantic modelling, analysis and verification technologies to design, simulate, implement and adapt reliable distributed heterogeneous processes. With t

The project aims at improving the quality of interaction between a human and a domestic robot. One of the most important tasks of such a robot will be to grasp an object and to hold it out to the pers

In this project a safety component (safety laser scanner) is developed that provides collision avoidance for vehicles in industrial settings using an innovative scanner design and advanced environment

Developing methods and tools for interfacing logics and proof systems used in automated reasoning, mathematics, and software engineering. Partners Jacobs-Universität Bremen

FormalSafe aims at the computer-supported management of the many and diverse documents produced during the development of highly dependable systems, in particular in the area of safe robotics.

This project is concerned with the extension of existing generic algorithmic methods in coalgebraic modal logic, conceived as a generic semantic framework for modal logics in a broad sense. Moreover,

The goal of SHARE-it is to develop a scalable, adaptive system of add-ons to sensor and assistive technology so that they can be modularly integrated into an intelligent home environment to enhance th