KReSIT Logo Kanwal Rekhi School of Information Technology
IITB Logo
IIT Bombay
 
 Research
 Groups
 Publications
 Projects
 Student Projects
 Ongoing Projects
 Past Projects
 Projects Archives
 ASL BE/MCA Projects
 Sponsored Projects
 Seminars
 Labs
 Techtalks
 

Home > Research > Projects > Students > Ongoing 

Students' Projects



Notice: Undefined offset: 1 in /home/activities/webteam/web/research/projects/students/ongoing/abstract.php on line 37

Notice: Undefined offset: 1 in /home/activities/webteam/web/research/projects/students/ongoing/abstract.php on line 37

Notice: Undefined offset: 1 in /home/activities/webteam/web/research/projects/students/ongoing/abstract.php on line 37

Notice: Undefined offset: 1 in /home/activities/webteam/web/research/projects/students/ongoing/abstract.php on line 37

Notice: Undefined offset: 1 in /home/activities/webteam/web/research/projects/students/ongoing/abstract.php on line 37

Notice: Undefined offset: 1 in /home/activities/webteam/web/research/projects/students/ongoing/abstract.php on line 37

Notice: Undefined offset: 1 in /home/activities/webteam/web/research/projects/students/ongoing/abstract.php on line 37

Notice: Undefined offset: 1 in /home/activities/webteam/web/research/projects/students/ongoing/abstract.php on line 37

Notice: Undefined offset: 1 in /home/activities/webteam/web/research/projects/students/ongoing/abstract.php on line 37

Notice: Undefined offset: 1 in /home/activities/webteam/web/research/projects/students/ongoing/abstract.php on line 37

Notice: Undefined offset: 1 in /home/activities/webteam/web/research/projects/students/ongoing/abstract.php on line 37

Notice: Undefined offset: 1 in /home/activities/webteam/web/research/projects/students/ongoing/abstract.php on line 37

Notice: Undefined offset: 1 in /home/activities/webteam/web/research/projects/students/ongoing/abstract.php on line 37

Notice: Undefined offset: 1 in /home/activities/webteam/web/research/projects/students/ongoing/abstract.php on line 37

Notice: Undefined offset: 1 in /home/activities/webteam/web/research/projects/students/ongoing/abstract.php on line 37

Notice: Undefined offset: 1 in /home/activities/webteam/web/research/projects/students/ongoing/abstract.php on line 37

Notice: Undefined offset: 1 in /home/activities/webteam/web/research/projects/students/ongoing/abstract.php on line 37

Notice: Undefined offset: 1 in /home/activities/webteam/web/research/projects/students/ongoing/abstract.php on line 37

Notice: Undefined offset: 1 in /home/activities/webteam/web/research/projects/students/ongoing/abstract.php on line 37

Notice: Undefined offset: 1 in /home/activities/webteam/web/research/projects/students/ongoing/abstract.php on line 37

Notice: Undefined offset: 1 in /home/activities/webteam/web/research/projects/students/ongoing/abstract.php on line 37

Notice: Undefined offset: 1 in /home/activities/webteam/web/research/projects/students/ongoing/abstract.php on line 37

Notice: Undefined offset: 1 in /home/activities/webteam/web/research/projects/students/ongoing/abstract.php on line 37

Notice: Undefined offset: 1 in /home/activities/webteam/web/research/projects/students/ongoing/abstract.php on line 37

Notice: Undefined offset: 1 in /home/activities/webteam/web/research/projects/students/ongoing/abstract.php on line 37

Notice: Undefined offset: 1 in /home/activities/webteam/web/research/projects/students/ongoing/abstract.php on line 37

Notice: Undefined offset: 1 in /home/activities/webteam/web/research/projects/students/ongoing/abstract.php on line 37

Notice: Undefined offset: 1 in /home/activities/webteam/web/research/projects/students/ongoing/abstract.php on line 37

Notice: Undefined offset: 1 in /home/activities/webteam/web/research/projects/students/ongoing/abstract.php on line 37

Notice: Undefined offset: 1 in /home/activities/webteam/web/research/projects/students/ongoing/abstract.php on line 37

Notice: Undefined offset: 1 in /home/activities/webteam/web/research/projects/students/ongoing/abstract.php on line 37

Notice: Undefined offset: 1 in /home/activities/webteam/web/research/projects/students/ongoing/abstract.php on line 37

Notice: Undefined offset: 1 in /home/activities/webteam/web/research/projects/students/ongoing/abstract.php on line 37

Notice: Undefined offset: 1 in /home/activities/webteam/web/research/projects/students/ongoing/abstract.php on line 37

Notice: Undefined offset: 1 in /home/activities/webteam/web/research/projects/students/ongoing/abstract.php on line 37

Notice: Undefined offset: 1 in /home/activities/webteam/web/research/projects/students/ongoing/abstract.php on line 37

Notice: Undefined offset: 1 in /home/activities/webteam/web/research/projects/students/ongoing/abstract.php on line 37

Notice: Undefined offset: 1 in /home/activities/webteam/web/research/projects/students/ongoing/abstract.php on line 37

Notice: Undefined offset: 1 in /home/activities/webteam/web/research/projects/students/ongoing/abstract.php on line 37

Notice: Undefined offset: 1 in /home/activities/webteam/web/research/projects/students/ongoing/abstract.php on line 37

Notice: Undefined offset: 1 in /home/activities/webteam/web/research/projects/students/ongoing/abstract.php on line 37

Notice: Undefined offset: 1 in /home/activities/webteam/web/research/projects/students/ongoing/abstract.php on line 37

Notice: Undefined offset: 1 in /home/activities/webteam/web/research/projects/students/ongoing/abstract.php on line 37

Notice: Undefined offset: 1 in /home/activities/webteam/web/research/projects/students/ongoing/abstract.php on line 37

Notice: Undefined offset: 1 in /home/activities/webteam/web/research/projects/students/ongoing/abstract.php on line 37

Formal Specification and Verification of WiFiRe

Sudheer Keshav

Abstract


WiFiRe stand for WiFi-Rural Extension. There has been a lot of growth in Internet as well as cellular telephony, but it is mostly restricted to only cities in developing countries like India. A number of alternative solutions have been proposed which in theory are suitable for rural areas, but because of their high cost WiFiRe is the best option. WiFiRe is a mixture of the advantages of both 802.11 and 802.16. The cost affordability of 802.11 and QoS capabilities of 802.16 are merged to obtain WiFiRe. The WiFiRe MAC is time-division duplex (TDD) over a single 802.11b channel along with a multi-sector TDM mechanism. Formal methods may be used to give a description of the system to be developed, at whatever level(s) of detail desired. This formal description can be used to guide further development activities, additionally, it can be used to verify that the requirements for the system being developed have been completely and accurately specified. Formal methods are mathematically-based techniques for the specification, development and verification of software and hardware systems. Formal methods and testing are a perfect couple, testing and formal verification are both necessary. A formally verified specification is a good starting point for testing. So a formalspecification and verification of WiFiRe is required.








Printer friendly    Comment
  Copyright © 2004 KReSIT, IIT Bombay. All rights reserved sitemap    
  Kanwal Rekhi School of Information Technology, Indian Institute of Technology Bombay, Powai, Mumbai - 400 076.
+91-22-2576 7901/02. Fax: +91-22-2572 0022
Designed by Kamlesh