Title :
Detecting feature interactions in telecommunication services with a SAT solver
Author :
Tsuchiya, Takao ; Nakamura, Mitsutoshi ; Kikuno, T.
Author_Institution :
Osaka Univ., Japan
Abstract :
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.
Keywords :
computability; formal specification; formal verification; telecommunication computing; telephony; SAT-based automatic verification technique; bounded model checking; feature interaction detection; inconsistent conflict; multiple communication services; reliable telephony systems; service specifications; Computer vision; Digital circuits; Inhibitors; Intelligent networks; Petri nets; Scalability; Telecommunication network reliability; Telecommunication services; Telephony; Testing;
Conference_Titel :
Dependable Computing, 2002. Proceedings. 2002 Pacific Rim International Symposium on
Print_ISBN :
0-7695-1852-4
DOI :
10.1109/PRDC.2002.1185629
