A generic approach for the automatic verification of featured, parameterised systems

Miller, A. and Calder, M. (2005) A generic approach for the automatic verification of featured, parameterised systems. In: International Workshop on Feature Interactions in Telecommunications and Software Systems, Leicester, UK, 28-30 June 2005, pp. 217-235. ISBN 158603524X

Abstract

A general technique is presented that allows property based feature analysis of systems consisting of an arbitrary number of components. Each component may have an arbitrary set of safe features. The components are defined in a guarded command form and the technique combines model checking and abstraction. Features must fulfill certain criteria in order to be safe, the criteria express constraints on the variables which occur in feature guards. The main result is a generalisation theorem which we apply to a well known example: the ubiquitous, featured telephone system.

• Item Type: Conference Proceedings
• Status: Published
• Refereed: Yes
• Glasgow Author(s) Enlighten ID: Calder, Professor Muffy and Miller, Professor Alice
• Authors: Miller, A., and Calder, M.
• Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
• College/School: College of Science and Engineering > School of Computing Science
• Publisher: IOS Press
• ISBN: 158603524X
• Copyright Holders: Copyright © 2005 IOS Press
• First Published: First published in proceedings of Eighth International Conference on Feature Interactions in Telecommunications and Software Systems
• Publisher Policy: Reproduced in accordance with the copyright policy of the publisher