106 citations · 131 across the 8 of their papers we have counts for
9 papers
Probabilistic Risk Assessment of an Obstacle Detection System for GoA 4 Freight Trains
Mario Gleirscher, Anne E. Haxthausen, Jan Peleska
In this paper, a quantitative risk assessment approach is discussed for the design of an obstacle detection function for low-speed freight trains with grade of automation (GoA)~4.…
Qualification of Proof Assistants, Checkers, and Generators: Where Are We and What Next?
Mario Gleirscher, Robert Sachtleben, Jan Peleska
Cyber-physical systems, such as learning robots and other autonomous systems, employ high-integrity software in their safety-critical control. This software is developed using a ra…
Sound Development of Safety Supervisors
Mario Gleirscher, Lukas Plecher, Jan Peleska
Safety supervisors are controllers enforcing safety properties by keeping a system in (or returning it to) a safe state. The development of such high-integrity components can benef…
Complete Test of Synthesised Safety Supervisors for Robots and Autonomous Systems
Mario Gleirscher, Jan Peleska
Verified controller synthesis uses world models that comprise all potential behaviours of humans, robots, further equipment, and the controller to be synthesised. A world model ena…
Complete Agent-driven Model-based System Testing for Autonomous Systems
Kerstin I. Eder, Wen-ling Huang, Jan Peleska
In this position paper, a novel approach to testing complex autonomous transportation systems (ATS) in the automotive, avionic, and railway domains is described. It is intended to…
Effective grey-box testing with partial FSM models
Robert Sachtleben, Jan Peleska
For partial, nondeterministic, finite state machines, a new conformance relation called strong reduction is presented. It complements other existing conformance relations in the se…
Complete Requirements-based Testing with Finite State Machines
Wen-ling Huang, Jan Peleska
In this paper, new contributions to requirements-based testing with deterministic finite state machines are presented. Elementary requirements are specified as triples consisting o…
Industrial-Strength Model-Based Testing - State of the Art and Current Challenges
Jan Peleska
As of today, model-based testing (MBT) is considered as leading-edge technology in industry. We sketch the different MBT variants that - according to our experience - are currently…
CTGEN - a Unit Test Generator for C
Tatiana Mangels, Jan Peleska
We present a new unit test generator for C code, CTGEN. It generates test data for C1 structural coverage and functional coverage based on pre-/post-condition specifications or int…