Detecting Feature Interactions in Telecommunication Services with a SAT Solver

Feature interaction is a kind of inconsistent conflict between multiple communication services and considered an obstacle to developing reliable telephony systems. In this paper we present an automatic method for detecting feature interactions in service specifications. This method uses bounded model checking, a SAT-based automatic verification technique.

• Type: Conference
• Year: 2002
• Where: PRDC
• Authors: Tatsuhiro Tsuchiya, Masahide Nakamura, Tohru Kikuno
• Keywords: Applied Computing, Feature Interactions, PRDC 2002, Reliable Telephony Systems, SAT-based Automatic Verification