The Hemodialysis Machine Case Study

@inproceedings{Mashkoor2016TheHM,
  title={The Hemodialysis Machine Case Study},
  author={Atif Mashkoor},
  booktitle={ABZ},
  year={2016}
}
This documents presents a description of a case study concerning the control of a hemodialysis (HD) machine. It provides an overview of the requirements and the design of an HD machine including a sketch of the machine’s functionality, related safety conditions, and a top-level system architectural description. This case study is supposed to stimulate research and pedagogical activities related to the use of formal methods in a medical application domain with challenging requirements concerning… CONTINUE READING

Citations

Publications citing this paper.
Showing 1-10 of 11 extracted citations

Similar Papers

Loading similar papers…