DocumentCode
3277866
Title
Detecting feature interactions in telecommunication services with a SAT solver
Author
Tsuchiya, Takao ; Nakamura, Mitsutoshi ; Kikuno, T.
Author_Institution
Osaka Univ., Japan
fYear
2002
fDate
16-18 Dec. 2002
Firstpage
131
Lastpage
134
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Dependable Computing, 2002. Proceedings. 2002 Pacific Rim International Symposium on
Print_ISBN
0-7695-1852-4
Type
conf
DOI
10.1109/PRDC.2002.1185629
Filename
1185629
Link To Document