Detection of non-determinacy feature interaction

Abstract

Parallel execution of telecommunication services may cause non-deterministic system behavior, which is a kind of feature interaction decreasing network reliability. In this paper, we formally define the non-determinacy feature interaction, and show by examples how we detect such feature interactions.