ATMR: asynchronous transfer mode ring protocol
Computer Networks and ISDN Systems - Special issue: media-access techniques for high-speed LANs and MANs
Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3
Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3
The Feature and Service Interaction Problem in Telecommunications Systems: A Survey
IEEE Transactions on Software Engineering
Combining Finite Automata, Parallel Programs and SDL Using Petri Nets
TACAS '98 Proceedings of the 4th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Verification of Distributed Systems Modelled by High-Level Petri Nets
PARELEC '02 Proceedings of the International Conference on Parallel Computing in Electrical Engineering
SPIN vs. VIS: A Case Study on the Formal Verification of the ATMR Protocol
ICFEM '00 Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods
CPN tools for editing, simulating, and analysing coloured Petri nets
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Automatic formal model generation and analysis of SDL
SDL'03 Proceedings of the 11th international conference on System design
CSR'07 Proceedings of the Second international conference on Computer Science: theory and applications
A formal approach to service interaction detection in mobile networks
SEPADS'11 Proceedings of the 10th WSEAS international conference on Software engineering, parallel and distributed systems
A two-level approach for modeling and verification of telecommunication systems
PSI'09 Proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics
Hi-index | 0.01 |
A method for translation from SDL into Coloured Petri Nets (CPN) is presented. A tool STSV (SDL Telecommunications Systems Verifier) including a translator from SDL into CPN, a verifier of the net models and using CPN Tools [16] for simulation of CPN is described. For verification, the tool STSV uses a model-checking method. As case studies, we apply the tool STSV to RE-protocol [3], ATMR-protocol [8] and to detection of features interaction in telephone networks.