The Hemodialysis Machine Case Study

  title={The Hemodialysis Machine Case Study},
  author={Atif Mashkoor},
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


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

Similar Papers

Loading similar papers…