An introduction to Estelle: a specification language for distributed systems
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
The CCITT-specification and description language SDL
Computer Networks and ISDN Systems
Fuzzy time and its applications
Fuzzy time and its applications
Computer Networks and ISDN Systems
Communicating Real-Time State Machines
IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
VESAR: a pragmatic approach to formal specification and verification
Computer Networks and ISDN Systems - Special issue on tools for FDTs
On specifying services and synthesizing protocols for real-time applications
PSTV '94 Proceedings of the fourteenth of a series of annual meetings on Protocol specification, testing and verification XIV
On Communicating Finite-State Machines
Journal of the ACM (JACM)
Deciding Properties of Timed Transition Models
IEEE Transactions on Parallel and Distributed Systems
On Time-Dependent Communication Protocols and Their Projections
Proceedings of the IFIP WG6.1 Second International Workshop on Protocol Specification, Testing and Verification
Automata For Modeling Real-Time Systems
ICALP '90 Proceedings of the 17th International Colloquium on Automata, Languages and Programming
Probabilistic Verification of Communication Protocols
Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification VII
Protocol Analysis Using a Timed Version of SDL
FORTE '90 Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, III
An integrated approach to verification and performance analysis of communication protocols
An integrated approach to verification and performance analysis of communication protocols
PPP (P3): an Estelle-based probabilistic partial protocol verification system
Computer Communications
Hi-index | 0.24 |
Communication protocols always have some embedded timed properties (e.g. timeout and transmission delay). To specify and analyse the timed properties, a new formal model is presented in this paper. The new protocol specification model is called the Fuzzy Timed Communicating State Machine (FTCSM) model. Since it is very hard to precisely specify time bounds as constants, the fuzzy time concept is applied to specify time bounds, i.e. each time bound is specified as a time interval. In the FTCSM model, each protocol entity and each communication channel is specified as an FTCSM, respectively. To analyse various properties of protocols specified in the FTCSM model, a fuzzy timed protocol verification method is proposed. To deal with the state space explosion problem, we adopt the probability-based partial timed verification approach. The corresponding probabilistic fuzzy timed verification scheme for the FTCSM model is also presented in detail. Using the FTCSM model and the associated probabilistic fuzzy timed protocol verification method, an Estelle-like Probabilistic Fuzzy Timed Protocol Verification System (EPFTPVS) has been developed on SUN SPARC workstations. In this way, a subset of Estelle-specified protocols with fuzzy time specifications can be automatically verified using EPFTPVS.