ABZ16: Difference between revisions

 
(14 intermediate revisions by 3 users not shown)
Line 8: Line 8:


=== Resources ===
=== Resources ===
* [http://www.cdcc.faw.jku.at/ABZ2016/HD-CaseStudy.pdf ABZ 2016 Case Study Paper]
* [http://www.cdcc.faw.jku.at/ABZ2016/HD-CaseStudy.pdf ABZ 2016 Case Study Paper]
* HD Machine EventB Model
* [[Media:HDMachineVisualisation.zip|BMotion Studio Visualisation]]


=== Live Visualisation ===
The original specification of the HD machine as PDF.
 
* [[Media:HDMachine-160122.zip|HD Machine Event-B Model]]
 
The zip file contains the HD machine Event-B model. You can import the zip file directly into the Rodin platform as an Event-B project.
 
* [[Media:Cosim-160122.zip|Co-Simulation Model of the Blood Flow Control]] 
 
The zip file of the co-simulation model contains a readme file that explains what is included.


* [http://wyvern.cs.uni-duesseldorf.de/bms/hdmachine.html BMotion Studio Visualisation of the HD Machine]
* [[Media:HDMachine-BMS-160122.zip|BMotion Studio Visualisation]]


If you have problems in running the visualisation, please contact Lukas Ladenberger (ladenberger@cs.uni-duesseldorf.de)
The zip file contains the domain specific visualisation of the HD machine developed with BMotion Studio. You need to [[BMotion Studio Download|download]] the latest version of BMotion Studio (v.0.2.7). Some instruction for getting started with BMotion Studio can be find [http://www3.hhu.de/stups/handbook/bmotion/current/html/first_steps.html here].


=== Links ===
=== Links ===


* [http://www.stups.hhu.de/ProB/index.php5/BMotion_Studio BMotion Studio for ProB Homepage]
* [[BMotion Studio|BMotion Studio for ProB Homepage]]
* [https://www3.hhu.de/stups/handbook/bmotion/current/html BMotion Studio for ProB User Handbook]
* [https://www3.hhu.de/stups/handbook/bmotion/current/html BMotion Studio for ProB User Handbook]
* [http://wiki.event-b.org/index.php/IUML-B iUML-B Homepage]
* [http://wiki.event-b.org/index.php/IUML-B iUML-B Homepage]
* [https://www3.hhu.de/stups/handbook/rodin/ Rodin Handbook]

Latest revision as of 13:09, 7 May 2021


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

The original specification of the HD machine as PDF.

The zip file contains the HD machine Event-B model. You can import the zip file directly into the Rodin platform as an Event-B project.

The zip file of the co-simulation model contains a readme file that explains what is included.

The zip file contains the domain specific visualisation of the HD machine developed with BMotion Studio. You need to download the latest version of BMotion Studio (v.0.2.7). Some instruction for getting started with BMotion Studio can be find here.

Links