Lukas Güthing

Context: Featured Transition Systems (FTSs) are automata that describe the run-time behavior of variable systems. FTSs therefore enable model checking for product families. However, FTSs currently only allow boolean and fixed numerical transitions. To model for example fault probabilities, we want to extend them with configurable probabilistic transitions.

Goal: Extend Featured Transition Systems with configurable probabilistic transitions.

Requirements: Prior knowledge of automata and product lines is helpful.