Possible Projects

[1] Telemedicine implementation: case study at BRAC Health sector

Telemedicine, the use of information technology to deliver health care from one location to another, has the potential to increase the quality and access to health care and to lower costs. This growth of telemedicine installations is a necessity particularly in under-developed countries where most of the people don’t get health-care due to poverty. In this thesis, we will focus on the necessity of implementing telemedicine application in Bangladesh where a majority of rural people are deprived of adequate health-facilities. In this context we will take real-life scenario from BRAC Thana-level complexes. In addition, different technological aspects regarding telemedicine will be highlighted. Among them, we will propose Internet-based telemedicine (IBT) as the optimal and cost-effective solution in this regard. We will also illustrate a case study of major diseases(for example, cancer disease) in Bangladesh-scenario highlighting rule-based implementation and decision tree-based approach ( APPLIED ARTIFICIAL INTELLIGENCE).

Target: 1) Developing internet-based Telemedicine application suitable to use in BRAC remote-end offices and connect them to main BRAC branches.

2) Developing ‘telemedicine intelligent prototype (TIP)’ using AI concepts and Decision Support System (DSS). It may be suitable to use by BRAC health-workers to remote poor areas of Bangladesh.

[2] MOBILE INTERFACE DEVICE PROFILE (MIDP) in developing M-Commerce Application: Case study of M-Banking (for example, Mobile-BRAC Bank)

First introduced to the Java community by SUN Micro-system in 1999, J2ME was part of a broad initiative to better meet the diverse needs of Java developers especially for M-commerce application. Banking sector can be made more user-accessible by constructing M-commerce application so that user can transact to and from bank-database using ‘Mobile’. J2ME (Micro edition) meets that demand.

As a case study we will select part of BRAC bank’s huge activities (for example, loan scheme/ user database/simple deposit scheme, etc) to simulate in wireless environment. All the CDC or CLDC based appliances (mobile phones, PDAs etc) will be able to connect to bank using our program.

Target: Develop MIDP application with RMS database and simulate under Wireless Toolkit of J2ME or code-ware.

[3] Modeling and Verification of Web-services Protocol (complete suite)

Since novel and complex multi-party edge services are deployed on the Internet, different upper-layer protocols with complex as well as reactive communication models and event dependencies are increasingly being specified and adopted. To ensure that such protocols (and compositions thereof with existing protocols) do not result in unacceptable behaviors (e.g., deadlocks or livelocks), a methodology is desirable for the automated checking of the “correctness” of these protocols. In this thesis, we present ingredients of such a methodology. Specifically, we show how SPIN, a tool used for the formal systems verification purposes, can be used to verify as well as quickly identify problematic behaviors (if any) in core component of emergent web-service architecture with non-trivial communication constructs—such as Simple Object Access Protocol (SOAP). It will evidently provide an insight into the scope and utility of formal methods based on state space exploration in testing larger and complex systems, for example the complete Web-service suit.

Target: Model and verify a non-trivial protocol using SPIN model checker.