The OSI reference model specifies network protocol standards in seven layers.
Established in 1983 by the International Organization for Standardization, the OSI model divides network protocols (standardized procedures for exchanging information) into seven functional "layers". This communications architecture enables end users employing different operating systems or working in different networks to communicate quickly and correctly.
Model-checking large network protocol implementations (postscript) (PDF), Dawson Engler and Madanlal Musuvathi.
In this paper, we propose a new reasoning and learning model for CWSNs, in which firstly, a team of learning automata is employed to construct a Bayesian Network (BN) model of the parameters of the network protocol stack, and then the constructed BN is used to tune the controllable parameters.
Propagation speed is speed of sound = 1500 m/s Network Protocol RMTG Mobility Model Random-Waypoint.
The wireless communication layer currently includes models for physical propagation, and a network protocol stack including IEEE 802.11 Medium Access Control, up to the Application layer.
Her major research interest lies in wireless network research including, energy-aware routing in mobile adhoc network, network protocol development, mobility modelling and management.
The generic device model is the model of a generic device, that is, a model that fulfills the protocol specification (e.g., the Controller Area Network protocol (CAN)).
It is based on the OSI model network layers, and several technologies were implemented on it, such as queuing policies, routing protocols, transport agents (TCP - Transmission Control Protocol and UDP - User Datagram Protocol), wireless network protocols, and traffic-generating applications.
Working with my colleagues Anirudh Sivaraman and Pratiksha Thaker, we used the Remy automatic protocol-design program as a tool to investigate the "learnability" of the Internet congestion-control problem: how easy is it to "learn" a network protocol to achieve desired goals, given a necessarily imperfect model of the networks where it will ultimately be deployed?
