Using SPIN for feature interaction analysis - a case study

Calder, M. and Miller, A. (2001) Using SPIN for feature interaction analysis - a case study. Lecture Notes in Computer Science, 2057, pp. 143-162.

Abstract

We show how SPIN is applied to analyse the behaviour of a real software artifact - feature interaction in telecommunications services. We demonstrate how minimal ion techniques can greatly reduce the cost of model-checking, and how analysis can be performed automatically using scripts. Keywords: telecommunications services; Promela/SPIN; communicating processes; distributed systems; formal modelling; analysis and reasoning techniques; feature interaction

• Item Type: Articles
• Status: Published
• Refereed: Yes
• Glasgow Author(s) Enlighten ID: Calder, Professor Muffy and Miller, Professor Alice
• Authors: Calder, M., and Miller, A.
• Subjects: Q Science > QA Mathematics > QA76 Computer software
• College/School: College of Science and Engineering > School of Computing Science
• Journal Name: Lecture Notes in Computer Science
• Publisher: Springer
• ISSN: 03029743
• Copyright Holders: Copyright © 2001 Springer
• First Published: First published in Lecture Notes in Computer Science 2057:143-162
• Publisher Policy: Reproduced in accordance with the copyright policy of the publisher