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

Jan Peleska


Research Interests

My current research work focuses on the development of dependable systems, with emphasis on distributed systems and reactive real-time systems. In particular, I investigate

  • formal methods and dependability aspects: safety, reliability, availability and security
  • formal methods for the development of fault-tolerant systems
  • test automation for reactive real-time systems
  • tools development for the application of formal methods
  • CASE methods, formal methods and software development standards

    I am most interested in the combination and application of existing methods and corresponding tools to "real-world" problems; the development of new methods plays a less important role. Most results of the research activities are motivated by and applied to industrial projects in the field of safety-critical embedded systems and distributed systems, as, for example, avionic systems and railway control systems. A rather complete overview about current research activities and related industrial projects is given in my Habilitation Thesis Formal Methods and the Development of Dependable Systems.




    Model-Based Testing of Embedded Systems

    Lectures (in German)

    Post Graduate Programme Embedded Systems GESy

    Other responsibilities


     	Prof. Dr. Jan Peleska
     	FB 3 -- Informatik 
     	Universität Bremen
     	Postfach 330 440
     	D-28334 Bremen
    Room:   MZH 8175
    Phone:  +49 421 218-63961 
    Fax  :  +49 421 218-3054
    E-mail:  jp@informatik.uni-bremen.de 

    Author: jp
      AG BS 
    Last updated: February 2, 2014   Impressum