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

**Authors:** Atif Mashkoor, Miklos Biro  
**arXiv:** [1706.06369](https://arxiv.org/abs/1706.06369)  
**Date:** 2017-06-20  
**Summary page:** https://www.summarizepaper.com/en/arxiv-id/1706.06369v1/

## Key points

- Embedded software in modern medical devices is advancing rapidly
- Increased capabilities and complexity come with this paradigm shift
- Increased rate of medical device failures due to software faults is a challenge
- Atif Mashkoor and Miklos Biro present a rigorous approach for trustworthy development of hemodialysis machines
- Hemodialysis machines are a sub-class of active medical devices
- Informal requirements of hemodialysis machines can be modeled and analyzed through correct-by-construction process
- Approach can be generalized to other classes of active medical devices
- Paper provides valuable insights into ensuring safety and reliability of embedded software in medical devices
- Ultimately improves patient outcomes.

## Summary

The use of embedded software in modern medical devices is advancing rapidly, bringing with it increased capabilities and complexity. However, this paradigm shift also presents challenges such as an increased rate of medical device failures due to software faults. To address this challenge, Atif Mashkoor and Miklos Biro present a rigorous approach for the trustworthy development of hemodialysis machines - a sub-class of active medical devices - in their paper "Towards the Trustworthy Development of Active Medical Devices: A Hemodialysis Case Study". The authors demonstrate how informal requirements of hemodialysis machines can be modeled and analyzed through a correct-by-construction process. They suggest that their approach can be generalized to other classes of active medical devices. This paper provides valuable insights into how developers can ensure the safety and reliability of embedded software in medical devices, ultimately improving patient outcomes.