DSpace Repository

Feature interaction detection by bounded model checking

Show simple item record

dc.contributor.author yokogawa, Tomoyuki en
dc.contributor.author Tsuchiya, Tatsuhiro en
dc.contributor.author Nakamura, Masahide en
dc.contributor.author Kikuno, Tohru en
dc.date.accessioned 2018-04-03T00:00:04Z en
dc.date.available 2018-04-03T00:00:04Z en
dc.date.issued 2003-12-01 en
dc.identifier.issn 0916-8532 en
dc.identifier.uri http://hdl.handle.net/10061/12319 en
dc.description.abstract Feature interaction is the term used in telephony systems to refer to inconsistent conflict between multiple communication services. Feature interaction is considered a major obstacle to developing reliable telephony systems and many approaches have been explored to resolve it. In this paper we present an automatic method for detecting latent feature interaction in service specifications. This method uses bounded model checking as its basis. The basic idea behind bounded model checking is to reduce the detection problem to the propositional satisfiability (SAT) decision problem. For asynchronous systems like telecommunication systems, however, traditional bounded model checking does not work well because resulting propositional formulas tend to become very large. We propose a new encoding scheme to overcome this problem and show the effectiveness through comparative experiments with traditional bounded model checking and other model checking methods. en
dc.language.iso en en
dc.publisher 電子情報通信学会 ja
dc.rights Copyright c 2003 IEICE en
dc.subject bounded model checking en
dc.subject SAT en
dc.subject feature interaction en
dc.title Feature interaction detection by bounded model checking en
dc.type.nii Journal Article en
dc.textversion publisher en
dc.identifier.jtitle IEICE TRANSACTIONS on Information and Systems en
dc.identifier.volume E86-D en
dc.identifier.issue 12 en
dc.identifier.spage 2579 en
dc.identifier.epage 2587 en
dc.relation.isIdenticalTo http://search.ieice.org/bin/summary.php?id=e86-d_12_2579&category=D&year=2003&lang=E en

Files in this item

This item appears in the following Collection(s)

Show simple item record

Search DSpace

Advanced Search


My Account