Title | ||
---|---|---|
Detecting Feature Interactions in the Terrestrial Trunked Radio (TETRA) Network Using Promela and Xspin |
Abstract | ||
---|---|---|
The problem caused by feature interactions serve to delay and increase the costs of introducing features to existing networks. We introduce a three stage technique that detects interactions in the TETRA network. Promela is used to model the network and features and its requirements are specified using linear temporal logic. The Xspin toolkit is used to verify and validate the model against its requirements. |
Year | DOI | Venue |
---|---|---|
1999 | 10.1007/3-540-48234-2_10 | SPIN |
Keywords | Field | DocType |
feature interaction,detecting feature interactions,detects interaction,linear temporal logic,terrestrial trunked radio,stage technique,tetra network,xspin toolkit | Terrestrial Trunked Radio,Tetra,Telecommunications network,Computer science,Linear temporal logic,Promela,Temporal logic,Distributed computing | Conference |
Volume | ISSN | ISBN |
1680 | 0302-9743 | 3-540-66499-8 |
Citations | PageRank | References |
0 | 0.34 | 4 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Carl B. Adekunle | 1 | 0 | 0.34 |
Steve Schneider | 2 | 323 | 26.65 |