Browsing by Author "Rathore, R."

Filter results by typing the first few letters
Now showing 1 - 2 of 2
  • No Thumbnail Available
    Item
    Emergence, Evolution, and Applications of Medical Cyber-Physical Systems
    (Springer Science and Business Media Deutschland GmbH, 2024) Rathore, R.; Bhowmik, B.
    The speedy advancement of technology has given rise to a new era of engineered systems called cyber-physical systems (CPS), which are redefining lifestyles worldwide through computer, networking, and control technologies. From health care to transportation, CPS has transformed several industries. By bringing about significant improvements in patient care, diagnosis, and treatment, Medical Cyber-Physical Systems (MCPS) transform the healthcare industry. Exploration of the area is, therefore, imperative. The paper discusses the trajectory of MPCS. It covers the development, necessity, and significance of MCPS. Next, we examine the various uses of MCPS in contemporary life. We then look at many issues and current developments in the medical organization. It makes it easier for patients, medical professionals, and equipment to share information effectively, which allows for prompt decision-making and preventative measures. © The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2024.
  • No Thumbnail Available
    Item
    Verification of COVIFIND Test Kit for COVID-19
    (Institute of Electrical and Electronics Engineers Inc., 2024) Kumar, S.; Rathore, R.; Bhowmik, B.
    The ongoing global challenges of infectious diseases, particularly COVID-19, highlight the critical need for accurate and timely diagnostic tools. Rapid antigen test kits have become essential for swiftly detecting COVID-19 infections, enabling healthcare professionals to make prompt decisions based on quick results. Due to their complexity and the potential impact on public health, these kits require thorough validation. This paper presents a novel formal verification approach using predicate logic and state transition tables to validate the performance of COVIFIND COVID-19 antigen self-test kit. The proposed methodology encompasses sensitivity, specificity, and operational parameters, incorporating logical formulae and state transition rules to describe and verify test states and transitions. The frame-work has been applied to various test components, including sample pads, conjugate pads, and control lines, demonstrating its effectiveness in maintaining adherence to specified requirements and performance standards. The results affirm the robustness of the COVIFIND test kit in providing reliable results across diverse conditions. This work enhances the quality assurance processes for rapid diagnostic tests, lays the groundwork for further development, and is crucial for maintaining high standards in public health diagnostics. © 2024 IEEE.