No edit summary |
No edit summary |
||
Line 3: | Line 3: | ||
This page provides additional resources for the paper we have submitted for the [http://icfem2015.lri.fr/ ICFEM 2015]. | This page provides additional resources for the paper we have submitted for the [http://icfem2015.lri.fr/ ICFEM 2015]. | ||
=== ProB Live | === Resources and ProB Live Visualizations === | ||
We have prepared two interactive live visualizations. One of the Event-B model of the landing gear system (the full description of the case study can be found [[Media:landing_system.pdf|here]]) and one of the Event-B model of a simple lift system. | We have prepared two interactive live visualizations. One of the Event-B model of the landing gear system (the full description of the case study can be found [[Media:landing_system.pdf|here]]) and one of the Event-B model of a simple lift system. | ||
Line 12: | Line 12: | ||
# [http://cobra.cs.uni-duesseldorf.de:18081/lift.html Visualization of the simple lift] | # [http://cobra.cs.uni-duesseldorf.de:18081/lift.html Visualization of the simple lift] | ||
The Event-B model of the simple lift system be can be downloaded here: [[File:SimpleLift.zip]]. | |||
==== Creating a Projection | ==== Creating a Domain Specific Projection ==== | ||
* Open the ModelCheckingUI using the "Open View" menu at the bottom right corner. | * Open the ModelCheckingUI using the "Open View" menu at the bottom right corner. |
This page provides additional resources for the paper we have submitted for the ICFEM 2015.
We have prepared two interactive live visualizations. One of the Event-B model of the landing gear system (the full description of the case study can be found here) and one of the Event-B model of a simple lift system.
The visualizations can either be controlled by interacting with the displayed elements (i.e., clicking the handle) or using the Events view which can be opened using the "Open View" menu at the bottom right corner.
The Event-B model of the simple lift system be can be downloaded here: File:SimpleLift.zip.
Please note: Due to a small bug, you can only create a projection for max. two selected graphical elements at the moment. We are already working on this bug.