Using SPIN for feature interaction analysis - A case study

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2057 LNCS, Issue , 2001, Pages 143-162

  Calder, Muffy ^a   Miller, Alice ^a  

^a UNIVERSITY OF GLASGOW   (United Kingdom)

Author keywords

Analysis and reasoning techniques; Communicating processes; Distributed systems; Feature interaction; Formal modelling; Promela SPIN; Telecommunications services

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES;

COMMUNICATING PROCESS; DISTRIBUTED SYSTEMS; FEATURE INTERACTIONS; FORMAL MODELLING; PROMELA/SPIN; REASONING TECHNIQUES; TELECOMMUNICATIONS SERVICES;

MODEL CHECKING;

EID: 84894619954     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45139-0_9     Document Type: Conference Paper

References (23)

1. L. G. Bouma and H. Velthuijsen, editors. Feature Interactions in Telecommunications Systems. IOS Press (Amsterdam), May 1994.
2. M. Calder and E. Magill, editors. Feature Interactions in Telecommunications and Software Systems, volume VI. IOS Press, Amsterdam, 2000.
3. M. Calder, E. Magill, and D. Marples. A hybrid approach to software interworking problems: Managing interactions between legacy and evolving telecommunications software. IEE Proceedings - Software, 146(3):167-180, June 1999.
4. Muffy Calder and Alice Miller. Analysing a basic call protocol using Promela/XSpin. In [15], pages 169-181, 1998.
5. E. J. Cameron, N. Griffeth, Y.-J. Lin, M. E. Nilson, and W. K. Schnure. A feature interaction benchmark for IN and beyond. In [1], pages 1-23, May 1994.
6. E.M. Clarke, O. Gumberg, and D Long. Model checking and abstraction. ACM Transactions on Programming Languages and Systems, 16(5):1512-1542, September 1994.
7. Costas Courcoubetis, editor. Proceedings of the Fifth International Conference on Computer Aided Verification (CAV '93), volume 697 of Lecture Notes in Computer Science, Elounda,Greece, June/July 1993. Springer-Verlag.
8. P. Dini, R. Boutaba, and L. Logrippo, editors. Feature Interactions in Telecommunication Networks IV. IOS Press (Amsterdam), June 1997.
9. K. Etessami. Stutter-invariant languages, ω-automata, and temporal logic. In [12], pages 236-248, 1999.
10. A. Felty and K. Namjoshi. Feature specification and automatic conflict detection. In [2], pages 179-192, May 2000.
11. Susanne Graf and Claire Loiseaux. A tool for symbolic program verificaion and abstration. In [7], pages = 71-84, year = 1993,.
12. Nicolas Halbwachs and Doron Peled, editors. Proceedings of the eleventh International Conference on Computer-aided Verification (CAV '99), volume 1633 of Lecture Notes in Computer Science, Trento, Italy, July 1999. Springer-Verlag.
13. Constance L. Heitmeyer, James Jr. Kirby, Bruce Labaw, Myla Archer, and Ramesh Bharadwaj. Using abstraction and model checking to detect safety violations in requirements specifications. IEEE Transactions on Software Engineering, 24(11), November 1998.
14. D. Hogrefe and S. Leue, editors. Proceedings of the Seventh International Conference on Formal Description Techniques (FORTE '94), volume 6 of International Federation For Information Processing, Berne, Switzerland, October 1994. Kluwer Academic Publishers.
15. Gerard Holzmann, Elie Najm, and Ahmed Serhrouchni, editors. Proceedings of the 4th Workshop on Automata Theoretic Verification with the Spin Model Checker (SPIN '98), Paris, France, November 1998.
16. Gerard J. Holzmann. The model checker Spin. IEEE Transactions on Software Engineering, 23(5):279-295, May 1997.
17. Gerard J. Holzmann and Doron Peled. An improvement in formal verification. In [14], pages 197-211, 1994.
18. G.J Holzmann and Margaret H. Smith. A practical method for the verification of event-driven software. In Proceedings of the 1999 international conference on Software engineering (ICSE99) pages 597-607, Los Angeles, CA, USA, May 1999. ACM Press.
19. IN Distributed Functional Plane Architecture, recommmendation q.1204, ITU-T edition, March 1992.
20. K. Kimbler and L.G. Bouma, editors. Feature Interactions in Telecommunications and Software Systems V. IOS Press (Amsterdam), September 1998.
21. M. Kolberg, E. H. Magill, D. Marples, and S. Rei. Results of the second feature interaction contest. In [2], pages 311-325, May 2000.
22. M. Plath and M. Ryan. Plug-and-play features. In [20], pages 150-164, 1998.
23. M. Thomas. Modelling and analysing user views of telecommunications services. In [8], pages 168-182, 1997.