Towards the Trustworthy Development of Active Medical Devices: A Hemodialysis Case Study


The use of embedded software is advancing in fashionable medical devices, thus does its capabilities and complexity. This paradigm shift brings several challenges such as an increased rate of medical device failures because of software faults. During this letter, we have a tendency to gift a rigorous “correct by construction” approach for the trustworthy development of hemodialysis machines, a subclass of active medical devices. We have a tendency to show how informal requirements of hemodialysis machines are modeled and analyzed through a rigorous method and recommend a generalization to a bigger class of active medical devices.

Did you like this research project?

To get this research project Guidelines, Training and Code... Click Here

PROJECT TITLE : A semi-automatic and trustworthy scheme for continuous cloud service certification - 2017 ABSTRACT: Ancient assurance solutions for software-based systems depend upon static verification techniques and assume
PROJECT TITLE :Refactoring Tools are Trustworthy Enough and Trust Must be EarnedABSTRACT:In his Point essay, "Refactoring Tools Are Trustworthy Enough," John Brant argues that refactoring tools that facilitate developers work
PROJECT TITLE : Video Dissemination over Hybrid Cellular and Ad Hoc Networks - 2014 ABSTRACT: We study the problem of disseminating videos to mobile users by using a hybrid cellular and ad hoc network. In particular, we formulate
PROJECT TITLE : Secure and Efficient Data Transmission for Cluster-Based Wireless Sensor Networks - 2014 ABSTRACT: Secure data transmission is a critical issue for wireless sensor networks (WSNs). Clustering is an effective
PROJECT TITLE : Network Resource Allocation for Users With Multiple Connections Fairness and Stability - 2014 ABSTRACT: This paper studies network resource allocation between users that manage multiple connections, possibly

Ready to Complete Your Academic MTech Project Work In Affordable Price ?

Project Enquiry