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

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

Projects

Research Projects and Industrial Projects
 
   
Author: jp
 
  AG BS 
Last updated: October 16, 2015   Impressum