Domestic Intranet Cloud Design for Connecting District Health Information Systems for Capacity Development of Healthcare in Developing Countries

The capacity development for healthcare (CDH) requires strengthening and diversification of national health information systems (HIS). It will facilitate achieving the United Nation’s (UN) sustainable development goal-3 (SDG-3). This paper presents the design for a distributed communication services programming interface (DCSPI) that is intended for use at district level for forming an intranet of HIS with the feature for patient scheduling and management in addition to other features including collaboration between health professionals. In the first phase of this research, the DCSPI individual components are designed as a real-time system using Finite State Machines (FSMs) and formal testing for distributed reactive system is performed. The refinements are done in the design as per testing results. In next phase, after formal testing the DCSPI will be programmed and deployed for testing at district level in Pakistan for CDH. The outcome of this research will be useful primarily for developing countries for capacity development and enhancement in healthcare. Also, it will contribute to achieving targets of UN’s SDG-3 globally.