Hierarchical Performance Evaluation Based on Formally Specified Communication Protocols
IEEE Transactions on Computers - Special issue on protocol engineering
Modelling and Analysis of Communication and Cooperation Protocols Using Petri Net Based Models
Proceedings of the IFIP WG6.1 Second International Workshop on Protocol Specification, Testing and Verification
Predicting protocol performance from a meta-implementation
Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification V
Including a Queue in a Formal-Description-Driven Protocol Performance Analysis
Proceedings of the IFIP WG6.1 Ninth International Symposium on Protocol Specification, Testing and Verification IX
TIC: A Timed Calculus for LOTOS
FORTE '89 Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols
Queueing network model for Estelle
FORTE '92 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, V
Performance Description and Analysis for Distributed Systems Using a Variant of LOTOS
Proceedings of the IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XI
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
Using UML models for the performance analysis of network systems
Computer Networks: The International Journal of Computer and Telecommunications Networking - Telecommunications and UML languages
Hi-index | 0.00 |
This paper proposes a new methodology for integrating peformance evaluation and formal specification. This methodology intends to reuse the formal specification effort to create a pelformance modeling. Our idea is to start abstracting the relevant features of the real system in the formal specification. Then, we enhance the specification with information for performance modeling (quality of service, workload, processing design and processing constraints}. At that point, we map the enhancedformal representation in a peformance modeling that maintains the formal properties. Next, we implement this modeling in a pelformance evaluation environment. Finally, we run simulations of the achieved executable varying evaluation conditions. Our methodology is applied to the Specification and Description Language (SDL). Ultimately, we explain the methodology through an example: the Transport Control Protocol (TCP).