Features - additional services - occur whenever organisations compete by differentiating their products from those of rival organisations. Adding one feature may break another, or interfere with it in an undesired way. This phenomenon is called feature interaction. This book explores ways in which the feature interaction problem may be mitigated.

."..Tenth International Conference of Feature Interactions in Software and Communications Systems (ICFI 2009), held in Lisbon, Portugal, 11-12 June 2009"--Pref.

Deals with the feature interaction problem in telecommunication systems.

Typically, telecommunications services are implemented in software. Feature interaction is the term used to describe interference between services or features; most attention is given to cases where the interference is undesirable, ie. there is an incompatibility. In telecommunications, control and data is distributed and on such a large scale that software development is by numerous disjoint teams; by its nature, therefore, this software experienced the feature interaction problem first. But, while the workshop focuses on communications services, the subject has relevance to any domain where separate software entities control a shared resource.

Take Part in the Future of Wireless/Wireline Convergence The IP multimedia subsystem (IMS), established as the foundation for future wireless and wireline convergence, is the bedrock that will facilitate easy deployment on new, rich, personalized multimedia communication services that mix telecom and data services. Designers, planners, and researchers of communication systems will need to make full use of the technology occurring with this convergence if they want to be the ones providing end users with new and efficient services that are as cost-effective as they are innovative. To provide researchers and technicians with the tools they need to optimize their role in this communication revolution, the IP Multimedia Subsystem (IMS) Handbook presents all the technical aspects of the IMS needed to support the growth of digital traffic and the implementation of underlying networks. This guide covers everything from basic concepts to research-grade material, including the future direction of the architecture. Organized in three sections, the book brings together the technical savvy of 50 pioneering experts from around the world, providing complete coverage of relevant concepts, technologies, and services. Learn How IMS Will Speed Innovation Filling the gap between existing traditional telecommunications and Internet technologies, IMS has led to an environment in which new services and concepts are introduced more quickly than ever before, such as reusable service components and real-time integration. The technology promises to be a cost-effective evolutionary path to future wireless and wireline convergences that will meet next-generation service requirements.

This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and the 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, held in Turin, Italy, in September 2017. The 14 full papers presented together with one invited talk were carefully reviewed and selected from 30 submissions. They are organized in the following sections: Automated verification techniques; Testing and scheduling; Formal Methods for mobile and autonomous robots; and Modeling and analysis techniques.