Thesis
Modeling of transmission control protocol using robust object calculus
Washington State University
Master of Science (MS), Washington State University
2000
Handle:
https://hdl.handle.net/2376/51
Abstract
Distributed real-time systems are growing at an exponential rate. These systems vary from being very simple using 4-bit processors to highly complex cluster systems. The need for high amount of efficiency and power saving has seen the growth of a number of communication protocols. The inherent complexity, heterogeneity, concurrency, non-determinism, security issues and real-time requirements of these distributed real-time systems hinder their development. There is a need for modeling tools or languages using which, one can mathematically validate and verify the above mentioned features of the system against the requirements. Formal methods supply the underlying theoretical base for concurrency in objectoriented systems. Robust Object Calculus (ROC) is a formal concurrent language, which has been mechanized into Higher Order Logic (HOL). This would lend HOL semantics to ROC expressions, providing a rich provable logic to reason about distributed systems, as HOL permits the specification and verification of abstract systems with logical statements about events and states. By reasoning with simple simulations instead of complex systems, the verification scheme becomes much more practical. The objective of this thesis is to study the feasibility of modeling distributed realtime systems using ROC and make suggestions for over coming the deficiencies in ROC, if any, with regard to modeling these systems. As a specific example, popular protocol of the widely used TCP/IP stack, Transmission Control Protocol (TCP), is modeled using Robust Object Calculus.
Metrics
6 File views/ downloads
8 Record Views
Details
- Title
- Modeling of transmission control protocol using robust object calculus
- Creators
- Kishore D. Chakravadhanula
- Contributors
- John C. Shovic (Degree Supervisor)
- Awarding Institution
- Washington State University
- Academic Unit
- Electrical Engineering and Computer Science, School of
- Theses and Dissertations
- Master of Science (MS), Washington State University
- Publisher
- Washington State University; Pullman, Wash. :
- Identifiers
- 99900525382701842
- Language
- English
- Resource Type
- Thesis