Automata-Theoretic Criteria for Feature Interactions in Telecommunications Systems

  • The feature interaction problem in telecommunications systems increasingly ob-structs the evolution of such systems. We develop formal detection criteria whichrender a necessary (but less than sufficient) condition for feature interactions. It can be checked mechanically and points out all potentially critical spots. Thesehave to be analysed manually. The resulting resolution decisions are incorporatedformally. Some prototype tool support is already available. A prerequisite forformal criteria is a formal definition of the problem. Since the notions of featureand feature interaction are often used in a rather fuzzy way, we attempt a formaldefinition first and discuss which aspects can be included in a formalization (andtherefore in a detection method). This paper describes ongoing work.

Download full text files

Export metadata

Additional Services

Search Google Scholar
Metadaten
Author:Jan Bredereke
URN:urn:nbn:de:hbz:386-kluedo-464
Series (Serial Number):Interner Bericht des Fachbereich Informatik (273)
Document Type:Preprint
Language of publication:English
Year of Completion:1995
Year of first Publication:1995
Publishing Institution:Technische Universität Kaiserslautern
Date of the Publication (Server):2000/04/03
Faculties / Organisational entities:Kaiserslautern - Fachbereich Informatik
DDC-Cassification:0 Allgemeines, Informatik, Informationswissenschaft / 004 Informatik
Licence (German):Standard gemäß KLUEDO-Leitlinien vor dem 27.05.2011