J
Jan Peleska
Researcher at University of Bremen
Publications - 116
Citations - 2120
Jan Peleska is an academic researcher from University of Bremen. The author has contributed to research in topics: Model-based testing & Model checking. The author has an hindex of 25, co-authored 107 publications receiving 1922 citations. Previous affiliations of Jan Peleska include Information Technology University & DST Systems.
Papers
More filters
Journal ArticleDOI
Systems of Systems Engineering: Basic Concepts, Model-Based Techniques, and Research Directions
TL;DR: A review of existing attempts to define and classify SoS is used to identify several dimensions that characterise SoS applications and the state of the art for SoS modelling, architectural description, simulation, verification, and testing is reviewed.
Journal ArticleDOI
Formal development and verification of a distributed railway control system
TL;DR: The authors introduce the concept for a distributed railway control system and present the specification and verification of the main algorithm used for safe distributed control, based on the RAISE method.
Journal ArticleDOI
Industrial-Strength Model-Based Testing - State of the Art and Current Challenges
TL;DR: The techniques for automated test case, test data and test procedure generation for concurrent reactive real-time systems which are considered as the most important enablers for MBT in practice are described.
Book ChapterDOI
Automated test case generation with SMT-solving and abstract interpretation
TL;DR: An approach for automated modelbased test case and test data generation based on constraint types well known from bounded model checking and can be considerably accelerated by using abstract interpretation techniques for preliminary explorations of the model state space.
Book ChapterDOI
Formal Development and Verification of a Distributed Railway Control System
TL;DR: In this article, the authors introduce the concept of a distributed railway control system and present the specification and verification of the main algorithm used for safe distributed control, based on the RAISE method, starting with highly abstract algebraic specifications which are transformed into directly implementable distributed control processes.