Universität Bremen  
  Universität Bremen FB3 TZI BISS  
  AG BS > Deutsch



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


Research Projects and Industrial Projects
Author: jp
  AG BS 
Last updated: November 2, 2022   Impressum