Wireless Local Area Networks (WLANs) are widely used and their number is constantly increasing. Therefore, the creation of models for their detailed study, and even more, so the automation of this process is an urgent task. As an example of the research object, we chose the Media Access Control (MAC) sublayer and the Carrier Multiple Access with Collision Avoidance (CSMA/CA) access scheme. A simplified version of the state transition diagram was suggested by us, and an analytical model based on a system of differential equations was developed. Automation of the process of creating such models is realized by a software solution developed to automate the construction of analytical models of any objects described by a state transition diagram. The program automatically constructs and solves a system of differential equations using the substitution method, as well as constructs state diagrams.
Read full abstract