| Line 11: | Line 11: | ||
* [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] | ||
* [[Media:HDMachine-160122.zip|HD Machine Event-B Model]] | * [[Media:HDMachine-160122.zip|HD Machine Event-B Model]] | ||
* [[Media:Cosim-160122.zip|Co-Simulation Model of the Blood Flow Control]] | * [[Media:Cosim-160122.zip|Co-Simulation Model of the Blood Flow Control]] | ||
The zip file contains a readme file that explains what is included. | |||
* [[Media:HDMachine-BMS-160122.zip|BMotion Studio Visualisation]] | * [[Media:HDMachine-BMS-160122.zip|BMotion Studio Visualisation]] | ||
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). | |||
=== Live Visualisation === | === Live Visualisation === | ||
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.
The zip file 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).
If you have problems in running the visualisation, please contact Lukas Ladenberger (ladenberger@cs.uni-duesseldorf.de)