Research

Research Topics

The fields of interestest of the research group are security-relevant Systems, which have an emphasis on distributed and reacting Realtime-Applikations. For this to accomplish, Methods and Tools are examined, which support the creation-process of security-relevant Systems in all phases. The main research-fields are at the moment:

Methods for the examination of different reliability-aspects like: Safety, Reliability, Availability, Security
Testautomization
Verification
Validation
Processmodels
Combination of formal methods and Integration of the appropriate tools
Specification of Hybrid Systems
- Hybrid Systems with UML

Projects

Research Projects and Industrial Projects

Author: jp

AG BS

Last updated: November 2, 2022