|Universität Bremen FB3 TZI BISS|
|AG BS >||Deutsch
Research InterestsMy current research work focuses on the development of dependable systems, with emphasis on distributed systems and reactive real-time systems. In particular, I investigate
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
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: email@example.com