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

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.


    Projects


    Publications


    CV


    Model-Based Testing of Embedded Systems


    Lectures (in German)


    Post Graduate Programme Embedded Systems GESy


    Other responsibilities


    Address:

     
     	Prof. Dr. Jan Peleska
     	FB 3 -- Informatik 
     	Universität Bremen
     	Postfach 330 440
     	D-28334 Bremen
     	Germany
    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