Jan Peleska

Jan Peleska is a Professor at the Department of Computer Science, Faculty of Mathematics and Computer Science, University of Bremen. He is a member of the Bremen Institute of Safe Systems (BISS) and co-editor of the BISS Monographs series. His research focuses on the application of formal methods and model-based testing to safety-critical embedded systems in domains such as avionics, railways, and automotive engineering.

• Affiliation: University of Bremen, TZI (Center for Computing Technology), BISS (Bremen Institute of Safe Systems)
• Academic Role: Professor of Computer Science

Research Interests

Peleska’s work emphasizes formal methods for dependable systems, particularly distributed and reactive real-time systems. Key areas include:

• Formal methods (safety, reliability, availability, security)
• Development of fault-tolerant systems
• Test automation for reactive systems
• Tools development for formal methods
• Integration with software development standards

His research is applied to industrial projects involving safety-critical embedded systems, such as avionic systems and railway control systems. A comprehensive overview is provided in his Habilitation Thesis: Formal Methods and the Development of Dependable Systems.

Publication Trends

Peleska’s recent publications (2012–2022) focus on model-based testing (e.g., symbolic finite state machines, CSP refinement), standardisation of autonomous train control, and tools for automated testing. His work addresses challenges in railway interlocking systems, avionic software verification, and hybrid system validation, often combining formal methods with practical industrial applications.

Scientific Awards

• Best Paper Award at FORMS/FORMAT 2014
• Best Paper Award at QA+Test 2007

Other Responsibilities

Peleska co-manages the Post Graduate Programme Embedded Systems GESy and serves as a shareholder/consultant for Verified Systems International GmbH. He has delivered invited lectures on industrial verification, model-based testing, and formal methods at institutions like the University of Tunghai (2016) and workshops including CyPhyAssure Spring School (2019).