ABZ 2016 Case Study

The Hemodialysis Machine Case Study

This page provides additional information and resources for the paper we have submitted for the ABZ 2016 case study track.

The full description of the case study can be found here.

Resources

• ABZ 2016 Case Study Paper
• HD Machine EventB Model
• BMotion Studio Visualisation

Live Visualisation

• BMotion Studio Visualisation of the HD Machine

If you have problems in running the visualisation, please contact Lukas Ladenberger (ladenberger@cs.uni-duesseldorf.de)

Links

• BMotion Studio for ProB Homepage
• BMotion Studio for ProB User Handbook
• iUML-B Homepage