Modeling and Verification of Time Dependent Systems Using Time Petri Nets
IEEE Transactions on Software Engineering
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
Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Emma: Developing an Industrial Reachability Analyser for SDL
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
A Compositional Petri Net Semantics for SDL
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Using Compositional Preorders in the Verification of Sliding Window Protocal
CAV '97 Proceedings of the 9th International Conference on Computer Aided Verification
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
Modeling and verification of the SDL-specified communication protocols using high-level Petri nets
Programming and Computing Software
Using coloured petri nets to model and verify telecommunications systems
CSR'08 Proceedings of the 3rd international conference on Computer science: theory and applications
Hi-index | 0.00 |
In order to simplify simulation and verification of SDL specified communication protocols, we introduce modified coloured Petri nets called hierarchical timed typed nets (HTT-nets). A method for translation from SDL into HTT-nets is presented. A tool SPV (SDL protocol verifier) including a translator from SDL into HTT-nets, as well as means for editing, simulating, visualizing and verifying the net models, is described. For verification, the tool SPV uses a model-checking method. As case studies, we apply the tool SPV to RE-protocol [4], ATMR protocol [10] and i-protocol [5].