Using formal methods to improve home-use medical device safety

Ayan Banerjee1, Yi Zhang, Paul Jones

  • 1Arizona State University, AZ, USA. abanerj3@asu.edu

Summary

No abstract available in PubMed .

Related Concept Videos

Documentation in Long-Term and Home Healthcare Setting01:29

Documentation in Long-Term and Home Healthcare Setting

Documentation in long-term care facilities and home healthcare settings is crucial for ensuring continuous, coordinated, and comprehensive care for patients. Each setting has its specific documentation processes and tools:
Long-Term Care Facilities
Clinically Relevant Drug Product Specifications: Methods of Establishment01:29

Clinically Relevant Drug Product Specifications: Methods of Establishment

Product specifications define the acceptable quality of a pharmaceutical product by ensuring identity, purity, potency, and strength. These specifications serve as benchmarks during development, manufacturing, and post-approval quality control. Clinically relevant specifications are particularly important because they directly relate to a drug's safety and efficacy in clinical use.Dissolution studies are critical biopharmaceutic tools that link in vitro behavior to in vivo performance. They...
Methods of Sterilization II: Chemical Methods01:30

Methods of Sterilization II: Chemical Methods

In healthcare, the chemical method of sterilization uses chemical sterilants to treat surgical instruments and medical supplies to help prevent the transmission of infectious pathogens to patients. Due to heat sensitivity, most medical supplies and equipment should not be exposed to high temperatures. These parts include rubber, plastic, glass, and other similar elements.
Using chemical sterilization rather than heat to clean out equipment is recommended. It eradicates and removes all bacteria,...
Drug Regulation01:25

Drug Regulation

Drug regulation encompasses the management of drug usage by evaluating its safety and efficacy through assessments conducted by regulatory authorities. Regrettably, the history of drug regulation is marred by several catastrophic events. One such incident is the Elixir Sulfanilamide tragedy, in which the toxic compound diethyl glycol was included in a sweet-tasting medication, leading to numerous fatalities. This event prompted the enactment of the Food, Drug, and Cosmetic Act in 1938. Under...
Healthcare Associated Infections II: Preventive Measures01:22

Healthcare Associated Infections II: Preventive Measures

Essential infection prevention measures are based on the knowledge of the infection chain, the modes of transmission in healthcare settings, and the use of the best practices in all healthcare settings. Compulsory public reporting of healthcare-associated infection rates is needed to allow individuals and the community to make informed choices regarding selecting a healthcare facility.
The best practices for preventing healthcare-associated infections include hand hygiene, patient risk...
Methods for Controlling Microbial Growth01:29

Methods for Controlling Microbial Growth

Microbial growth control refers to various methods employed to inhibit, reduce, or eliminate microorganisms to ensure safety and hygiene across different settings. These methods are categorized based on the target environment and the level of microbial control required.Biocides are versatile agents designed to control microorganisms by either inhibiting their growth or outright killing them. These agents work through various physical, chemical, mechanical, or biological mechanisms. The...